On the Existence of Fixpoints in Moore's Autoepistemic Logic and the Non-Monotonic Logic of McDermott and Doyle.
Robert F. StärkPublished in: CSL (1990)
Keyphrases
- autoepistemic logic
- nonmonotonic reasoning
- commonsense reasoning
- default logic
- truth maintenance systems
- logic programming
- default reasoning
- belief revision
- default theories
- minimal models
- nonmonotonic logics
- modal logic
- classical logic
- possibility theory
- general logic programs
- defeasible logic
- logic programs
- fixpoint
- model theoretic
- machine learning
- deductive databases
- inductive logic programming
- relational databases
- high level