ML Anthology

Comparing Variants of Strategic Ability

Wojciech Jamroga, Nils Bulling
IJCAI 2011 pp. 252-257
doi:10.5591/978-1-57735-516-8/IJCAI11-053 /ijcai/2011/jamroga2011ijcai-comparing/

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.

PDF IJCAI Semantic Scholar

Cite

Text

Jamroga and Bulling. "Comparing Variants of Strategic Ability." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-053

Markdown

[Jamroga and Bulling. "Comparing Variants of Strategic Ability." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/jamroga2011ijcai-comparing/) doi:10.5591/978-1-57735-516-8/IJCAI11-053

BibTeX

@inproceedings{jamroga2011ijcai-comparing,
  title     = {{Comparing Variants of Strategic Ability}},
  author    = {Jamroga, Wojciech and Bulling, Nils},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {252-257},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-053},
  url       = {https://mlanthology.org/ijcai/2011/jamroga2011ijcai-comparing/}
}