We present a framework for verifying systems composed of heterogeneous reasoning
agents, in which each agent may have differing knowledge and inferential capabilities, 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 …

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 …

In this paper, we show how to establish correctness and time bounds (eg, quality of service
guarantees) for multi-agent systems composed of communicating rule-based agents. The …

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 …

In Boolean games, agents uniquely control a set of propositional variables, and aim at
achieving a goal formula whose realisation might depend on the choices the other agents …

We present a framework for the automated verification of time and communication
requirements in systems of distributed rule-based reasoning agents which allows us to …

Logical theories of intelligent (or rational) agents have been refined and improved over the
past 20 years of research. Such logical theories are used in many ways, one of which is as …

We introduce a logical language with nullary operators min (n), for each non-negative
integer n, which mean 'the reasoner has at least n different beliefs'. The resulting language …

This thesis presents frameworks for the modelling and verification of resource-bounded
reasoning agents. The resources considered include the time, memory, and communication …