Show simple item record

dc.contributor.convenorL. Kaelbling, A. Saffiotti
dc.contributor.authorZhang, Yan
dc.contributor.authorFoo, Norman
dc.contributor.authorWang, Kewen
dc.contributor.editorKaelbling, LP
dc.contributor.editorSaffotti, A
dc.date.accessioned2017-12-05T00:04:23Z
dc.date.available2017-12-05T00:04:23Z
dc.date.issued2005
dc.date.modified2007-03-21T21:25:39Z
dc.identifier.issn1045-0823
dc.identifier.refuriwww.ijcai-05.org/
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.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.languageEnglish
dc.language.isoeng
dc.publisherInternational Joint Conferences on Artificial Intelligence
dc.publisher.placeUSA
dc.publisher.urihttps://www.ijcai.org/proceedings/2005
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencename19th International Joint Conference on Artificial Intelligence (IJCAI 05)
dc.relation.ispartofconferencetitle19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05)
dc.relation.ispartofdatefrom2005-07-30
dc.relation.ispartofdateto2005-08-05
dc.relation.ispartoflocationEdinburgh, SCOTLAND
dc.relation.ispartofpagefrom627
dc.relation.ispartofpageto632
dc.rights.retentionY
dc.subject.fieldofresearchcode280213
dc.titleSolving Logic Program Conflict through Strong and Weak Forgettings
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
dc.description.versionVersion of Record (VoR)
gro.rights.copyright© 2005 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.
gro.date.issued2005
gro.hasfulltextFull Text
gro.griffith.authorWang, Kewen


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