01031nas a2200145 4500008004100000245007500041210006900116300001200185520055900197653002800756653002200784653002600806100002000832856003300852 2005 eng d00aTowards a Systematic Account of Different Semantics for Logic Programs0 aTowards a Systematic Account of Different Semantics for Logic Pr a391-4043 aIn [1,2], a new methodology has been proposed which allows to derive uniform characterizations of different declarative semantics for logic programs and negation. One result from this work is that the well-founded semantics can formally be understood as a stratified version of Fitting (or Kripke Kleene) semantics. The construction leading to this result, however, show a certain asymmetry which is not readily understood. We will study this situation here with the result that we will obtain a coherent picture of relations between different semantics.10aKripke Kleene semantics10alogic programming10aprogramming semantics1 aHitzler, Pascal uhttp://knoesis.org/node/1633