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

Yongmei Liu Hector J. Levesque

Published in: IJCAI (2003)

Keyphrases

consistency checking
uncertain information
incomplete knowledge
data sets
machine learning
qualitative reasoning
reasoning process
database
decision making
bayesian networks
knowledge representation
missing data
missing values
reasoning systems
inconsistent information