Handbook of theoretical computer science (vol. B)
Mathematics of Operations Research
Journal of the ACM (JACM)
Alternating Refinement Relations
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
Alternating-time Temporal Logic
FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
Game logic for game theorists
Extensive Games as Process Models
Journal of Logic, Language and Information
On the logic of cooperation and propositional control
Artificial Intelligence
On the logic of coalitional games
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
On the complexity of practical ATL model checking
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Towards an ontology of agency and action From STIT to OntoSTIT+
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Tableau-based decision procedures for logics of strategic ability in multiagent systems
ACM Transactions on Computational Logic (TOCL)
On the logic of cooperation and propositional control
Artificial Intelligence
A logic for coalitions with bounded resources
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Electronic Notes in Theoretical Computer Science (ENTCS)
Expressing properties of coalitional ability under resource bounds
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Resource-bounded alternating-time temporal logic
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Playing extensive form games in parallel
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Autonomous Agents and Multi-Agent Systems
Tractable model checking for fragments of higher-order coalition logic
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Reasoning about joint action and coalitional ability in Kn with intersection
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
On a Logic for Coalitional Games with Priced-Resource Agents
Electronic Notes in Theoretical Computer Science (ENTCS)
Do agents make model checking explode (computationally)?
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Model checking strategic abilities of agents under incomplete information
ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Autonomous Agents and Multi-Agent Systems
| Hi-index | 0.00 |
We draw parallels between coalition game logics developed in [Pauly, 2000b] and [Pauly, 2000c] on one hand, and alternating-time temporal logics of computations introduced in [Alur et al, 97] on the other. In particular, we show equivalence of their semantics, embedding of coalition game logics into alternating-time temporal logic, and propose axiomatic systems for these logics.