Keyphrases
- stable models
- logic programming
- logic programs
- normal logic programs
- fixpoint
- general theory
- deductive databases
- answer set programming
- stable model semantics
- logic programming language
- logic programs with negation
- loop formulas
- answer sets
- default reasoning
- answer set programs
- databases
- nonmonotonic reasoning
- inductive logic programming
- programming language
- expert systems