Keyphrases
- minimal models
- propositional logic
- logic programs
- description logics
- autoepistemic logic
- nonmonotonic reasoning
- query answering
- decision procedures
- model theoretic
- fixpoint
- knowledge base
- first order logic
- default logic
- stable models
- logic programming
- belief revision
- default reasoning
- classical logic
- default theories