The idea for this book was suggested by Bill Cobern. We would like to thank him for his
encouragement and support. A number of people assisted in the preparation of this book …

Game theory is a widely used formal model for studying strategical interactions between
agents. Boolean games [8] are two players, zero-sum static games where players' utility …

It is recognised that institutions are potentially powerful means for making agent interactions
effective and efficient, but institutions will only really be useful when, as in other safety …

We present a formalism for reasoning about the information properties of multi-agent
systems. Multi-agent VSK logic allows us to represent what is objectively true of some …

Music composition used to be a pen and paper activity. These days music is often composed
with the aid of computer software, even to the point where the computer composes parts of …

This paper addresses the theoretical notion of a game as it arisesacross scientific inquiries,
exploring its uses as a technical andformal asset in logic and science versus an explanatory …

Game theory is a widely used formal model for studying strategical interactions between
agents. Boolean games (Harrenstein, Logic in conflict, PhD thesis, 2004; Harrenstein et al …

To practice knowledge representation, it is paramount that knowledge representation
languages have formal semantics. However, since there are numerous different languages …

Answer set programming (ASP) is a declarative language tailored towards solving
combinatorial optimization problems. It has been successfully applied to eg planning …

We present systems of logic programming agents (LPAS) to model the interactions between
decision-makers while evolving to a conclusion. Such a system consists of a number of …