{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:29:02Z","timestamp":1750220942979,"version":"3.41.0"},"reference-count":74,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2019,3,18]],"date-time":"2019-03-18T00:00:00Z","timestamp":1552867200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"7th Framework Programme of the European Union under the Marie Curie IEF project ReVINK","award":["PIEF-GA-2012-626398"],"award-info":[{"award-number":["PIEF-GA-2012-626398"]}]},{"name":"National Research Fund (FNR) Luxembourg under the project GALOT","award":["INTER\/DFG\/12\/06"],"award-info":[{"award-number":["INTER\/DFG\/12\/06"]}]},{"name":"National Centre for Research and Development (NCBR), Poland, under the PolLux project VoteVerif","award":["POLLUX-IV\/1\/2016"],"award-info":[{"award-number":["POLLUX-IV\/1\/2016"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2019,4,30]]},"abstract":"<jats:p>In alternating-time temporal logic ATL<jats:sup>*<\/jats:sup>, agents with perfect recall assign choices to sequences of states, i.e., to possible finite histories of the game. However, when a nested strategic modality is interpreted, the new strategy does not take into account the previous sequence of events. It is as if agents collect their observations in the nested game again from scratch, thus, effectively forgetting what they observed before. Intuitively, it does not fit the assumption of agents having perfect recall of the past. In this article, we investigate the alternative semantics for ATL<jats:sup>*<\/jats:sup>where the past is not forgotten in nested games. We show that the standard semantics of ATL<jats:sup>*<\/jats:sup>coincides with the \u201ctruly perfect recall\u201d semantics for agents with perfect information and in case of so-called \u201cobjective\u201d abilities under uncertainty. On the other hand, the two semantics differ significantly for the most popular (\u201csubjective\u201d) notion of ability under imperfect information. The same applies to the standard vs.\u00a0\u201ctruly perfect recall\u201d semantics of ATL<jats:sup>*<\/jats:sup>with persistent strategies. We compare the relevant variants of ATL<jats:sup>*<\/jats:sup>by looking at their expressive power, sets of validities, and tractability of model checking.<\/jats:p>","DOI":"10.1145\/3309761","type":"journal-article","created":{"date-parts":[[2019,3,18]],"date-time":"2019-03-18T12:09:30Z","timestamp":1552910970000},"page":"1-46","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Reasoning about Strategic Abilities"],"prefix":"10.1145","volume":"20","author":[{"given":"Nils","family":"Bulling","sequence":"first","affiliation":[{"name":"TU Clausthal, Department of Informatics, Clausthal-Zellerfeld, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wojciech","family":"Jamroga","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matei","family":"Popovici","sequence":"additional","affiliation":[{"name":"POLITEHNICA University of Bucharest, Bucharest, Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,3,18]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-005-3875-8"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1324249.1324256"},{"key":"e_1_2_1_3_1","unstructured":"T. \u00c5gotnes V. Goranko W. Jamroga and M. Wooldridge. 2015. Knowledge and ability. In Handbook of Epistemic Logic H. P. van Ditmarsch J. Y. Halpern W. van der Hoek and B. P. Kooi (Eds.). College Publications 543--589. T. \u00c5gotnes V. Goranko W. Jamroga and M. Wooldridge. 2015. Knowledge and ability. In Handbook of Epistemic Logic H. P. van Ditmarsch J. Y. Halpern W. van der Hoek and B. P. Kooi (Eds.). College Publications 543--589."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-008-9075-4"},{"volume-title":"Proceedings of the Logics for Agents and Mobility (LAM\u201909)","author":"Alechina N.","key":"e_1_2_1_5_1","unstructured":"N. Alechina , B. Logan , N. H. Nga , and A. Rakib . 2009. Verifying properties of coalitional ability under resource bounds . In Proceedings of the Logics for Agents and Mobility (LAM\u201909) . Muller, Berndt. Durham University. N. Alechina, B. Logan, N. H. Nga, and A. Rakib. 2009. Verifying properties of coalitional ability under resource bounds. In Proceedings of the Logics for Agents and Mobility (LAM\u201909). Muller, Berndt. Durham University."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2017.03.008"},{"volume-title":"Proceedings of International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201910)","author":"Alechina N.","key":"e_1_2_1_7_1","unstructured":"N. Alechina , B. Logan , H. N. Nguyen , and A. Rakib . 2010. Resource-bounded alternating-time temporal logic . In Proceedings of International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201910) . International Foundation for Autonomous Agents and Multiagent Systems, 481--488. N. Alechina, B. Logan, H. N. Nguyen, and A. Rakib. 2010. Resource-bounded alternating-time temporal logic. In Proceedings of International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201910). International Foundation for Autonomous Agents and Multiagent Systems, 481--488."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exq032"},{"volume-title":"Proceedings of International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201904)","author":"Alechina N.","key":"e_1_2_1_9_1","unstructured":"N. Alechina , B. Logan , and M. Whitsey . 2004. A complete and decidable logic for resource-bounded agents . In Proceedings of International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201904) . IEEE Computer Society, 606--613. N. Alechina, B. Logan, and M. Whitsey. 2004. A complete and decidable logic for resource-bounded agents. In Proceedings of International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201904). IEEE Computer Society, 606--613."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/381473.381748"},{"key":"e_1_2_1_11_1","volume-title":"MOCHA: Modularity in Model Checking. Technical Report","author":"Alur R.","year":"2000","unstructured":"R. Alur , L. de Alfaro , T. A. Henzinger , S. C. Krishnan , F. Y. C. Mang , S. Qadeer , S. K. Rajamani , and S. Tasiran . 2000 . MOCHA: Modularity in Model Checking. Technical Report . University of Berkeley . R. Alur, L. de Alfaro, T. A. Henzinger, S. C. Krishnan, F. Y. C. Mang, S. Qadeer, S. K. Rajamani, and S. Tasiran. 2000. MOCHA: Modularity in Model Checking. Technical Report. University of Berkeley."},{"volume-title":"Proceedings of the 38th Annual Symposium on Foundations of Computer Science (FOCS\u201997)","author":"Alur R.","key":"e_1_2_1_12_1","unstructured":"R. Alur , T. A. Henzinger , and O. Kupferman . 1997. Alternating-time temporal logic . In Proceedings of the 38th Annual Symposium on Foundations of Computer Science (FOCS\u201997) . IEEE Computer Society Press, 100--109. R. Alur, T. A. Henzinger, and O. Kupferman. 1997. Alternating-time temporal logic. In Proceedings of the 38th Annual Symposium on Foundations of Computer Science (FOCS\u201997). IEEE Computer Society Press, 100--109."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/585265.585270"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.146.4"},{"volume-title":"Proceedings of AAMAS. International Foundation for Autonomous Agents and Multiagent Systems, 1268--1276","author":"Belardinelli F.","key":"e_1_2_1_15_1","unstructured":"F. Belardinelli , A. Lomuscio , A. Murano , and S. Rubin . 2017. Verification of multi-agent systems with imperfect information and public actions . In Proceedings of AAMAS. International Foundation for Autonomous Agents and Multiagent Systems, 1268--1276 . F. Belardinelli, A. Lomuscio, A. Murano, and S. Rubin. 2017. Verification of multi-agent systems with imperfect information and public actions. In Proceedings of AAMAS. International Foundation for Autonomous Agents and Multiagent Systems, 1268--1276."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1988.tb00717.x"},{"volume-title":"Proceedings of LICS. IEEE, 1--12","author":"Berthon R.","key":"e_1_2_1_17_1","unstructured":"R. Berthon , B. Maubert , A. Murano , S. Rubin , and M. Y. Vardi . 2017. Strategy logic with imperfect information . In Proceedings of LICS. IEEE, 1--12 . R. Berthon, B. Maubert, A. Murano, S. Rubin, and M. Y. Vardi. 2017. Strategy logic with imperfect information. In Proceedings of LICS. IEEE, 1--12."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-009-9115-8"},{"volume-title":"Proceedings of FSTTCS. LIPiCS, Leibniz-Zentrum f\u00fcr Informatik, 387--398","author":"Berwanger D.","key":"e_1_2_1_19_1","unstructured":"D. Berwanger , L. Kaiser , and B. Puchala . 2011. A perfect-information construction for coordination in games . In Proceedings of FSTTCS. LIPiCS, Leibniz-Zentrum f\u00fcr Informatik, 387--398 . D. Berwanger, L. Kaiser, and B. Puchala. 2011. A perfect-information construction for coordination in games. In Proceedings of FSTTCS. LIPiCS, Leibniz-Zentrum f\u00fcr Informatik, 387--398."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2016.10.009"},{"key":"e_1_2_1_21_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of ATVA","author":"Berwanger D.","unstructured":"D. Berwanger , A. B. Mathew , and M. van den Bogaard . 2015. Hierarchical information patterns and distributed strategy synthesis . In Proceedings of ATVA , Lecture Notes in Computer Science , Vol. 9364 . Springer , Berlin , 378--393. D. Berwanger, A. B. Mathew, and M. van den Bogaard. 2015. Hierarchical information patterns and distributed strategy synthesis. In Proceedings of ATVA, Lecture Notes in Computer Science, Vol. 9364. Springer, Berlin, 378--393."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92687-0_7"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.4114\/ia.v14i46.1530"},{"key":"e_1_2_1_24_1","doi-asserted-by":"crossref","unstructured":"N. Bulling and B. Farwer . 2010 . Expressing properties of resource-bounded systems: The logics RTL<sup>*<\/sup> and RTL. In Proceedings of Computational Logic in Multi-Agent Systems (CLIMA\u201910) Lecture Notes in Computer Science Vol. 6214 . Springer Berlin 22--45. N. Bulling and B. Farwer. 2010. Expressing properties of resource-bounded systems: The logics RTL<sup>*<\/sup> and RTL. In Proceedings of Computational Logic in Multi-Agent Systems (CLIMA\u201910) Lecture Notes in Computer Science Vol. 6214. Springer Berlin 22--45.","DOI":"10.1007\/978-3-642-16867-3_2"},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of ECAI (Frontiers in Artificial Intelligence and Applications)","volume":"215","author":"Bulling N.","unstructured":"N. Bulling and B. Farwer . 2010. On the (un-)decidability of model checking resource-bounded agents . In Proceedings of ECAI (Frontiers in Artificial Intelligence and Applications) , Vol. 215 . IOS Press, 567--572. N. Bulling and B. Farwer. 2010. On the (un-)decidability of model checking resource-bounded agents. In Proceedings of ECAI (Frontiers in Artificial Intelligence and Applications), Vol. 215. IOS Press, 567--572."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-013-9231-3"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-009-9110-4"},{"volume-title":"Proceedings of AAMAS\u201913","author":"Bulling N.","key":"e_1_2_1_28_1","unstructured":"N. Bulling , W. Jamroga , and M. Popovici . 2013. Agents with truly perfect recall in alternating-time temporal logic (extended abstract) . In Proceedings of AAMAS\u201913 . International Foundation for Autonomous Agents and Multiagent Systems, 1561--1562. N. Bulling, W. Jamroga, and M. Popovici. 2013. Agents with truly perfect recall in alternating-time temporal logic (extended abstract). In Proceedings of AAMAS\u201913. International Foundation for Autonomous Agents and Multiagent Systems, 1561--1562."},{"volume-title":"Proceedings of ECAI\u201914","author":"Bulling N.","key":"e_1_2_1_29_1","unstructured":"N. Bulling , W. Jamroga , and M. Popovici . 2014. Agents with truly perfect recall: Expressivity and validities . In Proceedings of ECAI\u201914 . IOS Press, 177--182. N. Bulling, W. Jamroga, and M. Popovici. 2014. Agents with truly perfect recall: Expressivity and validities. In Proceedings of ECAI\u201914. IOS Press, 177--182."},{"key":"e_1_2_1_31_1","volume-title":"Formal Methods and Software Engineering. Lecture Notes in Computer Science","volume":"8829","author":"Busard S.","unstructured":"S. Busard , C. Pecheur , H. Qu , and F. Raimondi . 2014. Improving the model checking of strategies under partial observability and fairness constraints . In Formal Methods and Software Engineering. Lecture Notes in Computer Science , Vol. 8829 . Springer, Berlin, 27--42. S. Busard, C. Pecheur, H. Qu, and F. Raimondi. 2014. Improving the model checking of strategies under partial observability and fairness constraints. In Formal Methods and Software Engineering. Lecture Notes in Computer Science, Vol. 8829. Springer, Berlin, 27--42."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2015.03.014"},{"key":"e_1_2_1_33_1","volume-title":"Algorithms for omega-regular games of incomplete information. Logical Methods in Computer Science 3, 3","author":"Chatterjee K.","year":"2007","unstructured":"K. Chatterjee , L. Doyen , T. A. Henzinger , and J.-F. Raskin . 2007. Algorithms for omega-regular games of incomplete information. Logical Methods in Computer Science 3, 3 ( 2007 ). K. Chatterjee, L. Doyen, T. A. Henzinger, and J.-F. Raskin. 2007. Algorithms for omega-regular games of incomplete information. Logical Methods in Computer Science 3, 3 (2007)."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2009.07.004"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_13"},{"volume-title":"Handbook of Automated Reasoning","author":"Clarke E. M.","key":"e_1_2_1_37_1","unstructured":"E. M. Clarke and B.-H. Schlingloff . 2001. Model checking . In Handbook of Automated Reasoning , A. Robinson and A. Voronkov (Eds.). Elsevier , 1635--1790. E. M. Clarke and B.-H. Schlingloff. 2001. Model checking. In Handbook of Automated Reasoning, A. Robinson and A. Voronkov (Eds.). Elsevier, 1635--1790."},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1080\/08839514.2012.652905"},{"volume-title":"Proceedings of Games, Automata, Logics and Formal Verification (GandALF\u201910)","author":"Dima C.","key":"e_1_2_1_39_1","unstructured":"C. Dima , C. Enea , and D. P. Guelev . 2010. Model-checking an alternating-time temporal logic with knowledge, imperfect information, perfect recall and communicating coalitions . In Proceedings of Games, Automata, Logics and Formal Verification (GandALF\u201910) . 103--117. C. Dima, C. Enea, and D. P. Guelev. 2010. Model-checking an alternating-time temporal logic with knowledge, imperfect information, perfect recall and communicating coalitions. In Proceedings of Games, Automata, Logics and Formal Verification (GandALF\u201910). 103--117."},{"key":"e_1_2_1_40_1","unstructured":"C. Dima and F. L. Tiplea. 2011. Model-checking ATL under imperfect information and perfect recall semantics is undecidable. CoRR abs\/1102.4225 (2011). C. Dima and F. L. Tiplea. 2011. Model-checking ATL under imperfect information and perfect recall semantics is undecidable. CoRR abs\/1102.4225 (2011)."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/4904.4999"},{"key":"e_1_2_1_42_1","doi-asserted-by":"crossref","unstructured":"R. Fagin J. Y. Halpern Y. Moses and M. Y. Vardi. 1995. Reasoning about Knowledge. MIT Press Cambridge MA. R. Fagin J. Y. Halpern Y. Moses and M. Y. Vardi. 1995. Reasoning about Knowledge. MIT Press Cambridge MA.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"volume-title":"Proceedings of DALT. 75--90","author":"Guelev D. P.","key":"e_1_2_1_43_1","unstructured":"D. P. Guelev and C. Dima . 2008. Model-checking strategic ability and knowledge of the past of communicating coalitions . In Proceedings of DALT. 75--90 . D. P. Guelev and C. Dima. 2008. Model-checking strategic ability and knowledge of the past of communicating coalitions. In Proceedings of DALT. 75--90."},{"key":"e_1_2_1_44_1","doi-asserted-by":"crossref","unstructured":"D. P. Guelev and C. Dima . 2012 . Epistemic ATL with perfect recall past and strategy contexts. In Proceedings of Computational Logic in Multi-Agent Systems (CLIMA\u201912) Lecture Notes in Computer Science Vol. 7486 . Springer Berlin 77--93. D. P. Guelev and C. Dima. 2012. Epistemic ATL with perfect recall past and strategy contexts. In Proceedings of Computational Logic in Multi-Agent Systems (CLIMA\u201912) Lecture Notes in Computer Science Vol. 7486. Springer Berlin 77--93.","DOI":"10.1007\/978-3-642-32897-8_7"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.21.93-131"},{"volume-title":"almost perfect information and strategic ability","author":"Hawke P.","key":"e_1_2_1_46_1","unstructured":"P. Hawke . 2010. Coordination , almost perfect information and strategic ability . In Proceedings of LAMAS. Kluwer Academic Publishers . P. Hawke. 2010. Coordination, almost perfect information and strategic ability. In Proceedings of LAMAS. Kluwer Academic Publishers."},{"volume-title":"Proceedings of AAAI Conference on Artificial Intelligence. AAAI Press, 1426--1432","author":"Huang X.","key":"e_1_2_1_47_1","unstructured":"X. Huang and R. van der Meyden. 2014. Symbolic model checking epistemic strategy logic . In Proceedings of AAAI Conference on Artificial Intelligence. AAAI Press, 1426--1432 . X. Huang and R. van der Meyden. 2014. Symbolic model checking epistemic strategy logic. In Proceedings of AAAI Conference on Artificial Intelligence. AAAI Press, 1426--1432."},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.17.423-475"},{"volume-title":"Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201917)","author":"Jamroga W.","key":"e_1_2_1_49_1","unstructured":"W. Jamroga , M. Knapik , and D. Kurpiewski . 2017. Fixpoint approximation of strategic abilities under imperfect information . In Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201917) . IFAAMAS, 1241--1249. W. Jamroga, M. Knapik, and D. Kurpiewski. 2017. Fixpoint approximation of strategic abilities under imperfect information. In Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201917). IFAAMAS, 1241--1249."},{"volume-title":"Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201918)","author":"Jamroga W.","key":"e_1_2_1_50_1","unstructured":"W. Jamroga , W. Penczek , P. Dembi\u0144ski , and A. Mazurkiewicz . 2018. Towards partial order reductions for strategic ability . In Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201918) . International Foundation for Autonomous Agents and Multiagent Systems. To appear. W. Jamroga, W. Penczek, P. Dembi\u0144ski, and A. Mazurkiewicz. 2018. Towards partial order reductions for strategic ability. In Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201918). International Foundation for Autonomous Agents and Multiagent Systems. To appear."},{"key":"e_1_2_1_51_1","first-page":"2","article-title":"Agents that know how to play","volume":"63","author":"Jamroga W.","year":"2004","unstructured":"W. Jamroga and W. van der Hoek . 2004 . Agents that know how to play . Fundamenta Informaticae 63 , 2 -- 3 (2004), 185--219. W. Jamroga and W. van der Hoek. 2004. Agents that know how to play. Fundamenta Informaticae 63, 2--3 (2004), 185--219.","journal-title":"Fundamenta Informaticae"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/11595014_51"},{"volume-title":"Proceedings of International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201904)","author":"Kacprzak M.","key":"e_1_2_1_53_1","unstructured":"M. Kacprzak and W. Penczek . 2004. Unbounded model checking for alternating-time temporal logic . In Proceedings of International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201904) . IEEE Computer Society, 646--653. M. Kacprzak and W. Penczek. 2004. Unbounded model checking for alternating-time temporal logic. In Proceedings of International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201904). IEEE Computer Society, 646--653."},{"key":"e_1_2_1_54_1","doi-asserted-by":"crossref","unstructured":"P. Ka\u017amierczak T. \u00c5gotnes and W. Jamroga . 2014 . Multi-agency is coordination and (limited) communication. In Proceedings of PRIMA Lecture Notes in Computer Science Vol. 8861 . Springer Berlin 91--106. P. Ka\u017amierczak T. \u00c5gotnes and W. Jamroga. 2014. Multi-agency is coordination and (limited) communication. In Proceedings of PRIMA Lecture Notes in Computer Science Vol. 8861. Springer Berlin 91--106.","DOI":"10.1007\/978-3-319-13191-7_8"},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-015-0378-x"},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_31"},{"key":"e_1_2_1_57_1","unstructured":"J. McCarthy and P. J. Hayes. 1969. Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence 4 B. Meltzer and D. Michie (Eds.). Edinburgh University Press 463--502. J. McCarthy and P. J. Hayes. 1969. Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence 4 B. Meltzer and D. Michie (Eds.). Edinburgh University Press 463--502."},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2631917"},{"volume-title":"Proceedings of FSTTCS. ACM, 133--144","author":"Mogavero F.","key":"e_1_2_1_59_1","unstructured":"F. Mogavero , A. Murano , and M. Y. Vardi . 2010. Reasoning about strategies . In Proceedings of FSTTCS. ACM, 133--144 . F. Mogavero, A. Murano, and M. Y. Vardi. 2010. Reasoning about strategies. In Proceedings of FSTTCS. ACM, 133--144."},{"volume-title":"Proceedings of LPAR. Springer, 371--386","author":"Mogavero F.","key":"e_1_2_1_60_1","unstructured":"F. Mogavero , A. Murano , and M. Y. Vardi . 2010. Relentful strategic reasoning in alternating-time temporal logic . In Proceedings of LPAR. Springer, 371--386 . F. Mogavero, A. Murano, and M. Y. Vardi. 2010. Relentful strategic reasoning in alternating-time temporal logic. In Proceedings of LPAR. Springer, 371--386."},{"volume-title":"Formal Theories of the Commonsense World","author":"Moore R. C.","key":"e_1_2_1_61_1","unstructured":"R. C. Moore . 1985. A formal theory of knowledge and action . In Formal Theories of the Commonsense World , J. Hobbs and R. C. Moore (Eds.). Ablex Publishing Corp . R. C. Moore. 1985. A formal theory of knowledge and action. In Formal Theories of the Commonsense World, J. Hobbs and R. C. Moore (Eds.). Ablex Publishing Corp."},{"key":"e_1_2_1_62_1","volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI\u201977)","author":"Moore R. C.","year":"1977","unstructured":"R. C. Moore . 1977 . Reasoning about knowledge and action . In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI\u201977) . William Kaufmann, 223--227. R. C. Moore. 1977. Reasoning about knowledge and action. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI\u201977). William Kaufmann, 223--227."},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1979.25"},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0898-1221(00)00333-3"},{"key":"e_1_2_1_65_1","doi-asserted-by":"crossref","unstructured":"J. Pilecki M. A. Bednarczyk and W. Jamroga . 2014 . Synthesis and verification of uniform strategies for multi-agent systems. In Proceedings of CLIMA XV Lecture Notes in Computer Science Vol. 8624 . Springer Berlin 166--182. J. Pilecki M. A. Bednarczyk and W. Jamroga. 2014. Synthesis and verification of uniform strategies for multi-agent systems. In Proceedings of CLIMA XV Lecture Notes in Computer Science Vol. 8624. Springer Berlin 166--182.","DOI":"10.1007\/978-3-319-09764-0_11"},{"key":"e_1_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/FSCS.1990.89597"},{"volume-title":"The Concept of Mind","author":"Ryle G.","key":"e_1_2_1_67_1","unstructured":"G. Ryle . 1949. The Concept of Mind . Chicago University Press . G. Ryle. 1949. The Concept of Mind. Chicago University Press."},{"key":"e_1_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)82604-0"},{"key":"e_1_2_1_69_1","first-page":"1","article-title":"Update and abstraction in model checking of knowledge and branching time","volume":"72","author":"Shilov N. V.","year":"2006","unstructured":"N. V. Shilov , N. O. Garanina , and K.-M. Choe . 2006 . Update and abstraction in model checking of knowledge and branching time . Fundamenta Informaticae 72 , 1 - 3 (2006), 347--361. N. V. Shilov, N. O. Garanina, and K.-M. Choe. 2006. Update and abstraction in model checking of knowledge and branching time. Fundamenta Informaticae 72, 1-3 (2006), 347--361.","journal-title":"Fundamenta Informaticae"},{"volume-title":"Proceedings of CS&P\u2019\u2019\u201904","author":"Shilov N. V.","key":"e_1_2_1_70_1","unstructured":"N. V. Shilov , N. O. Garanina , and N. A. Kalinina . 2004. Model checking knowledge, actions and fixpoints . In Proceedings of CS&P\u2019\u2019\u201904 . Humboldt Universitat, 351--357. N. V. Shilov, N. O. Garanina, and N. A. Kalinina. 2004. Model checking knowledge, actions and fixpoints. In Proceedings of CS&P\u2019\u2019\u201904. Humboldt Universitat, 351--357."},{"key":"e_1_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/1082473.1082497"},{"key":"e_1_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026185103185"},{"key":"e_1_2_1_73_1","doi-asserted-by":"crossref","unstructured":"R. van der Meyden and N. V. Shilov . 1999 . Model checking knowledge and time in systems with perfect recall (extended abstract). In Proceedings of Foundations of Software Technology and Theoretical Computer Science Lecture Notes in Computer Science Vol. 1738 . Springer Berlin 432--445. R. van der Meyden and N. V. Shilov. 1999. Model checking knowledge and time in systems with perfect recall (extended abstract). In Proceedings of Foundations of Software Technology and Theoretical Computer Science Lecture Notes in Computer Science Vol. 1738. Springer Berlin 432--445.","DOI":"10.1007\/3-540-46691-6_35"},{"key":"e_1_2_1_74_1","doi-asserted-by":"crossref","unstructured":"H. van Ditmarsch and S. Knight . 2014 . Partial information and uniform strategies. In Proceedings of Computational Logic in Multi-Agent Systems (CLIMA\u201914) Lecture Notes in Computer Science . Springer Berlin 183--198. H. van Ditmarsch and S. Knight. 2014. Partial information and uniform strategies. In Proceedings of Computational Logic in Multi-Agent Systems (CLIMA\u201914) Lecture Notes in Computer Science. Springer Berlin 183--198.","DOI":"10.1007\/978-3-319-09764-0_12"},{"key":"e_1_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.119.17"},{"key":"e_1_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/1324249.1324285"}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3309761","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3309761","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:36Z","timestamp":1750204416000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3309761"}},"subtitle":["Agents with Truly Perfect Recall"],"short-title":[],"issued":{"date-parts":[[2019,3,18]]},"references-count":74,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,4,30]]}},"alternative-id":["10.1145\/3309761"],"URL":"https:\/\/doi.org\/10.1145\/3309761","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"type":"print","value":"1529-3785"},{"type":"electronic","value":"1557-945X"}],"subject":[],"published":{"date-parts":[[2019,3,18]]},"assertion":[{"value":"2016-08-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-01-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-03-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}