Show simple item record

dc.contributor.authorBillington, David
dc.contributor.editorManuela M. Veloso
dc.date.accessioned2017-12-05T00:14:05Z
dc.date.available2017-12-05T00:14:05Z
dc.date.issued2007
dc.date.modified2008-10-16T08:13:22Z
dc.identifier.refuriwww.ijcai.orgen_AU
dc.identifier.urihttp://hdl.handle.net/10072/17085
dc.description.abstractWe define a new general rule-based nonmonotonic framework which allows an external acyclic priority relation between rules to be interpreted in several ways. Several entailment semantics are defined via a constructive digraph, with one being given a declarative fixed-point characterisation as well. Each of these semantics satisfies Principle 1 of [Brewka and Eiter 1999]. The framework encompasses Default Logic [Reiter 1980], ground Answer Set Programming (ASP) [Baral 2003], and Defeasible Logic [Nute 1994]. Defa lt Logic is provided with a new semantics which is ambiguity blocking, rather than the usual ambiguity propagating semantics. Also Reiterextensions are given a new fixed-point characterisation; and Lukaszewicz's [1990] m-extensions are given a much simpler construction and fixed-point characterisation.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherInternational Joint Conferences on Artificial Intelligence / AAAI Pressen_US
dc.publisher.placeMenlo Park, Californiaen_US
dc.publisher.urihttps://www.ijcai.org/Abstract/07/039en_US
dc.relation.ispartofstudentpublicationNen_AU
dc.relation.ispartofconferencenameThe Twentieth International Joint Conference on Artificial Intelligenceen_US
dc.relation.ispartofconferencetitleIJCAI - 07 : Proceedings of the Twentieth International Joint Conference on Artificial Intelligenceen_US
dc.relation.ispartofdatefrom2007-01-06
dc.relation.ispartofdateto2007-01-12
dc.relation.ispartoflocationHyderabad, Indiaen_US
dc.relation.ispartofpagefrom256en_US
dc.relation.ispartofpageto261en_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchcode280213en_US
dc.titleEntailment Semantics for Rules with Prioritiesen_US
dc.typeConference outputen_US
dc.type.descriptionE1 - Conference Publications (HERDC)en_US
dc.type.codeE - Conference Publicationsen_US
dc.description.versionPublisheden_US
gro.facultyGriffith Sciences, School of Information and Communication Technologyen_US
gro.rights.copyrightCopyright 2007 International Joint Conference on Artificial Intelligence. The attached file is reproduced here in accordance with the copyright policy of the publisher. Please refer to the Conference's website for access to the definitive, published version.en_US
gro.date.issued2007
gro.hasfulltextFull Text


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