A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases.

Hector J. Levesque

Published in: KR (1998)

Keyphrases

automated reasoning
incomplete knowledge
analogical reasoning
consistency checking
missing data
missing values
model based reasoning
reasoning systems
uncertain information
reasoning process
database
knowledge representation
relational databases
decision trees
clustering algorithm
genetic algorithm
neural network