{"type":"ScholarlyArticle","title":"Comparing Variants of Strategic Ability","authors":[{"name":"Wojciech Jamroga","slug":"wojciech-jamroga","given":"Wojciech","family":"Jamroga","affiliation":""},{"name":"Nils Bulling","slug":"nils-bulling","given":"Nils","family":"Bulling","affiliation":""}],"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.","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","markdown":"https://ijcai.org/proceedings/2011/53.md","bibtex":"https://ijcai.org/proceedings/2011/bibtex/53","volume":{"slug":"2011","title":"Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2011","url":"https://ijcai.org/proceedings/2011/","year":2011,"location":"Barcelona, Catalonia, Spain","dates":"16–22 July 2011","editors":"Toby Walsh","isbn":"978-1-57735-512-0; 978-1-57735-513-7; 978-1-57735-514-4; 978-1-57735-515-1; 978-1-57735-516-8","publisher":"AAAI Press/International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":53,"pages":{"first":252,"last":256},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}