Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Stable model semantics
open-in-new
<p>The concept of a stable model, or answer set, is used to define a declarative <a href="/facts/Semantics_(computer_science)/JEP1zyBv">semantics</a> for <a href="/facts/Logic_programming/Xgh8lj3F">logic programs</a> with <a href="/facts/Negation_as_failure/jDLj2Nnv">negation as failure</a>. This is one of several standard approaches to the meaning of <a href="/facts/Negation/q5AQBvBj">negation</a> in logic programming, along with <a href="/facts/Negation_as_failure/jDLj2Nnv">program completion</a> and the <a href="/facts/Well-founded_semantics/IsVFl6Ka">well-founded semantics</a>. The stable model semantics is the basis of <a href="/facts/Answer_set_programming/Qv1BmBWU">answer set programming</a>. </p>