Keyphrases
- answer sets
- logic programming
- answer set semantics
- logic programs
- extended logic programs
- normal logic programs
- logic program updates
- answer set programming
- semantics of logic programs
- disjunctive logic programming
- semantics for logic programs
- stable model semantics
- answer set programs
- stable models
- description logic programs
- deductive databases
- model theoretic
- fixpoint
- reasoning tasks
- dl programs
- programming language
- nonmonotonic reasoning
- strong equivalence
- knowledge base
- formal semantics
- description logics
- defeasible logic
- counter examples
- nonmonotonic logics
- update semantics
- loop formulas
- default reasoning