Alternating Refinement Relations
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
On the logic of cooperation and propositional control
Artificial Intelligence
Reasoning about action and cooperation
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Modal operators with adaptable semantics for multi-agent systems
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Alternating-time temporal logic with explicit strategies
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Modelling coalitions: ATL + argumentation
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
A Deontic Logic for Socially Optimal Norms
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
A Logic for Closed-World Interaction
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
An Argumentative Approach for Modelling Coalitions Using ATL
Argumentation in Multi-Agent Systems
Organizing Coherent Coalitions
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
On the Logic of Cellular Reactive Systems
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
A Dynamic Logic of Agency I: STIT, Capabilities and Powers
Journal of Logic, Language and Information
An update operator for strategic ability
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
A Dynamic Logic of Agency II: Deterministic $${\mathcal{DLA}}$$ , Coalition Logic, and Game Theory
Journal of Logic, Language and Information
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Alternating-time temporal announcement logic
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Strategies in games: a logic-automata study
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
Hi-index | 0.00 |
If modal logics for coalitions need to be applied, one must know how to translate coalition power into agents' actions. To these days, the connection between coalition power and the actions of the agents has not been studied in the literature. This paper fills the gap by presenting a semantic translation from Pauly's Coalition Logic to a (fragment of an) action logic. The interpretation of the empty coalition in Pauly's system and the representation of the notion of ability are discussed.