On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs.
Jia-Huai YouLi-Yan YuanMingyi ZhangPublished in: IJCAI (2003)
Keyphrases
- logic programs
- answer sets
- answer set semantics
- logic programming
- loop formulas
- answer set programming
- strong equivalence
- fixpoint
- normal logic programs
- stable models
- semantics for logic programs
- logic program updates
- computational properties
- extended logic programs
- answer set programs
- stable model semantics
- inductive logic programming
- counter examples
- machine learning
- knowledge representation
- horn clauses
- propositional theories
- model theoretic