Combining Answer Sets of Nonmonotonic Logic Programs.
Chiaki SakamaKatsumi InouePublished in: CLIMA (2005)
Keyphrases
- logic programs
- answer sets
- answer set semantics
- logic programming
- answer set solvers
- strong equivalence
- answer set programming
- normal logic programs
- extended logic programs
- semantics of logic programs
- nonmonotonic reasoning
- fixpoint
- answer set programs
- stable models
- minimal models
- disjunctive logic programming
- model theoretic
- autoepistemic logic
- stable model semantics
- logic program updates
- loop formulas
- default logic
- deductive databases
- high level
- defeasible logic
- knowledge representation and reasoning
- reasoning tasks