Keyphrases
- answer sets
- answer set semantics
- answer set solvers
- logic programming
- logic programs
- answer set programming
- strong equivalence
- answer set programs
- semantics of logic programs
- extended logic programs
- nonmonotonic reasoning
- normal logic programs
- propositional logic
- fixpoint
- deductive databases
- loop formulas
- disjunctive logic programming
- knowledge representation and reasoning
- minimal models
- stable models
- autoepistemic logic
- programming language
- knowledge representation
- default logic
- logic program updates
- possibilistic logic
- nonmonotonic logics
- reasoning tasks
- general purpose