Keyphrases
- normal logic programs
- logic programs
- stable models
- stable model semantics
- logic programming
- answer set programming
- answer sets
- disjunctive logic programming
- answer set semantics
- fixpoint
- default reasoning
- nonmonotonic reasoning
- deductive databases
- knowledge representation and reasoning
- minimal models
- artificial intelligence
- data model
- general purpose
- relational databases
- expert systems