On the Parameterized Complexity of Default Logic and Autoepistemic Logic.
Arne MeierJohannes SchmidtMichael ThomasHeribert VollmerPublished in: LATA (2012)
Keyphrases
- default logic
- autoepistemic logic
- default theories
- nonmonotonic reasoning
- logic programming
- nonmonotonic logics
- default reasoning
- commonsense reasoning
- modal logic
- fixed point
- truth maintenance systems
- minimal models
- classical logic
- expert systems
- deductive databases
- temporal logic
- defeasible logic
- data management
- state space
- knowledge base
- artificial intelligence