Inproceedings1383: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Wikipedia python library) |
||
(Eine dazwischenliegende Version desselben Benutzers wird nicht angezeigt) | |||
Zeile 41: | Zeile 41: | ||
|DOI Name= | |DOI Name= | ||
|Projekt=ReaSem, | |Projekt=ReaSem, | ||
− | |Forschungsgruppe= | + | |Forschungsgruppe=Wissensmanagement |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Logikprogrammierung |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
− | |Forschungsgebiet= | + | |Forschungsgebiet=Nichtmonotones Schließen |
}} | }} |
Aktuelle Version vom 16. Oktober 2009, 23:04 Uhr
A Comparison of Disjunctive Well-founded Semantics
A Comparison of Disjunctive Well-founded Semantics
Published: 2006
Dezember
Herausgeber: Pascal Hitzler, Thomas Roth-Berghofer and Sebastian Rudolph
Buchtitel: FAInt-07, Foundations of Artificial Intelligence, Workshop at KI 2007
Ausgabe: 277
Reihe: CEUR Workshop Proceedings
Referierte Veröffentlichung
BibTeX
Kurzfassung
While the stable model semantics, in the form of Answer Set
Programming, has become a successful semantics for disjunctive logic
programs, a corresponding satisfactory extension of the well-founded semantics
to disjunctive programs remains to be found. The many current
proposals for such an extension are so diverse, that even a systematic
comparison between them is a challenging task. This is mainly caused
by the completely different mechanisms applied in the approaches. In order
to aid the quest for suitable disjunctive well-founded semantics, we
present a systematic approach to a comparison based on level mappings,
a recently introduced framework for characterizing logic programming
semantics, which was quite successfully used for comparing the major
semantics for normal logic programs. We extend this framework to disjunctive
logic programs and present alternative characterizations for the
strong well-founded semantics (SWFS), the generalized disjunctive wellfounded
semantics (GDWFS), and the disjunctive well-founded semantics
(D-WFS). This will allow us to gain comparative insights into their
different handling of negation.
ISSN: 1613-0073.
Download: Media:2006_1383_Knorr_A_Comparison_of_1.pdf,Media:2006_1383_Knorr_A_Comparison_of_2.pdf
Weitere Informationen unter: Link
Nichtmonotones Schließen, Logikprogrammierung