Keyphrases
- minimal models
- propositional logic
- logic programs
- autoepistemic logic
- nonmonotonic reasoning
- set theory
- stable models
- default logic
- artificial intelligence
- belief revision
- first order logic
- knowledge base
- fixpoint
- model theoretic
- logic programming
- truth maintenance systems
- answer sets
- fuzzy set theory
- nonmonotonic logics