Completeness of Global Evaluation Logic.

Sergey Goncharov Lutz Schröder Till Mossakowski

Published in: MFCS (2006)

Keyphrases

databases
genetic algorithm
modal logic
evaluation method
gold standard
global information
automated reasoning
data sets
machine learning
decision making
knowledge base
artificial neural networks
data model
hidden markov models
evaluation criteria
delay insensitive