Stable model semantics: Difference between revisions

Content deleted Content added
Bm319 (talk | contribs)
No edit summary
No edit summary
Tag: Reverted
Line 372:
 
[[Category:Logic programming]]
[[Category:NP-complete problems]]