Show simple item record

dc.contributor.authorAntoniou, G
dc.contributor.authorBillington, D
dc.contributor.authorGovernatori, G
dc.contributor.authorMaher, MJ
dc.contributor.editorPorter, B.
dc.date.accessioned2018-06-26T04:20:40Z
dc.date.available2018-06-26T04:20:40Z
dc.date.issued2000
dc.date.modified2008-09-23T06:13:01Z
dc.identifier.isbn0-262-51112-6
dc.identifier.urihttp://hdl.handle.net/10072/9309
dc.description.abstractLogics 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.publicationstatusYes
dc.format.extent91240 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglish
dc.language.isoeng
dc.publisherAAAI Press
dc.publisher.placeCambridge USA
dc.publisher.urihttp://www.aaai.org/Library/AAAI/2000/aaai00-062.php
dc.relation.ispartofconferencename17th National Conference on Artificial Intelligence (AAAI-2000)/12th Conference on Innovative Applications of Artificial Intelligence (IAAI-2000)
dc.relation.ispartofconferencetitleSEVENTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-2001) / TWELFTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-2000)
dc.relation.ispartofdatefrom2000-07-30
dc.relation.ispartofdateto2000-08-03
dc.relation.ispartoflocationAUSTIN, TX
dc.relation.ispartofpagefrom405
dc.relation.ispartofpagefrom6 pages
dc.relation.ispartofpageto410
dc.relation.ispartofpageto6 pages
dc.subject.fieldofresearchHistory, heritage and archaeology
dc.subject.fieldofresearchcode43
dc.titleA flexible framework for defeasible logics
dc.typeConference output
dc.type.descriptionE2 - Conferences (Non Refereed)
dc.type.codeE - Conference Publications
dc.description.versionVersion of Record (VoR)
gro.facultyArts, 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.issued2000
gro.hasfulltextFull Text
gro.griffith.authorBillington, David


Files in this item

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record