Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases.
Sylvie Coste-MarquisPierre MarquisPublished in: IJCAI (1999)
Keyphrases
- closed world reasoning
- knowledge base
- default reasoning
- default logic
- belief revision
- dl programs
- propositional logic
- nonmonotonic reasoning
- description logics
- computational complexity
- expert systems
- logic programming
- propositional knowledge base
- knowledge representation
- partial order
- probabilistic reasoning
- first order logic
- default theories
- model theoretic
- belief networks
- fixed point
- belief change
- propositional formulas
- truth maintenance systems
- disjunctive logic programming
- search space
- high level