Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

WLP
2005
Springer

favoriteEmaildiscussreport

123views Artificial Intelligence» more WLP 2005»

Level Mapping Characterizations of Selector Generated Models for Logic Programs

13 years 10 months ago

Level Mapping Characterizations of Selector Generated Models for Logic Programs

Download nirvana.informatik.uni-halle.de

Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends several semantics, like the stable, the inﬂationary, 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 diﬀerent logic programming semantics using level mappings (Hitzler and Wendt 200x, Hitzler 2003), thereby supporting the claim that this framework is very ﬂexible and applicable to very diversely deﬁned semantics.

Pascal Hitzler, Sibylle Schwarz

Real-time Traffic

Logic Programming Semantics | Selector Generated Models | Stable Generated Semantics | WLP 2005 |

claim paper

Related Content

» Stable models and difference logic

» Bounded Nondeterminism of Logic Programs

» A System Level Resource Estimation Tool for FPGAs

» Architecture for modeling simulation and execution of PLC based manufacturing system

» StReAm ObjectOriented Programming of Stream Architectures Using PAMBlox

» Multilevel Granularity Parallelism Synthesis on FPGAs

» Enterprise privacy promises and enforcement

» DTD2OWL automatic transforming XML documents into OWL ontology

» Aspectoriented procedural content engineering for game design

Post Info
More Details (n/a)

Added	28 Jun 2010
Updated	28 Jun 2010
Type	Conference
Year	2005
Where	WLP
Authors	Pascal Hitzler, Sibylle Schwarz

Comments (0)