{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T20:53:04Z","timestamp":1774385584714,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,5,8]],"date-time":"2006-05-08T00:00:00Z","timestamp":1147046400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,5,8]]},"DOI":"10.1145\/1160633.1160665","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T18:04:00Z","timestamp":1161194640000},"page":"201-208","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["On the complexity of practical ATL model checking"],"prefix":"10.1145","author":[{"given":"Wiebe","family":"van der Hoek","sequence":"first","affiliation":[{"name":"University of Liverpool, Liverpool, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessio","family":"Lomuscio","sequence":"additional","affiliation":[{"name":"University College London, London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Wooldridge","sequence":"additional","affiliation":[{"name":"University of Liverpool, Liverpool, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,5,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008739929481"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/585265.585270"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/647767.733634"},{"key":"e_1_3_2_1_4_1","volume-title":"Model Checking","author":"Clarke E. M.","year":"2000","unstructured":"E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press: Cambridge, MA, 2000.]]"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/646735.701638"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/646736.701799"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/788023.789052"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/114891.114907"},{"key":"e_1_3_2_1_9_1","first-page":"259","volume-title":"Proceeding of the Eighth Conference on Theoretical Aspects of Rationality and Knowledge (TARK VIII)","author":"Goranko V.","year":"2001","unstructured":"V. Goranko. Coalition games and alternating temporal logics. In J. van Benthem, editor, Proceeding of the Eighth Conference on Theoretical Aspects of Rationality and Knowledge (TARK VIII), pages 259--272, Siena, Italy, 2001.]]"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/132218.132228"},{"key":"e_1_3_2_1_11_1","volume-title":"May","author":"van der Hoek W.","year":"2005","unstructured":"W. van der Hoek and M. Wooldridge. On the logic of cooperation and propositional control. Artificial Intelligence, 164(1--2):81--119, May 2005.]]"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11559221_40"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1227068.1227073"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-004-2446-8"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/333979.333987"},{"key":"e_1_3_2_1_17_1","volume-title":"Kluwer Academic Publishers: Dordrecht","author":"McMillan K. L.","year":"1993","unstructured":"K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers: Dordrecht, The Netherlands, 1993.]]"},{"key":"e_1_3_2_1_18_1","volume-title":"Computational Complexity","author":"Papadimitriou C. H.","year":"1994","unstructured":"C. H. Papadimitriou. Computational Complexity. Addison-Wesley: Reading, MA, 1994.]]"},{"key":"e_1_3_2_1_19_1","unstructured":"M. Pauly. Logic for Social Software. PhD thesis University of Amsterdam 2001. ILLC Dissertation Series 2001--10.]]"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1111\/1467-8586.00136"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/12.1.149"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of Concurrency, Specification & Programming (CS&P), Ruciane-Nida","author":"Raimondi F.","year":"2005","unstructured":"F. Raimondi and A. Lomuscio. The complexity of symbolic model checking temporal-epistemic logics. In Proceedings of Concurrency, Specification & Programming (CS&P), Ruciane-Nida, Poland, September 2005.]]"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/648208.749783"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1137\/0208013"},{"key":"e_1_3_2_1_25_1","volume-title":"ATL satisfiability is indeed EXPTIME-complete","author":"Walther D.","year":"2005","unstructured":"D. Walther, C. Lutz, F. Wolter, and M. Wooldridge. ATL satisfiability is indeed EXPTIME-complete, 2005. accepted for publication.]]"}],"event":{"name":"AAMAS06: AAMAS '06 - 5th International Joint Conference on Autonomous Agents and Multi-agent Systems 2006","location":"Hakodate Japan","acronym":"AAMAS06","sponsor":["IFMAS The International Foundation for Multiagent Systems","SIGAI ACM Special Interest Group on Artificial Intelligence","ATAL The International Workshop on Agent Theories, Architectures, and Languages"]},"container-title":["Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1160633.1160665","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1160633.1160665","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T17:25:18Z","timestamp":1774373118000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1160633.1160665"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,5,8]]},"references-count":25,"alternative-id":["10.1145\/1160633.1160665","10.1145\/1160633"],"URL":"https:\/\/doi.org\/10.1145\/1160633.1160665","relation":{},"subject":[],"published":{"date-parts":[[2006,5,8]]},"assertion":[{"value":"2006-05-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}