dc.contributor.author | Governatori, G | |
dc.contributor.author | Maher, MJ | |
dc.contributor.author | Antoniou, G | |
dc.contributor.author | Billington, D | |
dc.contributor.editor | Mizoguchi, Riichiro; Slaney, John | |
dc.date.accessioned | 2018-06-26T03:47:53Z | |
dc.date.available | 2018-06-26T03:47:53Z | |
dc.date.issued | 2000 | |
dc.date.modified | 2010-07-26T06:52:03Z | |
dc.identifier.isbn | 9783540679257 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.doi | 10.1007/3-540-44533-1_7 | |
dc.identifier.uri | http://hdl.handle.net/10072/9310 | |
dc.description.abstract | Defeasible logic is a simple but efficient rule-based non-monotonic logic. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the modelling of business rules. So far defeasible logic has been defined only proof-theoretically. Argumentation-based semantics have become popular in the area of logic programming. In this paper we give an argumentation-based semantics for defeasible logic. Recently it has been shown that a family of approaches can be built around defeasible logic, in which different intuitions can be followed. In this paper we present an argumentation-based semantics for an ambiguity propagating logic, too. Further defeasible logics can be characterised in a similar way. | |
dc.description.publicationstatus | Yes | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | Springer | |
dc.publisher.place | Berlin | |
dc.relation.ispartofconferencename | PRICAI 2000, 6th Pacific Rim International Conference on Artificial Intelligence | |
dc.relation.ispartofconferencetitle | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |
dc.relation.ispartofdatefrom | 2000-08-28 | |
dc.relation.ispartofdateto | 2000-08-28 | |
dc.relation.ispartoflocation | Melbourne | |
dc.relation.ispartofpagefrom | 27 | |
dc.relation.ispartofpageto | 37 | |
dc.relation.ispartofvolume | 1886 LNAI | |
dc.subject.fieldofresearch | History, heritage and archaeology | |
dc.subject.fieldofresearchcode | 43 | |
dc.title | Argumentation semantics for defeasible logics | |
dc.type | Conference output | |
dc.type.description | E2 - Conferences (Non Refereed) | |
dc.type.code | E - Conference Publications | |
dc.description.version | Accepted Manuscript (AM) | |
gro.faculty | Griffith Sciences, School of Information and Communication Technology | |
gro.rights.copyright | © 2000 Springer Berlin/Heidelberg. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher.The original publication is available at www.springerlink.com | |
gro.date.issued | 2000 | |
gro.hasfulltext | Full Text | |
gro.griffith.author | Billington, David | |