Keyphrases
- computational properties
- logic programs
- logic program updates
- logic programming
- answer sets
- stable models
- semantic properties
- fixpoint
- answer set programming
- partial deduction
- normal logic programs
- inductive logic programming
- belief change
- reasoning problems
- propositional theories
- expressive power
- answer set semantics
- orders of magnitude