Show simple item record

dc.contributor.authorBillington, Daviden_US
dc.contributor.editorManuela M. Velosoen_US
dc.date.accessioned2017-04-24T08:21:29Z
dc.date.available2017-04-24T08:21:29Z
dc.date.issued2007en_US
dc.date.modified2008-10-16T08:13:22Z
dc.identifier.refuriwww.ijcai.orgen_AU
dc.identifier.doihttp://www.ijcai.org/papers07/contents.phpen_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.urihttp://www.ijcai-07.org/en_AU
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-06en_US
dc.relation.ispartofdateto2007-01-12en_US
dc.relation.ispartoflocationHyderabad, Indiaen_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
gro.facultyGriffith Sciences, School of Information and Communication Technologyen_US
gro.date.issued2007
gro.hasfulltextNo Full Text


Files in this item

FilesSizeFormatView

There are no files associated with 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