The Complexity of Reasoning for Fragments of Autoepistemic Logic.
Nadia CreignouArne MeierHeribert VollmerMichael ThomasPublished in: ACM Trans. Comput. Log. (2012)
Keyphrases
- autoepistemic logic
- default logic
- truth maintenance systems
- commonsense reasoning
- default theories
- nonmonotonic reasoning
- default reasoning
- classical logic
- modal logic
- nonmonotonic logics
- knowledge representation
- logic programs
- probabilistic reasoning
- reasoning systems
- minimal models
- knowledge base
- automated reasoning
- logic programming