Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- answer set semantics
- extended logic programs
- normal logic programs
- answer set programs
- logic program updates
- counter examples
- fixpoint
- disjunctive logic programming
- defeasible logic
- minimal change
- stable model semantics
- search strategies
- programming language
- search algorithm
- semantics of logic programs
- machine learning