Revision as of 12:43, 23 February 2018 edit The Anome (talk \| contribs) Edit filter managers, Administrators 260,152 edits meaning of negation Tag: 2017 wikitext editor ← Previous edit		Revision as of 14:52, 27 September 2018 edit undo The Anome (talk \| contribs) Edit filter managers, Administrators 260,152 edits declarative semantics Tag: 2017 wikitext editor Next edit →
Line 1: The concept of a '''stable model''', or '''answer set''', is used to define a [[declarative semantics]] for [[Logic programming\|logic programs]] with [[negation as failure]]. This is one of several standard approaches to the meaning of [[negation]] in logic programming, along with [[Negation as failure#Completion semantics\|program completion]] and the [[well-founded semantics]]. The stable model semantics is the basis of [[answer set programming]].

Stable model semantics: Difference between revisions