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 …

The objective of this paper is twofold. In its first part, we survey the state of the art in research
on agent architectures. The architecture of an agent describes its modules and capabilities …

We discuss issues of expressibility and completeness of the logic of implicit knowledge (I)
and “everybody's knowledge”(E), as introduced in a system with a number m of epistemic …

We propose an epistemic logic with so-called graded modalities, in which certain types of
knowledge are expressible that are less absolute than in traditional epistemic logic. Beside …

Asynchronous execution of processes and unpredictable communication delays create
nondeterminism in distributed systems that complicates the design, verification, and analysis …

The control architecture of an autonomous agent describes its modules and capabilities, and
how they work together. Over the past few years, numerous architectures have been …

A generic architecture for autonomous agents is presented. In common with other current
proposals the agent is capable of reacting to and reasoning about events which occur in its …

The interpolation property and Robinson's consistency property are important tools for
applying logic to software engineering. We provide a uniform technique for proving the …

In this paper we introduce a category-theoretic formalisation of social network analysis. This
generalises traditional graph-theoretic formalisations and facilitates a formal approach to …

We describe here a general and flexible framework for decision making which embodies the
concepts of beliefs, goals, options, arguments and commitments. We have employed these …