Keyphrases
- logic programs
- strong equivalence
- answer set semantics
- logic programming
- answer sets
- computational properties
- stable models
- answer set programming
- normal logic programs
- fixpoint
- disjunctive logic programs
- background knowledge
- inductive logic programming
- logic program updates
- argumentation frameworks
- model theoretic
- prolog programs
- horn clauses
- propositional theories
- partial deduction
- relational databases
- stable model semantics
- function symbols
- functional programs
- answer set programs