---
title: "Comparing Variants of Strategic Ability"
authors:
  - "Wojciech Jamroga"
  - "Nils Bulling"
doi: "10.5591/978-1-57735-516-8/IJCAI11-053"
url: "https://ijcai.org/proceedings/2011/53"
pdf: "https://ijcai.org/proceedings/2011/0053.pdf"
venue: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence"
year: 2011
pages: "252-256"
track: ""
keywords:
---

# Comparing Variants of Strategic Ability

Wojciech Jamroga, Nils Bulling

*Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence*, pages 252-256. DOI: [10.5591/978-1-57735-516-8/IJCAI11-053](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.