Inproceedings804: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Added from ontology) |
||
Zeile 1: | Zeile 1: | ||
+ | {{Publikation Author | ||
+ | |Rank=2 | ||
+ | |Author=Sibylle Schwarz | ||
+ | }} | ||
{{Publikation Author | {{Publikation Author | ||
|Rank=1 | |Rank=1 | ||
|Author=Pascal Hitzler | |Author=Pascal Hitzler | ||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{Inproceedings | {{Inproceedings | ||
Zeile 30: | Zeile 30: | ||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
|Download=2005_804_Hitzler_Level mapping c_1.pdf | |Download=2005_804_Hitzler_Level mapping c_1.pdf | ||
− | |||
|Projekt=SmartWeb, KnowledgeWeb, | |Projekt=SmartWeb, KnowledgeWeb, | ||
|Forschungsgruppe= | |Forschungsgruppe= | ||
+ | }} | ||
+ | {{Forschungsgebiet Auswahl | ||
+ | |Forschungsgebiet=Nichtmonotones Schließen | ||
+ | }} | ||
+ | {{Forschungsgebiet Auswahl | ||
+ | |Forschungsgebiet=Logikprogrammierung | ||
}} | }} |
Version vom 15. August 2009, 10:50 Uhr
Level mapping characterizations of selector-generated models for logic programs
Level mapping characterizations of selector-generated models for logic programs
Published: 2005
Februar
Herausgeber: Armin Wolf, Thom W. Frühwirth, Marc Meister
Buchtitel: 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 2005
Ausgabe: 2005-01
Reihe: Ulmer Informatik-Berichte
Seiten: 65-75
Verlag: Universität Ulm
Referierte Veröffentlichung
BibTeX
Kurzfassung
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 2005, Hitzler
2003), thereby supporting the claim that this framework is very flexible
and applicable to very diversely defined semantics.
Download: Media:2005_804_Hitzler_Level mapping c_1.pdf
Nichtmonotones Schließen, Logikprogrammierung