Revision as of 03:50, 8 January 2018 edit Jarble (talk \| contribs) Autopatrolled, Extended confirmed users 150,084 edits adding links to references using Google Scholar ← Previous edit		Revision as of 12:42, 23 February 2018 edit undo The Anome (talk \| contribs) Edit filter managers, Administrators 260,152 edits meaning of negation in logic programming 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