Towards a unified theory of logic programming semantics: Level mapping characterizations of selector generated models

Pascal Hitzler, Sibylle Schwarz

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…