Skip to main content

Research Repository

Advanced Search

A Logical Framework for the Representation and Verification of Context-aware Agents

Rakib, Abdur; Ul Haque, Hafiz Mahfooz


Rakib Abdur
Senior Lecturer in Mobile Security

Hafiz Mahfooz Ul Haque


© 2014, Springer Science+Business Media New York. We propose a logical framework for modelling and verifying context-aware multi-agent systems. We extend CTL∗ with belief and communication modalities, and the resulting logic 𝓛OCRS allows us to describe a set of rule-based reasoning agents with bound on time, memory and communication. The set of rules which are used to model a desired systems is derived from OWL 2 RL ontologies. We provide an axiomatization of the logic and prove it is sound and complete. We show how Maude rewriting system can be used to encode and verify interesting properties of 𝓛OCRS models using existing model checking techniques.

Journal Article Type Article
Publication Date Jan 1, 2014
Journal Mobile Networks and Applications
Print ISSN 1383-469X
Publisher Springer Verlag
Peer Reviewed Peer Reviewed
Volume 19
Issue 5
Pages 585-597
APA6 Citation Rakib, A., & Ul Haque, H. M. (2014). A Logical Framework for the Representation and Verification of Context-aware Agents. Mobile Networks and Applications, 19(5), 585-597.
Keywords modal logic, context-aware, multi-agent systems, ontology, model checking
Publisher URL
Related Public URLs
Additional Information Additional Information : The final publication is available at Springer via


You might also like

Downloadable Citations