Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic.
Grigoris AntoniouVolker SperschneiderPublished in: Artif. Intell. Rev. (1998)
Keyphrases
- nonmonotonic logics
- autoepistemic logic
- default logic
- modal logic
- nonmonotonic reasoning
- default theories
- propositional logic
- logic programming
- defeasible logic
- general logic programs
- default reasoning
- classical logic
- minimal models
- temporal logic
- decision procedures
- formal specification
- inference rules
- logic programs
- truth maintenance systems
- fuzzy logic
- deductive databases
- object oriented