Show simple item record

dc.contributor.convenorGabriella Pasien_AU
dc.contributor.authorMa, Jien_US
dc.contributor.authorA. Orgun, Mehmeten_US
dc.contributor.authorSattar, Abdulen_US
dc.contributor.authorAdi, Kamelen_US
dc.contributor.editorPaolo Bold, Giuseppe Vizzari, Gabriella Yates, Richardo Baeza-Yatesen_US
dc.date.accessioned2017-04-24T11:57:29Z
dc.date.available2017-04-24T11:57:29Z
dc.date.issued2009en_US
dc.date.modified2010-06-03T09:03:13Z
dc.identifier.refurihttp://www.comp.mq.edu.au/conferences/wliamas09/en_AU
dc.identifier.urihttp://hdl.handle.net/10072/29991
dc.description.abstractFor modelling and verifying agent systems, many researchers have proposed different logical systems. Since agentbased systems are designed to operate in dynamic environments such as the Internet, it is also important to model the temporal aspects of such systems in a systematic way. In this paper, we use a temporalised epistemic logic called TEL for formalising agent-based systems. We also propose a labelled tableau system and a model checking method for this logic. With logic TEL and its associated proof system, we are able to reason about, and verify agent systems operating in dynamic environments.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.format.extent476076 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherIEEEen_US
dc.publisher.placeLos Alamitos, CAen_US
dc.publisher.urihttp://portal.acm.org/citation.cfm?id=1632213en_AU
dc.relation.ispartofstudentpublicationNen_AU
dc.relation.ispartofconferencename2nd Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2009)en_US
dc.relation.ispartofconferencetitleProceedings. 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshopsen_US
dc.relation.ispartofdatefrom2009-09-15en_US
dc.relation.ispartofdateto2009-09-18en_US
dc.relation.ispartoflocationMilano, Italyen_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchcode280213en_US
dc.titleTemporalised Epistemic Logic for Reasoning about Agent-Based Systemsen_US
dc.typeConference outputen_US
dc.type.descriptionE1 - Conference Publications (HERDC)en_US
dc.type.codeE - Conference Publicationsen_US
gro.rights.copyrightCopyright 2009 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.issued2009
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