Revision as of 19:05, 22 October 2022 edit Headbomb (talk \| contribs) Edit filter managers, Autopatrolled, Extended confirmed users, Page movers, File movers, New page reviewers, Pending changes reviewers, Rollbackers, Template editors 473,402 edits ce ← Previous edit		Revision as of 17:46, 3 March 2023 edit undo 69.117.211.11 (talk) →Disjunctive programs: main Tags: Mobile edit Mobile web edit Next edit →
Line 286: ==Disjunctive programs== {{main\|Disjunctive Datalog}} In a ''disjunctive rule'', the head may be the disjunction of several atoms:

Stable model semantics: Difference between revisions