Counter-Model Search in Gödel-Dummett Logics.

Dominique Larchey-Wendling

Published in: IJCAR (2004)

Keyphrases

formal model
computational model
search algorithm
statistical model
mathematical model
data sets
experimental data
theoretical analysis
em algorithm
high level
information retrieval
similarity measure
genetic algorithm
neural network
search strategy
database
prediction model