Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information.

Yongmei Liu Hector J. Levesque

Published in: AAAI (2005)

Keyphrases

higher level
machine learning
domain knowledge
knowledge representation
information sources
information sharing
np hard
user interaction
spatial information
reasoning process