{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:58:27Z","timestamp":1762459107672},"reference-count":66,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Auton Agent Multi-Agent Syst"],"published-print":{"date-parts":[[2014,5]]},"DOI":"10.1007\/s10458-013-9231-3","type":"journal-article","created":{"date-parts":[[2013,7,16]],"date-time":"2013-07-16T12:22:36Z","timestamp":1373977356000},"page":"474-518","source":"Crossref","is-referenced-by-count":31,"title":["Comparing variants of strategic ability: how uncertainty and memory influence general properties of games"],"prefix":"10.1007","volume":"28","author":[{"given":"Nils","family":"Bulling","sequence":"first","affiliation":[]},{"given":"Wojciech","family":"Jamroga","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,7,17]]},"reference":[{"key":"9231_CR1","unstructured":"\u00c5gotnes, T. (2004). A note on syntactic characterization of incomplete information in ATEL. In Proceedings of the workshop on knowledge and games, Liverpool (pp. 34\u201342)."},{"issue":"2","key":"9231_CR2","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/s11229-005-3875-8","volume":"149","author":"T \u00c5gotnes","year":"2006","unstructured":"\u00c5gotnes, T. (2006). Action and knowledge in alternating-time temporal logic. Synthese, 149(2), 377\u2013409.","journal-title":"Synthese"},{"key":"9231_CR3","doi-asserted-by":"crossref","unstructured":"\u00c5gotnes, T., Goranko, V., & Jamroga, W. (2007). Alternating-time temporal logics with irrevocable strategies. In D. Samet (Ed.), Proceedings of TARK XI (pp. 15\u201324).","DOI":"10.1145\/1324249.1324256"},{"issue":"1","key":"9231_CR4","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/s10849-008-9075-4","volume":"18","author":"T \u00c5gotnes","year":"2009","unstructured":"\u00c5gotnes, T., & Walther, D. (2009). A logic of strategic ability under bounded memory. Journal of Logic, Language and Information, 18(1), 55\u201377.","journal-title":"Journal of Logic, Language and Information"},{"key":"9231_CR5","unstructured":"Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2009). A logic for coalitions with bounded resources. In Proceedings of IJCAI (pp. 659\u2013664)."},{"key":"9231_CR6","unstructured":"Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2010). Resource-bounded alternating-time temporal logic. In Proceedings of AAMAS (pp. 481\u2013488)."},{"key":"9231_CR7","unstructured":"Alur, R., Henzinger, T. A., & Kupferman, O. (1997). Alternating-time temporal logic. In Proceedings of the 38th annual symposium on foundations of computer science (FOCS) (pp. 100\u2013109). Los Alamitos: IEEE Computer Society Press."},{"key":"9231_CR8","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/3-540-49213-5_2","volume":"1536","author":"R Alur","year":"1998","unstructured":"Alur, R., Henzinger, T. A., & Kupferman, O. (1998). Alternating-time temporal logic. Lecture Notes in Computer Science, 1536, 23\u201360.","journal-title":"Lecture Notes in Computer Science"},{"key":"9231_CR9","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R Alur","year":"2002","unstructured":"Alur, R., Henzinger, T. A., & Kupferman, O. (2002). Alternating-time temporal logic. Journal of the ACM, 49, 672\u2013713.","journal-title":"Journal of the ACM"},{"key":"9231_CR10","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T. A., Kupferman, O., & Vardi, M. Y. (1998). Alternating refinement relations. In Proceedings of CONCUR, volume 1466 of LNCS (pp. 163\u2013178).","DOI":"10.1007\/BFb0055622"},{"key":"9231_CR11","unstructured":"Brihaye, T., Da Costa Lopes, A., Laroussinie, F., & Markey, N. (2009). ATL with strategy contexts and bounded memory. In Proceedings of LFCS, volume 5407 of Lecture notes in computer science (pp. 92\u2013106). New York: Springer."},{"issue":"46","key":"9231_CR12","first-page":"45","volume":"14","author":"N Bulling","year":"2010","unstructured":"Bulling, N., & Dix, J. (2010). Modelling and verifying coalitions using argumentation and ATL. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, 14(46), 45\u201373.","journal-title":"Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial"},{"key":"9231_CR13","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/978-1-4419-6984-2_5","volume-title":"Specification and verification of multi-agent systems","author":"N Bulling","year":"2010","unstructured":"Bulling, N., Dix, J., & Jamroga, W. (2010). Model checking logics of strategic ability: Complexity. In M. Dastani, K. Hindriks, & J.-J. Meyer (Eds.), Specification and verification of multi-agent systems (pp. 125\u2013159). New York: Springer."},{"key":"9231_CR14","unstructured":"Bulling, N., & Farwer, B. (2009). Expressing properties of resource-bounded systems: The logics RTL* and RTL. In Proceedings of CLIMA (pp. 22\u201345)."},{"key":"9231_CR15","unstructured":"Bulling, N., & Farwer, B. (2010). On the (un-)decidability of model checking resource-bounded agents. In Proceedings of ECAI, volume 215 of Frontiers in artificial intelligence and applications (pp. 567\u2013572). Amsterdam: IOS Press."},{"issue":"1\u20133","key":"9231_CR16","doi-asserted-by":"crossref","first-page":"81","DOI":"10.3233\/FI-2009-0089","volume":"93","author":"N Bulling","year":"2009","unstructured":"Bulling, N., & Jamroga, W. (2009). What agents can probably enforce. Fundamenta Informaticae, 93(1\u20133), 81\u201396.","journal-title":"Fundamenta Informaticae"},{"key":"9231_CR17","doi-asserted-by":"crossref","first-page":"380","DOI":"10.3233\/AIC-2010-0481","volume":"23","author":"N Bulling","year":"2010","unstructured":"Bulling, N., & Jamroga, W. (2010). Verifying agents with memory is harder than it seemed. AI Communications, 23, 380\u2013403.","journal-title":"AI Communications"},{"key":"9231_CR18","unstructured":"Bulling, N., & Jamroga, W. (2011). Alternating epistemic mu-calculus. In Proceedings of IJCAI-11 (pp. 109\u2013114)."},{"issue":"1\u20134","key":"9231_CR19","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/s10472-009-9110-4","volume":"53","author":"N Bulling","year":"2008","unstructured":"Bulling, N., Jamroga, W., & Dix, J. (2008). Reasoning about temporal properties of rational play. Annals of Mathematics and Artificial Intelligence, 53(1\u20134), 51\u2013114.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9231_CR20","doi-asserted-by":"crossref","unstructured":"Chatterjee, K., Henzinger, T. A., & Piterman, N. (2007). Strategy logic. In Proceedings of CONCUR (pp. 59\u201373).","DOI":"10.1007\/978-3-540-74407-8_5"},{"key":"9231_CR21","unstructured":"Clarke, E. M., & Emerson, E. A. (1981). Design and synthesis of synchronization skeletons using branching time temporal logic. In Proceedings of logics of programs workshop, volume 131 of Lecture notes in computer science (pp. 52\u201371)."},{"issue":"5","key":"9231_CR22","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1093\/logcom\/4.5.721","volume":"4","author":"E Davis","year":"1994","unstructured":"Davis, E. (1994). Knowledge preconditions for plans. Journal of Logic and Computation, 4(5), 721\u2013766.","journal-title":"Journal of Logic and Computation"},{"key":"9231_CR23","doi-asserted-by":"crossref","unstructured":"Dima, C., Enea, C., & Guelev, D. P. (2010). Model-checking an alternating-time temporal logic with knowledge, imperfect information, perfect recall and communicating coalitions. In Proceedings of GANDALF (pp. 103\u2013117).","DOI":"10.4204\/EPTCS.25.12"},{"key":"9231_CR24","unstructured":"Dima, C., & Tiplea, F. L. (2011). Model-checking atl under imperfect information and perfect recall semantics is undecidable. CoRR, abs\/1102.4225."},{"key":"9231_CR25","unstructured":"Ghaderi, H., Levesque, H., & Lesp\u00e9rance, Y. (2007). A logical theory of coordination and joint ability. In Proceedings of AAAI\u201907 (pp. 421\u2013426). Menlo Park, CA: AAAI Press."},{"key":"9231_CR26","unstructured":"Goranko, V. (2001). Coalition games and alternating temporal logics. In J. van Benthem (Ed.), Proceedings of TARK VIII (pp. 259\u2013272). San Francisco: Morgan Kaufmann."},{"issue":"2","key":"9231_CR27","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/B:SYNT.0000024915.66183.d1","volume":"139","author":"V Goranko","year":"2004","unstructured":"Goranko, V., & Jamroga, W. (2004). Comparing semantics of logics for multi-agent systems. Synthese, 139(2), 241\u2013280.","journal-title":"Synthese"},{"key":"9231_CR28","unstructured":"Goranko, V., Jamroga, W., & Turrini, P. (2011). Strategic games and truly playable effectivity functions. In Proceedings of AAMAS2011 (pp. 727\u2013734)."},{"key":"9231_CR29","doi-asserted-by":"crossref","unstructured":"Goranko, V., Jamroga, W., & Turrini, P. (2013). Strategic games and truly playable effectivity functions. Journal of Autonomous Agents and Multi-Agent systems, 26(2), 288\u2013314.","DOI":"10.1007\/s10458-012-9192-y"},{"issue":"1","key":"9231_CR30","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1614431.1614434","volume":"11","author":"V Goranko","year":"2009","unstructured":"Goranko, V., & Shkatov, D. (2009). Tableau-based decision procedures for logics of strategic ability in multiagent systems. ACM Transactions on Computational Logic, 11(1), 1\u201348.","journal-title":"ACM Transactions on Computational Logic"},{"issue":"1","key":"9231_CR31","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/j.tcs.2005.07.043","volume":"353","author":"V Goranko","year":"2006","unstructured":"Goranko, V., & van Drimmelen, G. (2006). Complete axiomatization and decidability of alternating-time temporal logic. Theoretical Computer Science, 353(1), 93\u2013117.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"9231_CR32","doi-asserted-by":"crossref","first-page":"93","DOI":"10.3166\/jancl.21.93-131","volume":"21","author":"DP Guelev","year":"2011","unstructured":"Guelev, D. P., Dima, C., & Enea, C. (2011). An alternating-time temporal logic with knowledge, perfect recall and past: Axiomatisation and model-checking. Journal of Applied Non-Classical Logics, 21(1), 93\u2013131.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9231_CR33","unstructured":"Harding, A., Ryan, M., & Schobbens, P.-Y. (2002). Approximating ATL* in ATL. In VMCAI \u201902: Revised papers from the third international workshop on verification, model checking, and abstract interpretation (pp. 289\u2013301). New York: Springer."},{"key":"9231_CR34","unstructured":"Hawke, P. (2010). Coordination, almost perfect information and strategic ability. In Proceedings of LAMAS."},{"key":"9231_CR35","unstructured":"Jamroga, W. (2003). Some remarks on alternating temporal epistemic logic. In B. Dunin-Keplicz & R. Verbrugge (Eds.), Proceedings of formal approaches to multi-agent systems (FAMAS 2003) (pp. 133\u2013140)."},{"key":"9231_CR36","unstructured":"Jamroga, W. (2006). On the relationship between playing rationally and knowing how to play: A logical account. In C. Freksa, M. Kohlhase, & K. Schill (Eds.), Proceedings of KI 2006, volume 4314 of Lecture notes in artificial intelligence (pp. 419\u2013433). New York: Springer."},{"key":"9231_CR37","doi-asserted-by":"crossref","unstructured":"Jamroga, W. (2008). A temporal logic for stochastic multi-agent systems. In Proceedings of PRIMA\u201908, volume 5357 of LNCS (pp. 239\u2013250).","DOI":"10.1007\/978-3-540-89674-6_27"},{"key":"9231_CR38","unstructured":"Jamroga, W., & \u00c5gotnes, T. (2006). Modular interpreted systems: A preliminary report. Technical report IfI-06-15, Clausthal University of Technology."},{"issue":"4","key":"9231_CR39","doi-asserted-by":"crossref","first-page":"423","DOI":"10.3166\/jancl.17.423-475","volume":"17","author":"W Jamroga","year":"2007","unstructured":"Jamroga, W., & \u00c5gotnes, T. (2007). Constructive knowledge: What agents can achieve under incomplete information. Journal of Applied Non-Classical Logics, 17(4), 423\u2013475.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9231_CR40","unstructured":"Jamroga, W., & Bulling, N. (2010). Comparing variants of strategic ability. In Proceedings of EUMAS2010."},{"key":"9231_CR41","unstructured":"Jamroga, W., & Bulling, N. (2011). Comparing variants of strategic ability. In Proceedings of IJCAI-11 (pp. 252\u2013257)."},{"issue":"3","key":"9231_CR42","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/s00224-007-9080-z","volume":"42","author":"W Jamroga","year":"2008","unstructured":"Jamroga, W., & Dix, J. (2008). Model checking abilities of agents: A closer look. Theory of Computing Systems, 42(3), 366\u2013410.","journal-title":"Theory of Computing Systems"},{"issue":"2\u20133","key":"9231_CR43","first-page":"185","volume":"63","author":"W Jamroga","year":"2004","unstructured":"Jamroga, W., & van der Hoek, W. (2004). Agents that know how to play. Fundamenta Informaticae, 63(2\u20133), 185\u2013219.","journal-title":"Fundamenta Informaticae"},{"key":"9231_CR44","unstructured":"Jamroga, W., van der Hoek, W., & Wooldridge, M. (2005). Intentions and strategies in game-like scenarios. In C. Bento, A. Cardoso, & G. Dias (Eds.), Progress in artificial intelligence: Proceedings of EPIA 2005, volume 3808 of Lecture notes in artificial intelligence (pp. 512\u2013523). New York: Springer."},{"key":"9231_CR45","unstructured":"Jonker, G. (2003). Feasible strategies in alternating-time temporal epistemic logic. Master thesis, University of Utrecht."},{"key":"9231_CR46","unstructured":"Kacprzak, M., & Penczek, W. (2004). Unbounded model checking for alternating-time temporal logic. In Proceedings of AAMAS-04."},{"key":"9231_CR47","unstructured":"K\u00f6ster, M., & Lohmann, P. (2011). Abstraction for model checking modular interpreted systems over ATL. In Proceedings of AAMAS (pp. 1129\u20131130)."},{"key":"9231_CR48","doi-asserted-by":"crossref","first-page":"7","DOI":"10.2168\/LMCS-4(2:7)2008","volume":"4","author":"F Laroussinie","year":"2008","unstructured":"Laroussinie, F., Markey, N., & Oreiby, G. (2008). On the expressiveness and complexity of ATL. Logical Methods in Computer Science, 4, 7.","journal-title":"Logical Methods in Computer Science"},{"issue":"1","key":"9231_CR49","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/A:1026761331498","volume":"66","author":"Y Lesperance","year":"2000","unstructured":"Lesperance, Y., Levesque, H. J., Lin, F., & Scherl, R. B. (2000). Ability and knowing how in the situation calculus. Studia Logica, 66(1), 165\u2013186.","journal-title":"Studia Logica"},{"key":"9231_CR50","doi-asserted-by":"crossref","unstructured":"Mogavero, F., Murano, A., Perelli, G., & Vardi, M. Y. (2012). What makes ATL* decidable? A decidable fragment of strategy logic. In Proceedings of CONCUR (pp. 193\u2013208).","DOI":"10.1007\/978-3-642-32940-1_15"},{"key":"9231_CR51","unstructured":"Mogavero, F., Murano, A., & Vardi, M. Y. (2010). Reasoning about strategies. In Proceedings of FSTTCS (pp. 133\u2013144)."},{"key":"9231_CR52","unstructured":"Pauly, M. (2001). Logic for social software. PhD thesis, University of Amsterdam."},{"issue":"1","key":"9231_CR53","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","volume":"12","author":"M Pauly","year":"2002","unstructured":"Pauly, M. (2002). A modal logic for coalitional power in games. Journal of Logic and Computation, 12(1), 149\u2013166.","journal-title":"Journal of Logic and Computation"},{"key":"9231_CR54","unstructured":"Schewe, S. (2008). ATL* satisfiability is 2ExpTime-complete. In Proceedings of ICALP 2008, volume 5126 of Lecture notes in computer science (pp. 373\u2013385). New York: Springer."},{"key":"9231_CR55","unstructured":"Schnoor, H. (2010). Deciding epistemic and strategic properties of cryptographic protocols. Technical report tr_1012, Kiel University."},{"key":"9231_CR56","unstructured":"Schnoor, H. (2010). Strategic planning for probabilistic games with incomplete information. In Proceedings of AAMAS\u201910 (pp. 1057\u20131064)."},{"issue":"2","key":"9231_CR57","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1016\/S1571-0661(05)82604-0","volume":"85","author":"PY Schobbens","year":"2004","unstructured":"Schobbens, P. Y. (2004). Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science, 85(2), 82\u201393.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9231_CR58","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., Jamroga, W., & Wooldridge, M. (2005). A logic for strategic reasoning. In Proceedings of AAMAS\u201905 (pp. 157\u2013164).","DOI":"10.1145\/1082473.1082497"},{"key":"9231_CR59","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., Lomuscio, A., & Wooldridge, M. (2006). On the complexity of practical ATL model checking. In P. Stone & G. Weiss (Eds.), Proceedings of AAMAS\u201906 (pp. 201\u2013208).","DOI":"10.1145\/1160633.1160665"},{"key":"9231_CR60","unstructured":"van der Hoek, W., & Wooldridge, M. (2002). Tractable multiagent planning for epistemic goals. In C. Castelfranchi & W. L. Johnson (Eds.), Proceedings of the first international joint conference on autonomous agents and multi-agent systems (AAMAS-02) (pp. 1167\u20131174). New York: ACM Press."},{"issue":"1","key":"9231_CR61","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/A:1026185103185","volume":"75","author":"W Hoek van der","year":"2003","unstructured":"van der Hoek, W., & Wooldridge, M. (2003). Cooperation, knowledge and time: Alternating-time temporal epistemic logic and its applications. Studia Logica, 75(1), 125\u2013157.","journal-title":"Studia Logica"},{"key":"9231_CR62","unstructured":"van Otterloo, S., & Jonker, G. (2004). On epistemic temporal strategic logic. Electronic Notes in Theoretical Computer Science, XX, 35\u201345. Proceedings of LCMAS\u201904."},{"key":"9231_CR63","unstructured":"van Otterloo, S., van der Hoek, W., & Wooldridge, M. (2004). Preferences in game logics. In Proceedings of AAMAS-04 (pp. 152\u2013159)."},{"issue":"6","key":"9231_CR64","doi-asserted-by":"crossref","first-page":"765","DOI":"10.1093\/logcom\/exl009","volume":"16","author":"D Walther","year":"2006","unstructured":"Walther, D., Lutz, C., Wolter, F., & Wooldridge, M. (2006). ATL satisfiability is indeed EXPTIME-complete. Journal of Logic and Computation, 16(6), 765\u2013787.","journal-title":"Journal of Logic and Computation"},{"key":"9231_CR65","unstructured":"Walther, D., van der Hoek, W., & Wooldridge, M. (2007). Alternating-time temporal logic with explicit strategies. In D. Samet (Ed.), Proceedings TARK XI (pp. 269\u2013278). Leuven: Presses Universitaires de Louvain."},{"key":"9231_CR66","doi-asserted-by":"crossref","unstructured":"Yadav, N., & Sardi\u00f1a, S. (2012). Reasoning about agent programs using ATL-like logics. In Proceedings of JELIA (pp. 437\u2013449).","DOI":"10.1007\/978-3-642-33353-8_34"}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-013-9231-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10458-013-9231-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-013-9231-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,30]],"date-time":"2020-07-30T21:48:54Z","timestamp":1596145734000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10458-013-9231-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,17]]},"references-count":66,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,5]]}},"alternative-id":["9231"],"URL":"https:\/\/doi.org\/10.1007\/s10458-013-9231-3","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"value":"1387-2532","type":"print"},{"value":"1573-7454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7,17]]}}}