Combining Closed World Assumptions with Stable Negation
Carolina Ruiz, Jack Minker · Fundamenta Informaticae · 1997
We study the semantics of disjunctive logic programs that simultaneously contain multiple kinds of default negations. We introduce operators notG , notW , and notSTB in the language of logic programs to represent the Generalized Closed World Assumpti