Stable Model Semantics
Jump to navigation
Jump to search
See: Programming Language, Answer Set Programming, Logic Program, Declarative Semantics.
References
2013
- http://en.wikipedia.org/wiki/Stable_model_semantics
- The concept of a stable model, or answer set, is used to define a declarative semantics for logic programs with negation as failure. This is one of several standard approaches to the meaning of negation in logic programming, along with program completion and the well-founded semantics. The stable model semantics is the basis of answer set programming.