The Relationship Between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs.
V. Wiktor MarekV. S. SubrahmanianPublished in: Theor. Comput. Sci. (1992)
Keyphrases
- general logic programs
- autoepistemic logic
- default logic
- default rules
- default theories
- nonmonotonic reasoning
- nonmonotonic logics
- logic programs
- logic programming
- modal logic
- classical logic
- default reasoning
- model theoretic
- strong equivalence
- truth maintenance systems
- fixpoint semantics
- logic programming language
- fixed point
- normal logic programs
- stable models
- natural language
- fixpoint
- conditional logic
- deductive databases
- description logics