Stable model semantics: Difference between revisions

Revision as of 19:39, 2 August 2012

Revision as of 05:20, 18 December 2012

Line 304:

and 14 negative atoms

:<math>\sim p(a,a),\ \sim p(a,c),\ \dots</math>

--i.e, the strong negations of all other positive ground atoms formed from <math>p,\ a,\ b,\ c,\ d</math>.

A logic program with strong negation can include the closed world assumption rules for some of its predicates and leave the other predicates in the realm of the [[open world assumption]].