Reasoning about knowledge—particularly the knowledge of agents who reason about the
world and each other's knowledge—was once the exclusive province of philosophers and …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

The specification formalism employed in model checking is usually some flavour of temporal
or process algebraic language that expresses properties of the behavioural aspects of a …

An epistemic goal is a goal about the knowledge possessed by an agent or group of agents.
In this paper, we address the problem of how plans might be developed for a group of …

We introduce a general framework for reasoning about secrecy requirements in multiagent
systems. Our definitions extend earlier definitions of secrecy and nondeducibility given by …

Suppose we have a stack of cards that is divided over some players. For certain distributions
of cards it is possible to communicate your hand of cards to another player by public …

Awareness has been shown to be a useful addition to standard epistemic logic. However,
standard propositional logics for knowledge and awareness cannot express the fact that an …

Abstract Model checking as an approach to the automatic verification of finite state systems
has focussed predominantly on system specifications expressed in temporal logic. In the …

Publisher Summary Game-theoretic ideas have long played an influential rule in analyzing
various branches of logic. This chapter focuses on using modal logics to describe and …

Specification and Verification of Multi-agent Systems presents a coherent treatment of the
area of formal specification and verification of agent-based systems with a special focus on …