Show simple item record

dc.contributor.authorAntoniou, G
dc.date.accessioned2019-06-18T03:23:15Z
dc.date.available2019-06-18T03:23:15Z
dc.date.issued1998
dc.identifier.issn0952-813X
dc.identifier.doi10.1080/095281398146734
dc.identifier.urihttp://hdl.handle.net/10072/122159
dc.description.abstractCumulativity is an important property of nonmonotonic inference relations because it allows for the safe use of lemmas. This note shows that Justified Default Logic, Lukaszewicz variant of default logic, is cumulative for prerequisite-free default theories, a question that has been open in the literature. The proof is very simple and makes use of an operational interpretation of extensions.
dc.description.peerreviewedYes
dc.languageEnglish
dc.publisherTaylor & Francis
dc.publisher.placeUK
dc.relation.ispartofpagefrom507
dc.relation.ispartofpageto509
dc.relation.ispartofissue4
dc.relation.ispartofjournalJournal of Experimental and Theoretical Artificial Intelligence
dc.relation.ispartofvolume10
dc.subject.fieldofresearchArtificial Intelligence and Image Processing
dc.subject.fieldofresearchCognitive Sciences
dc.subject.fieldofresearchcode0801
dc.subject.fieldofresearchcode1702
dc.titleNote on the Cumulativity of Justified Default Logic
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
gro.facultyArts, Education & Law Group, School of Humanities, Languages and Social Sciences
gro.hasfulltextNo Full Text
gro.griffith.authorAntoniou, Grigorios


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