Show simple item record

dc.contributor.convenorGabriella Pasi
dc.contributor.authorMa, Ji
dc.contributor.authorOrgun, Mehmet A
dc.contributor.authorSattar, Abdul
dc.contributor.authorAdi, Kamel
dc.contributor.editorBaezaYates, R
dc.contributor.editorBerendt, B
dc.contributor.editorBertino, E
dc.contributor.editorLim, EP
dc.contributor.editorPasi, G
dc.date.accessioned2017-05-03T14:38:23Z
dc.date.available2017-05-03T14:38:23Z
dc.date.issued2009
dc.date.modified2010-06-03T09:03:13Z
dc.identifier.isbn978-1-4244-5331-3
dc.identifier.refurihttp://www.comp.mq.edu.au/conferences/wliamas09/
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.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.format.extent476076 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglish
dc.language.isoeng
dc.publisherIEEE
dc.publisher.placeLos Alamitos, CA
dc.publisher.urihttp://portal.acm.org/citation.cfm?id=1632213
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencenameIEEE/WIC/ACM International Conferences on Web Intelligence (WI)/Intelligent Agent Technologies (IAT),
dc.relation.ispartofconferencetitle2009 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCES ON WEB INTELLIGENCE (WI) AND INTELLIGENT AGENT TECHNOLOGIES (IAT), VOL 3
dc.relation.ispartofdatefrom2009-09-15
dc.relation.ispartofdateto2009-09-18
dc.relation.ispartoflocationMilan, ITALY
dc.relation.ispartofpagefrom474
dc.relation.ispartofpageto+
dc.relation.ispartofvolume3
dc.rights.retentionY
dc.subject.fieldofresearchcode280213
dc.titleTemporalised Epistemic Logic for Reasoning about Agent-Based Systems
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.rights.copyright© 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.
gro.date.issued2009
gro.hasfulltextFull Text
gro.griffith.authorSattar, Abdul


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