|Title||Towards a Systematic Account of Different Semantics for Logic Programs|
|Publication Type||Journal Article|
|Year of Publication||2005|
|Journal||Journal of Logic and Computation|
|Keywords||Kripke Kleene semantics, logic programming, programming semantics|
In [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.
|Full Text|| |
Pascal Hitzler. 'Towards a Systematic Account of Different Semantics for Logic Programs.'Journal of Logic and Computation Volume:15.3, 2005:391-404