Show simple item record

dc.contributor.authorWang, Kewenen_US
dc.contributor.authorZhou, Lizhuen_US
dc.date.accessioned2017-05-03T14:10:55Z
dc.date.available2017-05-03T14:10:55Z
dc.date.issued2005en_US
dc.identifier.issn15293785en_US
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.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_US
dc.languageEnglishen_US
dc.language.isoen_US
dc.publisherACMen_US
dc.publisher.placeUSAen_US
dc.publisher.urihttp://tocl.acm.org/2005.htmlen_US
dc.relation.ispartofstudentpublicationNen_US
dc.relation.ispartofpagefrom295en_US
dc.relation.ispartofpageto327en_US
dc.relation.ispartofissue2en_US
dc.relation.ispartofjournalACM Transactions on Computational Logicen_US
dc.relation.ispartofvolume6en_US
dc.rights.retentionYen_US
dc.subject.fieldofresearchcode280213en_US
dc.titleComparisons and computation of well-founded semantics for disjunctive logic programsen_US
dc.typeJournal articleen_US
dc.type.descriptionC1 - Peer Reviewed (HERDC)en_US
dc.type.codeC - Journal Articlesen_US
gro.facultyGriffith Sciences, School of Information and Communication Technologyen_US
gro.date.issued2015-01-29T01:31:21Z
gro.hasfulltextNo Full Text


Files in this item

FilesSizeFormatView

There are no files associated with 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