FLP Semantics Without Circular Justifications for General Logic Programs.
Yi-Dong ShenKewen WangPublished in: AAAI (2012)
Keyphrases
- general logic programs
- logic programs
- stable model semantics
- autoepistemic logic
- normal logic programs
- strong equivalence
- fixpoint semantics
- stable models
- answer sets
- logic programming
- truth maintenance systems
- answer set programming
- default logic
- deductive databases
- answer set semantics
- model theoretic
- fixpoint
- formal semantics
- argumentation semantics
- nonmonotonic reasoning
- default theories
- classical logic
- nonmonotonic logics
- datalog programs
- graphical representation
- integrity constraints
- sufficient conditions