Epistemic logic has grown from its philosophical beginnings to find diverse applications in
computer science as a means of reasoning about the knowledge and belief of agents. This …

In this paper we present a formalisation of motivational attitudes, the attitudes that are the
driving forces behind the actions of agents. We consider the statics of these attitudes both at …

A survey is given of work performed by the authors in recent years concerning the semantics
of imperative concurrency. Four sample languages are presented for which a number of …

We present a formal system to reason about and specify the behavior of multiple intelligent
artificial agents. Essentially, each agent can perform certain actions, and it may possess a …

A long and lasting problem in agent research has been to close the gap between agent logics
and agent programming frameworks. The main reason for this problem of establishing a …

Each person holds numerous values that represent what is believed to be important. As a
result, our values influence our behavior and influence practical reasoning. Various …

In this paper we define a framework designed to formalize certain aspects of the behaviour
of rational agents. To this end we start by defining a language L in which not only knowledge …

In this paper we discuss the role that deontic logic plays in the specification of information
systems, either because constraints on the systems directly concern norms or, and even more …

This paper revisits a number of well-known paradoxes of deontic logic, namely Ross' paradox
(if you ought to mail a letter, you ought to mail or burn it), the free choice paradox (if you …

In this paper we study the dynamics of belief from an agent-oriented, semantics-based point
of view. In a formal framework used to specify and to analyze rational agents, we define …