Comparing Variants of Strategic Ability

Jamroga, Wojciech; Bulling, Nils

doi:10.5591/978-1-57735-516-8/IJCAI11-053

Comparing Variants of Strategic Ability

Wojciech Jamroga, Nils Bulling

Download BibTeX Cite

Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 252-256.

https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-053

Abstract

We show that different semantics of ability in ATL give rise to different validity sets. As a consequence, different notions of ability induce different strategic logics and different general properties of games. Moreover, the study can be seen as the first systematic step towards satisfiability-checking algorithms for ATL with imperfect information.

Wojciech Jamroga, and Nils Bulling. 2011. Comparing Variants of Strategic Ability. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 252–256. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-053

@inproceedings{ijcai2011p53,
  title     = {Comparing Variants of Strategic Ability},
  author    = {Jamroga, Wojciech and Bulling, Nils},
  booktitle = {Proceedings of the Twenty-Second International Joint Conference on
               Artificial Intelligence, {IJCAI-11}},
  publisher = {AAAI Press/International Joint Conferences on Artificial Intelligence},
  editor    = {Toby Walsh},
  pages     = {252--256},
  year      = {2011},
  month     = {7},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-053},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-053},
}

TY  - CPAPER
TI  - Comparing Variants of Strategic Ability
AU  - Jamroga, Wojciech
AU  - Bulling, Nils
T2  - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11
PB  - AAAI Press/International Joint Conferences on Artificial Intelligence
PY  - 2011
SP  - 252
EP  - 256
DO  - 10.5591/978-1-57735-516-8/IJCAI11-053
UR  - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-053
ER  -