Computing stable and partial stable models of extended disjunctive logic programs

C Ruiz, J Minker - Non-Monotonic Extensions of Logic Programming …, 1995 - Springer
C Ruiz, J Minker
Non-Monotonic Extensions of Logic Programming: ICLP'94 Workshop Santa …, 1995Springer
Abstract In [Prz91], Przymusinski introduced the partial (or 3-valued) stable model semantics
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 …
Abstract
In [Prz91], Przymusinski introduced the partial (or 3-valued) stable model semantics 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 partial stable models of the original program.
Springer
以上显示的是最相近的搜索结果。 查看全部搜索结果