Sciweavers

Share
NMELP
1994

Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs

9 years 11 months ago
Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs
In Prz91], Przymusinski introduced the partial (or 3-valued) stable model semantics which extends the (2-valued) stable model semantics dened 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 partial stable models of the original program.
Carolina Ruiz, Jack Minker
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1994
Where NMELP
Authors Carolina Ruiz, Jack Minker
Comments (0)
books