Publisher Summary The discipline of knowledge representation focuses on the way to
represent and reason about environments with various different properties, usually with the …

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 …

Branching-time temporal logics have proved to be an extraordinarily successful tool in the
formal specification and verification of distributed systems. Much of their success stems from …

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 …

This paper gives an overview of our recent work on an approach to verifying multi-agent
programs. We automatically translate multi-agent systems programmed in the logic-based …

We present a framework for verifying temporal and epistemic properties of multi-agent
systems by means of bounded model checking. We use interpreted systems as underlying …

We introduce Hyper2LTL, a temporal logic for the specification of hyperproperties that allows
for second-order quantification over sets of traces. Unlike first-order temporal logics for …

This paper introduces ASF, a variation of the BDI logic programming language ASL intended
to permit the model-theoretic verification of multi-agent systems. After briefly introducing ASF …