Revision as of 01:41, 24 June 2010 edit Simeon (talk \| contribs) Autopatrolled, Extended confirmed users 940,004 edits →Relation to nonmonotonic logic ← Previous edit		Revision as of 15:13, 26 May 2011 edit undo Linas (talk \| contribs) 25,539 edits m →Motivation: fix bad link for model theory Next edit →
Line 43: If we calculate the [[truth value]]s of the rules of the program for the truth assignment shown above then we will see that each rule gets the value '''T'''. In other words, that assignment is a [[~~mathematical~~ model theory\|model]] of the program. But this program has also other models, for instance <table COLS=$ WIDTH="20%">

Stable model semantics: Difference between revisions