Stable model semantics: Difference between revisions

Content deleted Content added
No edit summary
Tag: Reverted
m Reverted edit by 666-Bandera Mouse (talk) to last version by Bm319
Tags: Rollback Reverted
Line 372:
 
[[Category:Logic programming]]
[[Category:NP-complete problems]]