On the Parameterized Complexity of Default Logic and Autoepistemic Logic
Arne MeierJohannes SchmidtMichael ThomasHeribert VollmerPublished in: CoRR (2011)
Keyphrases
- default logic
- autoepistemic logic
- nonmonotonic reasoning
- default theories
- default reasoning
- logic programming
- nonmonotonic logics
- modal logic
- commonsense reasoning
- classical logic
- fixed point
- truth maintenance systems
- minimal models
- general purpose
- artificial intelligence
- database
- logic programs
- software engineering
- machine learning
- databases