Keyphrases
- answer sets
- agm postulates
- logic programs
- belief change
- answer set programming
- logic programming
- belief revision
- answer set semantics
- extended logic programs
- normal logic programs
- answer set programs
- fixpoint
- counter examples
- sat solvers
- database systems
- semantics of logic programs
- heuristic search
- relational databases
- reasoning tasks
- expert systems