Preferred Extensions as Minimal Models of Clark's Completion Semantics.
Mauricio OsorioAlejandro SantoyoPublished in: Res. Comput. Sci. (2013)
Keyphrases
- minimal models
- default logic
- autoepistemic logic
- truth maintenance systems
- default theories
- semantics for logic programs
- propositional logic
- nonmonotonic reasoning
- logic programs
- logic programming
- nonmonotonic logics
- default reasoning
- constraint propagation
- model theoretic
- stable models
- fixpoint
- modal logic
- inference mechanism
- open world
- answer sets
- first order logic
- knowledge representation
- knowledge base
- classical logic
- inference rules
- belief revision
- decision rules
- disjunctive logic programming