Show simple item record

dc.contributor.authorLuo, Xiangyuen_US
dc.contributor.authorSu, Kaileen_US
dc.contributor.authorSattar, Abdulen_US
dc.contributor.authorChen, Yanen_US
dc.contributor.editorLakhmi Jain et alen_US
dc.date.accessioned2017-04-24T11:58:54Z
dc.date.available2017-04-24T11:58:54Z
dc.date.issued2008en_US
dc.date.modified2009-05-12T06:40:03Z
dc.identifier.refurihttp://ieeexplore.ieee.org/xpl/RecentCon.jsp?punumber=4740404en_AU
dc.identifier.doi10.1109/WIIAT.2008.277en_AU
dc.identifier.urihttp://hdl.handle.net/10072/22891
dc.description.abstractWe model the Sum and Product Riddle in public announcement logic, which is interpreted on an epistemic Kripke model. The model is symbolically represented as a finite state program with n agents. A model checking method to the riddle is developed by using the BDD-based symbolic model checking algorithm for logic of knowledge we developed in [7]. The method is implemented by extending the model checker MCTK [7] and then the solution of the riddle is verified successfully.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.format.extent329212 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherIEEEen_US
dc.publisher.placeOnlineen_US
dc.publisher.urihttp://ieeexplore.ieee.org/servlet/opac?punumber=4740404en_AU
dc.relation.ispartofstudentpublicationNen_AU
dc.relation.ispartofconferencenameIEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technologyen_US
dc.relation.ispartofconferencetitleProceedings 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technologyen_US
dc.relation.ispartofdatefrom2008-12-09en_US
dc.relation.ispartofdateto2008-12-12en_US
dc.relation.ispartoflocationSydneyen_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchComputational Logic and Formal Languagesen_US
dc.subject.fieldofresearchcode080203en_US
dc.titleSolving Sum and Product Riddle via BDD-based Model Checkingen_US
dc.typeConference outputen_US
dc.type.descriptionE1 - Conference Publications (HERDC)en_US
dc.type.codeE - Conference Publicationsen_US
gro.rights.copyrightCopyright 2008 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.en_AU
gro.date.issued2008
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