This paper updates and builds on 'Modelling with Stakeholders' Voinov and Bousquet, 2010
which demonstrated the importance of, and demand for, stakeholder participation in …

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 …

The concept of an agent has become important in both artificial intelligence (AT) and
mainstream computer science. Our aim in this paper is to point the reader at what we …

In the first part of the paper we introduce a new theorem-proving procedure, that is a new
efficient method of communicating a proof. Any such method implies, directly or indirectly, a …

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 …

Intelligent agents are employed as the central characters in this new introductory text.
Beginning with elementary reactive agents, Nilsson gradually increases their cognitive …

Luciano Floridi presents a book that will set the agenda for the philosophy of information. PI
is the philosophical field concerned with (1) the critical investigation of the conceptual nature …

This paper explores principles governing the rational balance among an agent's beliefs,
goals, actions, and intentions. Such principles provide specifications for artificial agents, and …

A concise and lucid exposition of the major topics in knowledge representation, from two of
the leading authorities in the field.-Stuart Russell, UC Berkeley The information is valuable …

Specifying and implementing dynamical systems with the situation calculus. Modeling and
implementing dynamical systems is a central problem in artificial intelligence, robotics …