AAAI Publications, Twenty-Second International Joint Conference on Artificial Intelligence

Font Size: 
Comparing Variants of Strategic Ability
Wojciech Jamroga, Nils Bulling

Last modified: 2011-06-28


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.

Full Text: PDF