|Title||Towards a Unified Theory of Logic Programming Semantics: Level Mapping Characterizations of Selector Generated Models|
|Year of Publication||2005|
Currently, the variety of expressive extensions and different semantics created for logic programs with negation is diverse and heterogeneous, and there is a lack of comprehensive comparative studies which map out the multitude of perspectives in a uniform way. Most recently, however, new methodologies have been proposed which allow one to derive uniform characterizations of diÃ¯Â¬Âerent declarative semantics for logic programs with negation. In this paper, we study the relationship between two of these approaches, namely the level mapping characterizations due to , and the selector generated models due to . We will show that the latter can be captured by means of the former, thereby supporting the claim that level mappings provide a very Ã¯Â¬Âexible framework which is applicable to very diversely deÃ¯Â¬Âned semantics.
|Full Text|| |
S. Schwarz and Pascal Hitzler, 'Towards a Unified Theory of Logic Programming Semantics: Level Mapping Characterizations of Selector Generated Models,' AIFB, Universitat Karlsruhe, Technical Report, November 2005.