Combining Answer Sets of Nonmonotonic Logic Programs.
Chiaki SakamaKatsumi InouePublished in: Answer Set Programming (2005)
Keyphrases
- logic programs
- answer sets
- answer set semantics
- logic programming
- answer set solvers
- strong equivalence
- answer set programming
- fixpoint
- semantics of logic programs
- normal logic programs
- answer set programs
- stable models
- extended logic programs
- minimal models
- nonmonotonic reasoning
- autoepistemic logic
- loop formulas
- logic program updates
- model theoretic
- counter examples
- deductive databases
- reasoning tasks
- default logic
- stable model semantics
- classical logic
- horn clauses
- probabilistic reasoning
- disjunctive logic programming
- integrity constraints