a natural and unambiguous way to assert negated information about the domain being
represented. We study the semantics of disjunctive programs that contain both explicit
negation and negation-by-default, called extended disjunctive logic programs. General
techniques are described for extending model, fixpoint, and proof theoretic characterizations
of an arbitrary semantics of normal disjunctive logic programs to cover the class of extended …