which extends the (2-valued) stable model semantics defined originally by Gelfond and
Lifschitz [GL88]. In this paper we describe a procedure to compute the collection of all partial
stable models of an extended disjunctive logic program. This procedure consists in
transforming an extended disjunctive logic program into a constrained disjunctive program
free of negation-by-default whose set of 2-valued minimal models corresponds to the set of …