The Complexity of Reasoning for Fragments of Autoepistemic Logic.
Nadia CreignouArne MeierMichael ThomasHeribert VollmerPublished in: Circuits, Logic, and Games (2010)
Keyphrases
- autoepistemic logic
- default logic
- commonsense reasoning
- truth maintenance systems
- modal logic
- nonmonotonic reasoning
- general logic programs
- logic programs
- automated reasoning
- classical logic
- default theories
- default reasoning
- nonmonotonic logics
- reasoning systems
- artificial intelligence
- probabilistic reasoning
- theorem prover
- fixed point
- data model