Document Type
Conference Proceeding
Publication Date
1-1-2002
Abstract
Declarative 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.
Repository Citation
Hitzler, P.,
& Wendt, M.
(2002). Characterizing Logic Programming Semantics with Level Mappings. Proceedings of the WLP: Workshop Logische Programmierung, 60-67.
https://corescholar.libraries.wright.edu/cse/18
Included in
Bioinformatics Commons, Communication Technology and New Media Commons, Databases and Information Systems Commons, OS and Networks Commons, Science and Technology Studies Commons
Comments
This paper was presented at the WLP: Workshop Logische Programmierung, Dresden, Germany, December, 2002.
This is the authors' version of the paper.