Show simple item record

dc.contributor.authorWang, K
dc.contributor.authorZhou, L
dc.date.accessioned2018-09-11T05:18:17Z
dc.date.available2018-09-11T05:18:17Z
dc.date.issued2005
dc.identifier.issn1529-3785
dc.identifier.urihttp://hdl.handle.net/10072/4294
dc.description.abstractMuch work has been done on extending the well-founded semantics to general disjunctive logic programs and various approaches have been proposed. However, these semantics are different from each other and no consensus is reached about which semantics is the most intended. In this paper we look at disjunctive well-founded reasoning from different angles. We show that there is an intuitive form of the well-founded reasoning in disjunctive logic programming which can be characterized by slightly modifying some existing approaches to defining disjunctive well-founded semantics, including program transformations, argumentation, unfounded sets (and resolution-like procedure). By employing the techniques developed by Brass and Dix in their transformation-based approach, we also provide a bottom-up procedure for this semantics. The significance of our work is not only in clarifying the relationship among different approaches, but also shed some light on what is an intended well-founded semantics for disjunctive logic programs.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.languageEnglish
dc.language.isoeng
dc.publisherACM
dc.publisher.placeUSA
dc.publisher.urihttp://tocl.acm.org/2005.html
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofpagefrom295
dc.relation.ispartofpageto327
dc.relation.ispartofissue2
dc.relation.ispartofjournalACM Transactions on Computational Logic
dc.relation.ispartofvolume6
dc.rights.retentionY
dc.subject.fieldofresearchPure mathematics
dc.subject.fieldofresearchTheory of computation
dc.subject.fieldofresearchcode4904
dc.subject.fieldofresearchcode4613
dc.titleComparisons and computation of well-founded semantics for disjunctive logic programs
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
dc.description.versionAccepted Manuscript (AM)
gro.facultyGriffith Sciences, School of Information and Communication Technology
gro.rights.copyright© ACM 2005. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Volume 6 Issue 2, Pages 295-327 , 2005, https://doi.org/10.1145/1055686.1055690
gro.date.issued2015-01-29T01:31:21Z
gro.hasfulltextFull Text
gro.griffith.authorWang, Kewen


Files in this item

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record