Revision as of 12:42, 23 February 2018 edit The Anome (talk \| contribs) Edit filter managers, Administrators 260,152 edits meaning of negation in logic programming Tag: 2017 wikitext editor ← Previous edit		Revision as of 12:43, 23 February 2018 edit undo The Anome (talk \| contribs) Edit filter managers, Administrators 260,152 edits meaning of negation 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