Techreport1052: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Added from ontology) |
||
Zeile 18: | Zeile 18: | ||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
|Download=2005_1052_Hitzler_Towards_a_unifi_1.pdf | |Download=2005_1052_Hitzler_Towards_a_unifi_1.pdf | ||
− | |Projekt=ReaSem | + | |Projekt=SmartWeb, ReaSem, |
|Forschungsgruppe= | |Forschungsgruppe= | ||
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Logikprogrammierung |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Wissensrepräsentationssprachen |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
Zeile 31: | Zeile 31: | ||
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Nichtmonotones Schließen |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Logik |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Künstliche Intelligenz |
}} | }} |
Version vom 11. September 2009, 09:19 Uhr
Published: 2005
November
Institution: AIFB, Universität Karlsruhe
Archivierungsnummer:1052
Kurzfassung
[[Abstract::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 comparative studies which map out the multitude of perspectives in a uniform way. Most recently, however, new methodologies have been proposed which allow one to derive uniform characterizations of different declarative semantics for logic programs with negation. In this paper, we study the relationship between two of these approaches, namely the level mapping characterizations due to [Hitzler and Wendt 2005], and the selector generated models due to [Schwarz 2004]. We will show that the latter can be captured by means of the former, thereby supporting the claim that level mappings provide a very flexible framework which is applicable to very diversely defined semantics.]]
Download: Media:2005_1052_Hitzler_Towards_a_unifi_1.pdf
Wissensrepräsentation, Wissensrepräsentationssprachen, Logik, Nichtmonotones Schließen, Logikprogrammierung, Künstliche Intelligenz