Inproceedings804: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Added from ontology) |
||
| 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=KnowledgeWeb | + | |Projekt=SmartWeb, KnowledgeWeb, |
|Forschungsgruppe= | |Forschungsgruppe= | ||
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
| − | |Forschungsgebiet= | + | |Forschungsgebiet=Logikprogrammierung |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
| − | |Forschungsgebiet= | + | |Forschungsgebiet=Nichtmonotones Schließen |
}} | }} | ||
Version vom 10. September 2009, 15:47 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