Towards a Systematic Account of Different Semantics for Logic Programs

TitleTowards a Systematic Account of Different Semantics for Logic Programs
Publication TypeJournal Article
Year of Publication2005
AuthorsPascal Hitzler
JournalJournal of Logic and Computation
Pagination391-404
KeywordsKripke Kleene semantics, logic programming, programming semantics
Abstract

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
research center: Knowledge Engineering Lab
pages: 391-404
year: 2005
hasURL: http://knoesis.wright.edu/library/download/towoards_systematic_account_d...
hasBookTitle: Journal of Logic and Computation