Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Publication details
Main information
Comparing Disjunctive Well-founded Semantics
September 2007
kh07
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. 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, which will allow us to gain comparative insights into their different handling of negation. Additionally, we show some of the problems occurring when trying to handle minimal models (and thus disjunctive stable models) within the framework.
In proceedings
Matthias Knorr, P. Hitzler
P. Hitzler, T. Roth-Berghofer,, S. Rudolph
FAInt-07, Foundations of Artificial Intelligence, Workshop at KI 2007
-
CEUR Workshop Proceedings
-
277
-
-
1613-0073
-
-
Publication files
- click here to download - pdf 200 KB
Export formats
Matthias Knorr and P. Hitzler, Comparing Disjunctive Well-founded Semantics, in: P. Hitzler, T. Roth-Berghofer, and S. Rudolph (eds), FAInt-07, Foundations of Artificial Intelligence, Workshop at KI 2007, CEUR Workshop Proceedings, Vol. 277, ISSN 1613-0073, September 2007.
<a href="/people/members/view.php?code=69f33c830f67494d14d40325975eb39b" class="author">Matthias Knorr</a> and P. Hitzler, <b>Comparing Disjunctive Well-founded Semantics</b>, in: P. Hitzler, T. Roth-Berghofer, and S. Rudolph (eds), <u>FAInt-07, Foundations of Artificial Intelligence, Workshop at KI 2007</u>, CEUR Workshop Proceedings, Vol. 277, ISSN 1613-0073, September 2007.
@inproceedings {kh07, author = {Matthias Knorr and P. Hitzler}, editor = {P. Hitzler, T. Roth-Berghofer, and S. Rudolph}, title = {Comparing Disjunctive Well-founded Semantics}, booktitle = {FAInt-07, Foundations of Artificial Intelligence, Workshop at KI 2007}, publisher = {CEUR Workshop Proceedings}, volume = {277}, issn = {1613-0073}, abstract = {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. 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, which will allow us to gain comparative insights into their different handling of negation. Additionally, we show some of the problems occurring when trying to handle minimal models (and thus disjunctive stable models) within the framework.}, month = {September}, year = {2007}, }
Publication's urls
/publications/view.php?code=1a11735f189ce4bf989222b8dfe85f83
/publications/view.php?code=kh07

Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT