Level Mapping Characterizations of Selector-Generated Models for Logic Programs

TitleLevel Mapping Characterizations of Selector-Generated Models for Logic Programs
Publication TypeConference Paper
Year of Publication2005
AuthorsSibylle Schwarz, Pascal Hitzler
Publisher19th Workshop on (Constraint) Logic Programming
KeywordsSelector-Generated Models
Abstract

Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends several semantics, like the stable, the inflationary, and the stable generated semantics, to programs with arbitrary formulae in rule heads and bodies. We study this approach by means of a unifying framework for characterizing different logic programming semantics using level mappings (Hitzler and Wendt 200x, Hitzler 2003), thereby supporting the claim that this framework is very flexible and applicable to very diversely defined semantics.

Full Text

Sibylle Schwarz and Pascal Hitzler,'Level Mapping Characterizations of Selector-Generated Models for Logic Programs,' 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 2005, pp. 65-75.
pages: 65-75
year: 2005
venue name: 19th Workshop on (Constraint) Logic Programming
hasURL: http://knoesis.wright.edu/faculty/pascal/resources/publications/wlp05.pdf