Stable model semantics: Difference between revisions

Content deleted Content added
m Undid revision 257876392 by 122.96.81.207 (talk)
m Repairing links to disambiguation pages - You can help!
Line 43:
If we calculate the truth values 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|model]] of the program. But this program has also other models, for instance
 
<table COLS=$ WIDTH="20%">