Recent work on Alternating-Time Temporal Logic and Coalition Logic has allowed the
expression of many interesting properties of coalitions and strategies. However, there is no …

Computation systems and logics for modelling such systems have been studied to a great
extent in the past decades. This paper introduces resources into the models of systems and …

This paper presents a formal modelling approach for Belief-Desire-Intention (BDI) agents
using Isabelle/HOL and Z-Machines. The BDI architecture is widely used for modelling …

Over the last few years, context-aware computing has received a growing amount of
attention among the researchers in the IoT and ubiquitous computing community. In …

Abstract Multi-Agent Systems (MAS) have been supporting the development of distributed
systems performing decentralized thinking and reasoning, automated actions, and …

There exists a considerable body of work on epistemic logics for resource-bounded
reasoners. In this paper, we concentrate on a less studied aspect of resource-bounded …

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 …

Multi-agent systems is an evolving discipline that encompasses many different branches of
research. The long-standing Agents at Aberdeen (A 3) group undertakes research across …

There exists a considerable body of work on epistemic logics for bounded reasoners where
the bound can be time, memory, or the amount of information the reasoners can exchange …

This paper contributes to exploring the connection between epistemic knowledge and
communication complexity in distributed systems. We focus on Action Models, a well-known …