Revisiting quantification in autoepistemic logic.
Michael KaminskiGuy ReyPublished in: ACM Trans. Comput. Log. (2002)
Keyphrases
- autoepistemic logic
- default logic
- nonmonotonic reasoning
- general logic programs
- default theories
- modal logic
- logic programs
- logic programming
- minimal models
- classical logic
- commonsense reasoning
- nonmonotonic logics
- truth maintenance systems
- model theoretic
- default reasoning
- machine learning
- expert systems
- artificial intelligence