Justifications for logic programs under answer set semantics.
Enrico PontelliTran Cao SonOmar El-KhatibPublished in: Theory Pract. Log. Program. (2009)
Keyphrases
- answer set semantics
- answer sets
- logic programs
- logic programming
- answer set programming
- normal logic programs
- extended logic programs
- abductive logic programming
- fixpoint
- stable models
- strong equivalence
- answer set programs
- loop formulas
- autoepistemic logic
- semantics of logic programs
- disjunctive logic programming
- stable model semantics
- computational properties
- inductive logic programming
- high level
- nonmonotonic reasoning
- propositional theories
- polynomial hierarchy
- model theoretic
- dl programs
- general purpose
- query language