Content deleted Content added
m →References: Remove blank line(s) between list items per WP:LISTGAP to fix an accessibility issue for users of screen readers. Do WP:GENFIXES and cleanup if needed. Discuss this at Wikipedia talk:WikiProject Accessibility#LISTGAP |
m synonim |
||
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]].
| |||