01003nas a2200121 4500008004100000245007400041210006900115260002100184300001200205520060400217100002000821856004000841 2003 eng d00aTowards a Systematic Account of Different Logic Programming Semantics0 aTowards a Systematic Account of Different Logic Programming Sema aHamburg, Germany a355-3693 aIn [14, 15], a new methodology has been proposed which allows to derive uniform characterizations of different declarative semantics for logic programs with negation. One result from this work is that the well-founded semantics can formally be understood as a stratiÃ¯Â¬Âed version of the Fitting (or Kripke-Kleene) semantics. The constructions 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 for normal logic programs.1 aHitzler, Pascal uhttp://knoesis.wright.edu/node/1202