Keyphrases
- stable model semantics
- logic programs
- normal logic programs
- stable models
- logic programming
- answer set programming
- fixpoint
- answer sets
- closed world
- deductive databases
- inductive logic programming
- derivation rules
- horn clauses
- programming language
- general purpose
- description logics
- knowledge management
- answer set semantics
- expert systems
- artificial intelligence
- databases
- database