Document Type
Article
Publication Date
6-2005
Abstract
A new methodology has been proposed which allows one 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 stratified 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 study this situation here with the result that we obtain a coherent picture of relations between different semantics for normal logic programs.
Repository Citation
Hitzler, P.
(2005). Towards a Systematic Account of Different Semantics for Logic Programs. Journal of Logic and Computation, 15 (3), 391-404.
https://corescholar.libraries.wright.edu/cse/166
DOI
10.1093/logcom/exi018
Comments
This is a pre-copyedited, author-produced PDF of an article accepted for publication in Journal of Logic Computation following peer review. The definitive publisher-authenticated version is available online at: http://dx.doi.org/10.1093/logcom/exi018.