Sciweavers

JOLLI
2010
171views more  JOLLI 2010»
13 years 6 months ago
A Dynamic Logic of Agency I: STIT, Capabilities and Powers
The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define ...
Andreas Herzig, Emiliano Lorini