31 search results - page 1 / 7 » From Coalition Logic to STIT |
JOLLI
2010
13 years 5 months ago
2010
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 ...
ENTCS
2006
13 years 11 months ago
2006
TARK
2007
Springer
14 years 5 months ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
We propose two alternatives to Xu’s axiomatization of Chellas’s STIT. The first one simplifies its presentation, and also provides an alternative axiomatization of the delib...
AI
2011
Springer
13 years 5 months ago
2011
Springer
The aim of this work is to propose a logical framework for the specification of cognitive emotions that are based on counterfactual reasoning about agents’ choices. An example ...