Revision as of 15:33, 11 July 2014 edit Frietjes (talk \| contribs) Autopatrolled, Extended confirmed users, Template editors 1,038,579 edits No edit summary ← Previous edit		Revision as of 15:33, 11 July 2014 edit undo Frietjes (talk \| contribs) Autopatrolled, Extended confirmed users, Template editors 1,038,579 edits →Stable models Next edit →
Line 63: The definition of a stable model below, reproduced from [Gelfond and Lifschitz, 1988], uses two conventions. First, a truth assignment is identified with the set of atoms that get the value '''T'''. For instance, the truth assignment {\| cellpadding=5

Stable model semantics: Difference between revisions