The complexity of reasoning for fragments of default logic.
Olaf BeyersdorffArne MeierMichael ThomasHeribert VollmerPublished in: J. Log. Comput. (2012)
Keyphrases
- default logic
- default rules
- default reasoning
- default theories
- knowledge representation formalisms
- nonmonotonic reasoning
- autoepistemic logic
- truth maintenance systems
- causal reasoning
- logic programming
- nonmonotonic logics
- fixed point
- polynomial hierarchy
- knowledge base
- defeasible logic
- classical logic
- belief revision
- software engineering
- knowledge representation
- knowledge representation and reasoning
- modal logic
- sufficient conditions
- graphical models
- high level