Show simple item record

dc.contributor.convenorChitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracinaen_AU
dc.contributor.authorWang, Kewenen_US
dc.contributor.authorZhang, Yanen_US
dc.contributor.editorChitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracinaen_US
dc.date.accessioned2017-05-03T14:11:04Z
dc.date.available2017-05-03T14:11:04Z
dc.date.issued2005en_US
dc.date.modified2007-03-21T21:25:45Z
dc.identifier.refuriwww.mat.unical.it/lpnmr05/en_AU
dc.identifier.urihttp://hdl.handle.net/10072/2705
dc.description.abstractNested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarely explored. In this paper we first introduce the epistemic HT-logic, and then propose a more general extension of logic programs called {/em nested epistemic logic programs}. The semantics of this extension - named equilibrium views - is defined on the basis of the epistemic HT-logic. We prove that equilibrium view semantics extends both the answer sets of nested logic programs and the world views of epistemic logic programs. Therefore, our work establishes a unifying framework for both nested logic programs and epistemic logic programs. Furthermore, we also provide a characterization of the strong equivalence of two nested epistemic logic programs.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherSpringeren_US
dc.publisher.placeGermanyen_US
dc.relation.ispartofstudentpublicationNen_AU
dc.relation.ispartofconferencenameEighth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-05)en_US
dc.relation.ispartofconferencetitleLogic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, LNCS3662en_US
dc.relation.ispartofdatefrom2005-09-05en_US
dc.relation.ispartofdateto2005-09-08en_US
dc.relation.ispartoflocationDiamante, Italyen_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchcode280213en_US
dc.titleNested epistemic logic programsen_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.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