Show simple item record

dc.contributor.authorBillington, Daviden_US
dc.contributor.editorHolldobler, Lutz, Wansingen_US
dc.date.accessioned2017-04-04T14:45:54Z
dc.date.available2017-04-04T14:45:54Z
dc.date.issued2008en_US
dc.date.modified2009-02-24T22:38:01Z
dc.identifier.issn03029743en_US
dc.identifier.doi10.1007/978-3-540-87803-2_5en_AU
dc.identifier.urihttp://hdl.handle.net/10072/21424
dc.description.abstractAbstract. Defeasible logics are non-monotonic reasoning systems that have efficient implementations and practical applications. We list several desirable properties and note that each defeasible logic fails to have some of these properties. We de?ne and explain a new defeasible logic, called clausal defeasible logic (CDL), which has all these properties. CDL is easy to implement, consistent, detects loops, terminates, and has a range of deduction algorithms to cater for a range of intuitions.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.format.extent156592 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherSpringeren_US
dc.publisher.placeGermanyen_US
dc.publisher.urihttp://www.springer.com/series/558en_AU
dc.relation.ispartofstudentpublicationNen_AU
dc.relation.ispartofpagefrom34en_US
dc.relation.ispartofpageto47en_US
dc.relation.ispartofjournalLecture Notes in Computer scienceen_US
dc.relation.ispartofvolume5293en_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchcode230101en_US
dc.titlePropositional Clausal Defeasible Logicen_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.rights.copyrightCopyright 2008 Springer-Verlag. 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.comen_AU
gro.date.issued2008
gro.hasfulltextFull Text


Files in 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