Short Note: Preferred Extensions are Partial Stable Models.
Antonis C. KakasPaolo MancarellaPublished in: J. Log. Program. (1992)
Keyphrases
- stable models
- logic programs
- logic programming
- normal logic programs
- fixpoint
- deductive databases
- answer set programming
- stable model semantics
- semantics for logic programs
- general theory
- logic programs with negation
- default logic
- answer set programs
- strong equivalence
- answer sets
- minimal models
- general purpose
- loop formulas
- artificial intelligence