Add to ORKGAssigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends several semantics, like the stable, the inflationary, and the stable generated semantics, to programs with arbitrary formulae in rule heads and bodies. We study this approach by means of a unifying framework for characterizing different logic programming semantics using level mappings (Hitzler and Wendt 200x, Hitzler 2003), thereby supporting the claim that this framework is very flexible and applicable to very diversely defined semantics
We consider the simplification of logic programs under the stablemodel semantics, with respect to t...
: This paper concerns the formalization of our intuition of similar operational behavior of logic pr...
Abstract. We propose a categorical framework which formalizes and extends the syntax, operational se...
Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends seve...
Currently, the variety of expressive extensions and different semantics created for logic programs w...
Abstract. While the stable model semantics, in the form of Answer Set Programming, has become a succ...
We propose a new semantics for general logic programs which stems from first principles of logic-pro...
AbstractWe investigate the relationship between various alternative semantics for logic programming,...
In order to enable logic programming to deal with the diversity of pervasive systems, where many he...
This paper relates two extensively studied formalisms: abstract dialectical frameworks and logic pro...
In this paper we reexamine the place and role of stable model semantics in logic programming and con...
AbstractThe different semantics that can be assigned to a logic program correspond to different assu...
AbstractThe stable model semantics for logic programs is extended from ground literals onto open lit...
This paper introduces an original 2-valued semantics for Normal Logic Programs (NLP), important on i...
AbstractStable generated models for extended generalized logic programs with two kinds of negation p...
We consider the simplification of logic programs under the stablemodel semantics, with respect to t...
: This paper concerns the formalization of our intuition of similar operational behavior of logic pr...
Abstract. We propose a categorical framework which formalizes and extends the syntax, operational se...
Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends seve...
Currently, the variety of expressive extensions and different semantics created for logic programs w...
Abstract. While the stable model semantics, in the form of Answer Set Programming, has become a succ...
We propose a new semantics for general logic programs which stems from first principles of logic-pro...
AbstractWe investigate the relationship between various alternative semantics for logic programming,...
In order to enable logic programming to deal with the diversity of pervasive systems, where many he...
This paper relates two extensively studied formalisms: abstract dialectical frameworks and logic pro...
In this paper we reexamine the place and role of stable model semantics in logic programming and con...
AbstractThe different semantics that can be assigned to a logic program correspond to different assu...
AbstractThe stable model semantics for logic programs is extended from ground literals onto open lit...
This paper introduces an original 2-valued semantics for Normal Logic Programs (NLP), important on i...
AbstractStable generated models for extended generalized logic programs with two kinds of negation p...
We consider the simplification of logic programs under the stablemodel semantics, with respect to t...
: This paper concerns the formalization of our intuition of similar operational behavior of logic pr...
Abstract. We propose a categorical framework which formalizes and extends the syntax, operational se...