Keyphrases
- stable models
- stable model semantics
- logic programs
- loop formulas
- answer set programs
- logic programming
- answer set programming
- general theory
- declarative semantics
- normal logic programs
- fixpoint
- deductive databases
- strong equivalence
- answer sets
- semantics for logic programs
- orders of magnitude
- integrity constraints
- knowledge base
- logic programs with negation