Keyphrases
- stable models
- logic programs
- logic programming
- normal logic programs
- stable model semantics
- fixpoint
- answer set programming
- weighted average
- deductive databases
- logic programs with negation
- loop formulas
- population size
- general theory
- strong equivalence
- answer sets
- knowledge representation
- answer set programs
- horn clauses
- databases