Stable models and circumscription.
Paolo FerrarisJoohyung LeeVladimir LifschitzPublished in: Artif. Intell. (2011)
Keyphrases
- stable models
- logic programs
- stable model semantics
- loop formulas
- logic programs with negation
- logic programming
- answer sets
- minimal models
- answer set programming
- general theory
- normal logic programs
- fixpoint
- deductive databases
- answer set programs
- default logic
- nonmonotonic reasoning
- autoepistemic logic
- semantics for logic programs
- artificial intelligence
- closed world
- background knowledge
- answer set semantics
- classical logic