Browse our site
About
People
Research Areas
Projects
Publications
Books
Book chapters
Journal articles
In proceedings
M. Sc. Dissertations
Ph. D. Dissertations
Technical reports
Seminars
News
You are here:
Home
Publications
View
Publication details
Go back
Publication details
Main information
Title:
Comparing Disjunctive Well-founded Semantics
Publication date:
September 2007
Citation:
kh07
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.
In proceedings
Authors:
Matthias Knorr
, P. Hitzler
Editors:
P. Hitzler, T. Roth-Berghofer,, S. Rudolph
Book title:
FAInt-07, Foundations of Artificial Intelligence, Workshop at KI 2007
Series:
-
Publisher:
CEUR Workshop Proceedings
Address:
-
Volume:
277
Pages:
-
ISBN:
-
ISSN:
1613-0073
Note:
-
Url address:
-
Publication files
File #1:
- click here to download -
pdf 200 KB
Export formats
Plain text:
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.
HTML:
<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.
BibTeX:
@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
Full url:
/publications/view.php?code=1a11735f189ce4bf989222b8dfe85f83
Friendly url:
/publications/view.php?code=kh07
Go back
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541