Show simple item record

dc.contributor.authorGovernatori, Guidoen_US
dc.contributor.authorJ.Maher, Michaelen_US
dc.contributor.authorAntoniou, Grigorisen_US
dc.contributor.authorBillington, Daviden_US
dc.contributor.editorD M Gabbayen_US
dc.date.accessioned2017-04-24T08:21:31Z
dc.date.available2017-04-24T08:21:31Z
dc.date.issued2004en_US
dc.date.modified2007-10-23T01:08:31Z
dc.identifier.issn0955792Xen_US
dc.identifier.urihttp://hdl.handle.net/10072/5155
dc.description.abstractDefeasible reasoning is a simple but efficient rule-based approach to nonmonotonic reasoning. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the modelling of business rules. This paper establishes significant links between defeasible reasoning and argumentation. In particular, Dung-like argumentation semantics is provided for two key defeasible logics, of which one is ambiguity propagating and the other ambiguity blocking. There are several reasons for the significance of this work: (a) establishing links between formal systems leads to a better understanding and cross-fertilization, in particular our work sheds light on the argumentation-theoretic features of defeasible logic; (b) we provide the first ambiguity blocking Dung-like argumentation system; (c) defeasible reasoning may provide an efficient implementation platform for systems of argumentation; and (d) argumentation-based semantics support a deeper understanding of defeasible reasoning, especially in the context of the intended applications.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherOxford University Pressen_US
dc.publisher.placeOxford, UKen_US
dc.publisher.urihttp://logcom.oxfordjournals.org/cgi/content/abstract/14/5/675en_AU
dc.relation.ispartofpagefrom675en_US
dc.relation.ispartofpageto702en_US
dc.relation.ispartofissue5en_US
dc.relation.ispartofjournalJournal of Logic and Computationen_US
dc.relation.ispartofvolume14en_US
dc.subject.fieldofresearchcode230101en_US
dc.titleArgumentation Semantics for Defeasible Logicen_US
dc.typeJournal articleen_US
dc.type.descriptionC1 - Peer Reviewed (HERDC)en_US
dc.type.codeC - Journal Articlesen_US
gro.rights.copyrightThe definitive publisher-authenticated version J Logic Computation 2004 14: 675-702is available online at: http://logcom.oxfordjournals.org/cgi/reprint/14/5/675en_AU
gro.date.issued2004
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