dc.contributor.author | Antoniou, G | |
dc.contributor.author | Billington, D | |
dc.contributor.author | Governatori, G | |
dc.contributor.author | Maher, MJ | |
dc.contributor.editor | Porter, B. | |
dc.date.accessioned | 2018-06-26T04:20:40Z | |
dc.date.available | 2018-06-26T04:20:40Z | |
dc.date.issued | 2000 | |
dc.date.modified | 2008-09-23T06:13:01Z | |
dc.identifier.isbn | 0-262-51112-6 | |
dc.identifier.uri | http://hdl.handle.net/10072/9309 | |
dc.description.abstract | Logics for knowledge representation suffer from over-specialization: while each logic may provide an ideal representation formalism for some problems, it is less than optimal for others. A solution to this problem is to choose from several logics and, when necessary, combine the representations. In general, such an approach results in a very difficult problem of combination. However, if we can choose the logics from a uniform framework then the problem of combining them is greatly simplified. In this paper, we develop such a framework for defeasible logics. It supports all defeasible logics that satisfy a strong negation principle. We use logic meta-programs as the basis for the framework. | |
dc.description.publicationstatus | Yes | |
dc.format.extent | 91240 bytes | |
dc.format.mimetype | application/pdf | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | AAAI Press | |
dc.publisher.place | Cambridge USA | |
dc.publisher.uri | http://www.aaai.org/Library/AAAI/2000/aaai00-062.php | |
dc.relation.ispartofconferencename | 17th National Conference on Artificial Intelligence (AAAI-2000)/12th Conference on Innovative Applications of Artificial Intelligence (IAAI-2000) | |
dc.relation.ispartofconferencetitle | SEVENTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-2001) / TWELFTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-2000) | |
dc.relation.ispartofdatefrom | 2000-07-30 | |
dc.relation.ispartofdateto | 2000-08-03 | |
dc.relation.ispartoflocation | AUSTIN, TX | |
dc.relation.ispartofpagefrom | 405 | |
dc.relation.ispartofpagefrom | 6 pages | |
dc.relation.ispartofpageto | 410 | |
dc.relation.ispartofpageto | 6 pages | |
dc.subject.fieldofresearch | History, heritage and archaeology | |
dc.subject.fieldofresearchcode | 43 | |
dc.title | A flexible framework for defeasible logics | |
dc.type | Conference output | |
dc.type.description | E2 - Conferences (Non Refereed) | |
dc.type.code | E - Conference Publications | |
dc.description.version | Version of Record (VoR) | |
gro.faculty | Arts, Education & Law Group, School of Humanities, Languages and Social Sciences | |
gro.rights.copyright | © ACM, 2000. 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 Proceedings of 17th National Conference on Artificial Intelligence. | |
gro.date.issued | 2000 | |
gro.hasfulltext | Full Text | |
gro.griffith.author | Billington, David | |