Belief updating is a relatively nascent field of research that examines how people adjust
their beliefs in light of new evidence. So far, belief updating has been investigated in partly …

In this overview paper, I will attempt to identify and describe some of the common threads
that tie together work in reasoning about knowledge in such diverse fields as philosophy …

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 …

A new computational framework is presented, called agent-oriented programming (AOP),
which can be viewed as a specialization of object-oriented programming. The state of an …

Formal ways of representing uncertainty and various logics for reasoning about it; updated
with new material on weighted probability measures, complexity-theoretic considerations …

An arti cial social system is a set of restrictions on agents' behaviors in a multiagent
environment. Its role is to allow agents to coexist in a shared environment and pursue their …

The main subject and objective of this book are logical foundations of non monotonic
reasoning. This bears a presumption that there is such a thing as a general theory of non …

It is suggested that taking into account considerations that traditionally fall within the scope
of computer science in general, and artificial intelligence in particular, sheds new light on the …

The semantics of modal logics for reasoning about belief or knowledge is often described in
terms of accessibility relations, which is too expressive to account for mere epistemic states …

In this paper, we provide an epistemic analysis of a simple variant of the fundamental
consistent broadcasting primitive for byzantine fault-tolerant asynchronous distributed …