00971nas a2200121 4500008004100000245006700041210006700108260004200175520055500217100002000772700002000792856003700812 2002 eng d00aCharacterizing Logic Programming Semantics with Level Mappings0 aCharacterizing Logic Programming Semantics with Level Mappings bWLP: Workshop Logische Programmierung3 aDeclarative semantics in logic programming and nonmonotonic reasoning are often defined via fixed points of semantic operators. While many relationships between different semantics known from the literature have been studied, a uniform treatment is still missing. In this paper, we provide uniform operator-free characterizations for some of the most important semantics, more precisely, for the stable, the well-founded, and the Fitting semantics, for the weakly-perfect model semantics, and for the least model semantics for negation-free programs.1 aWendt, Matthias1 aHitzler, Pascal uhttp://www.knoesis.org/node/1792