Rational Teams: Logical Aspects of Multi-Agent Systems
Huib Aldewereld, Wiebe van der Hoek, John‐Jules Ch. Meyer · 2004
1 In this paper we will describe a possible extension of the KARO system from single-agent to multi-agent. Furthermore we will discuss many aspects of multi-agent environments that are to be considered well when extending a system, like KARO, to multi-agent.