Show simple item record

dc.contributor.convenorL. Kaelbling, A. Saffiottien_AU
dc.contributor.authorZhang, Yanen_US
dc.contributor.authorFoo, Normanen_US
dc.contributor.authorWang, Kewenen_US
dc.contributor.editorL. Kaelbling, A. Saffiottien_US
dc.date.accessioned2017-05-03T14:11:03Z
dc.date.available2017-05-03T14:11:03Z
dc.date.issued2005en_US
dc.date.modified2007-03-21T21:25:39Z
dc.identifier.refuriwww.ijcai-05.org/en_AU
dc.identifier.urihttp://hdl.handle.net/10072/2700
dc.description.abstractWe consider how to forget a set of atoms in a logic program. Intuitively, when a set of atoms is forgotten from a logic program, all atoms in the set should be eliminated from this program in some way, and other atoms related to them in the program might also be affected. We define notions of strong and weak forgettings in logic programs to capture such intuition and reveal their close connections to the notion of forgetting in classical propositional theories. Based on these notions, we then propose a framework for conflict solving in logic programs, which is genarl enough to represent many important conflict solving problems. We also study some essential semantic and computational properties in relation to strong and weak forgettings and conflict solving in our framework.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherInternational Joint Conferences on Artificial Intelligenceen_US
dc.publisher.placeUSAen_US
dc.relation.ispartofstudentpublicationNen_AU
dc.relation.ispartofconferencename19th International Joint Conference on Artificial Intelligence (IJCAI-2005)en_US
dc.relation.ispartofconferencetitleIJCAI-05 : Proceedings of the 19th International Joint Conference on Artificial Intelligenceen_US
dc.relation.ispartofdatefrom2005-07-30en_US
dc.relation.ispartofdateto2005-08-05en_US
dc.relation.ispartoflocationEdinburghen_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchcode280213en_US
dc.titleSolving logic program conflicts through strong and weak forgettingsen_US
dc.typeConference outputen_US
dc.type.descriptionE1 - Conference Publications (HERDC)en_US
dc.type.codeE - Conference Publicationsen_US
gro.date.issued2005
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