{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:27Z","timestamp":1761611247811,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,7,6]],"date-time":"2009-07-06T00:00:00Z","timestamp":1246838400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["830450"],"award-info":[{"award-number":["830450"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001711","name":"Swiss National Science Foundation","doi-asserted-by":"publisher","award":["200021-117699"],"award-info":[{"award-number":["200021-117699"]}],"id":[{"id":"10.13039\/501100001711","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,7,6]]},"DOI":"10.1145\/1562814.1562821","type":"proceedings-article","created":{"date-parts":[[2009,7,8]],"date-time":"2009-07-08T17:34:19Z","timestamp":1247074459000},"page":"14-23","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Logical omniscience as a computational complexity problem"],"prefix":"10.1145","author":[{"given":"Sergei","family":"Artemov","sequence":"first","affiliation":[{"name":"CUNY Graduate Center, New York City, NY, United States"}]},{"given":"Roman","family":"Kuznets","sequence":"additional","affiliation":[{"name":"Universit\u00e4t Bern, Bern, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2009,7,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/544862.544948"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11874683_9"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exi053"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.2307\/2687821"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020308090060"},{"volume-title":"Proceedings of the 1986 Conference, March 19--22, 1986","year":"1986","author":"Aumann Robert J.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92687-0_9"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/800119.803893"},{"volume-title":"MIT Press","year":"1991","author":"Elgot-Drapkin Jennifer J.","key":"e_1_3_2_1_11_1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90003-8"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00060-3"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90049-4"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1324249.1324273"},{"volume-title":"Cornell University Press","year":"1962","author":"Hintikka Jaakko","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00558761"},{"volume-title":"Research Notes in Artificial Intelligence. Morgan Kaufmann","year":"1986","author":"Konolige Kurt","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.03.015"},{"key":"e_1_3_2_1_20_1","volume-title":"2004 Annual Meeting of the Association for Symbolic Logic","volume":"111","author":"Kuznets Roman","year":"2004"},{"volume-title":"CUNY Graduate Center","year":"2008","author":"Kuznets Roman","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","first-page":"198","volume-title":"Proceedings of the Fourth National Conference on Artificial Intelligence, AAAI 1984","author":"Levesque Hector J.","year":"1984"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1970.tb00434.x"},{"volume-title":"Proceedings of the 1986 Conference, March 19--22, 1986","year":"1986","author":"Moore Robert C.","key":"e_1_3_2_1_24_1"},{"volume-title":"Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, March 7--9, 1988","year":"1988","author":"Moses Yoram","key":"e_1_3_2_1_25_1"},{"key":"e_1_3_2_1_26_1","first-page":"117","volume-title":"Proceedings of the 5th Panhellenic Logic Symposium","author":"Pacuit Eric","year":"2005"},{"key":"e_1_3_2_1_27_1","first-page":"432","volume-title":"Proceedings of the Second International Symposium, ISMIS 1987","author":"Parikh Rohit","year":"1987"},{"key":"e_1_3_2_1_28_1","series-title":"Lecture Notes in Computer Science","first-page":"22","volume-title":"International Workshop LCC '94","author":"Parikh Rohit","year":"1994"},{"key":"e_1_3_2_1_29_1","first-page":"62","volume-title":"Proceedings of the Tenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK'05)","author":"Parikh Rohit","year":"2005"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020308090059"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Pavel\n       \n      Pudl\u00e1k\n    .\n      \n  \n   \n  The lengths of proofs. In Samuel R. Buss editor Handbook of Proof Theory volume \n  137\n   of \n  Studies in Logic and the Foundations of Mathematics chapter VIII pages \n  547\n  --\n  637\n  . \n  Elsevier 1998\n  .  Pavel Pudl\u00e1k. The lengths of proofs. In Samuel R. Buss editor Handbook of Proof Theory volume 137 of Studies in Logic and the Foundations of Mathematics chapter VIII pages 547--637. Elsevier 1998.","DOI":"10.1016\/S0049-237X(98)80023-2"},{"key":"e_1_3_2_1_32_1","first-page":"106","article-title":"Impossible worlds semantics and logical omniscience","volume":"35","author":"Rantala Veikko","year":"1982","journal-title":"Acta Philosophica Fennica"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/11753728_32"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-3272-8_7"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01079208"},{"volume-title":"Proceedings of the 1986 Conference, March 19--22, 1986","year":"1986","author":"Vardi Moshe Y.","key":"e_1_3_2_1_36_1"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370163"}],"event":{"name":"TARK '09: The 11th conference on Theoretical aspects of rationality and knowledge","acronym":"TARK '09","location":"California"},"container-title":["Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1562814.1562821","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1562814.1562821","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:07Z","timestamp":1750249387000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1562814.1562821"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7,6]]},"references-count":35,"alternative-id":["10.1145\/1562814.1562821","10.1145\/1562814"],"URL":"https:\/\/doi.org\/10.1145\/1562814.1562821","relation":{},"subject":[],"published":{"date-parts":[[2009,7,6]]},"assertion":[{"value":"2009-07-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}