{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T07:36:10Z","timestamp":1791012970849,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":32,"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.1160661","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T18:04:00Z","timestamp":1161194640000},"page":"169-176","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Model checking for multivalued logic of knowledge and time"],"prefix":"10.1145","author":[{"given":"Beata","family":"Konikowska","sequence":"first","affiliation":[{"name":"Institute of Computer Science, Warsaw, Poland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wojciech","family":"Penczek","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, Warsaw, Poland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2006,5,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/646735.701611"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27836-8_26"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/646485.694464"},{"key":"e_1_3_2_1_4_1","volume-title":"Model Checking","author":"Clarke E. M.","year":"1999","unstructured":"E. M. Clarke , O. Grumberg , and D. Peled . Model Checking . MIT Press , 1999 .]] E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.]]"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/381473.381516"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/208454"},{"key":"e_1_3_2_1_7_1","volume-title":"Many-valued modal logics. Fundamenta Informaticae, 15(3--4):335--350","author":"Fitting M.","year":"1991","unstructured":"M. Fitting . Many-valued modal logics. Fundamenta Informaticae, 15(3--4):335--350 , 1991 .]] M. Fitting. Many-valued modal logics. Fundamenta Informaticae, 15(3--4):335--350, 1991.]]"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/167892.167899"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/646736.701647"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/646542.696216"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45187-7_18"},{"key":"e_1_3_2_1_12_1","first-page":"95","volume-title":"Proc. of the 1st Int. SPIN Workshop (SPIN'02)","volume":"2318","author":"Hoek W.","year":"2002","unstructured":"W. Hoek and M. Wooldridge . Model checking knowledge and time . In Proc. of the 1st Int. SPIN Workshop (SPIN'02) , volume 2318 of LNCS, pages 95 -- 111 . Springer-Verlag , 2002 .]] W. Hoek and M. Wooldridge. Model checking knowledge and time. In Proc. of the 1st Int. SPIN Workshop (SPIN'02), volume 2318 of LNCS, pages 95--111. Springer-Verlag, 2002.]]"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/545056.545095"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004268"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.08.003"},{"key":"e_1_3_2_1_16_1","volume-title":"Agents that know how to play. Fundamenta Informaticae, 63(2--3):185--219","author":"Jamroga W.","year":"2004","unstructured":"W. Jamroga and W. Hoek . Agents that know how to play. Fundamenta Informaticae, 63(2--3):185--219 , 2004 .]] W. Jamroga and W. Hoek. Agents that know how to play. Fundamenta Informaticae, 63(2--3):185--219, 2004.]]"},{"key":"e_1_3_2_1_17_1","volume-title":"From bounded to unbounded model checking for temporal epistemic logic. Fundamenta Informaticae, 63(2--3):221--240","author":"Kacprzak M.","year":"2004","unstructured":"M. Kacprzak , A. Lomuscio , and W. Penczek . From bounded to unbounded model checking for temporal epistemic logic. Fundamenta Informaticae, 63(2--3):221--240 , 2004 .]] M. Kacprzak, A. Lomuscio, and W. Penczek. From bounded to unbounded model checking for temporal epistemic logic. Fundamenta Informaticae, 63(2--3):221--240, 2004.]]"},{"key":"e_1_3_2_1_18_1","first-page":"638","volume-title":"Proc. of the 3rd Int. Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS'04)","author":"Kacprzak M.","year":"2004","unstructured":"M. Kacprzak , A. Lomuscio , and W. Penczek . Verification of multi-agent systems via unbounded model checking . In Proc. of the 3rd Int. Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS'04) , volume II , pages 638 -- 645 . IEEE Computer Society , July 2004 .]] M. Kacprzak, A. Lomuscio, and W. Penczek. Verification of multi-agent systems via unbounded model checking. In Proc. of the 3rd Int. Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS'04), volume II, pages 638--645. IEEE Computer Society, July 2004.]]"},{"key":"e_1_3_2_1_19_1","first-page":"646","volume-title":"Proc. of the 3rd Int. Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS'04)","author":"Kacprzak M.","year":"2004","unstructured":"M. Kacprzak and W. Penczek . Unbounded model checking for alternating-time temporal logic . In Proc. of the 3rd Int. Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS'04) , volume II , pages 646 -- 653 . IEEE Computer Society , July 2004 .]] M. Kacprzak and W. Penczek. Unbounded model checking for alternating-time temporal logic. In Proc. of the 3rd Int. Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS'04), volume II, pages 646--653. IEEE Computer Society, July 2004.]]"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-005-0944-9"},{"key":"e_1_3_2_1_21_1","volume-title":"Proc. of the Int. Workshop on Concurrency, Specification and Programming (CS&P'04)","volume":"318","author":"Konikowska B.","unstructured":"B. Konikowska and W. Penczek . Model checking multi-valued modal μ-calculus revisited . In Proc. of the Int. Workshop on Concurrency, Specification and Programming (CS&P'04) , volume 170(2) of Informatik-Berichte, pages 307-- 318 .]] B. Konikowska and W. Penczek. Model checking multi-valued modal μ-calculus revisited. In Proc. of the Int. Workshop on Concurrency, Specification and Programming (CS&P'04), volume 170(2) of Informatik-Berichte, pages 307--318.]]"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/871472.871481"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45133-4_10"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/646837.708360"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/2370935.2370943"},{"key":"e_1_3_2_1_26_1","volume-title":"Proc. of the Int. Workshop on Logic and Communication in Multi-Agent Systems (LCMAS'03)","volume":"2003","author":"Raimondi F.","unstructured":"F. Raimondi and A. Lomuscio . A tool for specification and verification of epistemic properties of interpreted systems . In Proc. of the Int. Workshop on Logic and Communication in Multi-Agent Systems (LCMAS'03) , volume 85(2) of ENTCS. Elsevier, 2003 .]] F. Raimondi and A. Lomuscio. A tool for specification and verification of epistemic properties of interpreted systems. In Proc. of the Int. Workshop on Logic and Communication in Multi-Agent Systems (LCMAS'03), volume 85(2) of ENTCS. Elsevier, 2003.]]"},{"key":"e_1_3_2_1_27_1","first-page":"630","volume-title":"Proc. of the 3rd Int. Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS'04)","author":"Raimondi F.","year":"2004","unstructured":"F. Raimondi and A. Lomuscio . Verification of multiagent systems via ordered binary decision diagrams: An algorithm and its implementation . In Proc. of the 3rd Int. Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS'04) , volume II , pages 630 -- 637 . IEEE Computer Society , July 2004 .]] F. Raimondi and A. Lomuscio. Verification of multiagent systems via ordered binary decision diagrams: An algorithm and its implementation. In Proc. of the 3rd Int. Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS'04), volume II, pages 630--637. IEEE Computer Society, July 2004.]]"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30960-4_14"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1955.5.285"},{"key":"e_1_3_2_1_30_1","volume-title":"John Wiley & Sons","author":"Wooldridge M.","year":"2002","unstructured":"M. Wooldridge . An Introduction to Multiagent Systems . John Wiley & Sons , 2002 .]] M. Wooldridge. An Introduction to Multiagent Systems. John Wiley & Sons, 2002.]]"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/2772081.2772274"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1082473.1082498"}],"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.1160661","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1160633.1160661","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T17:25:00Z","timestamp":1774373100000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1160633.1160661"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,5,8]]},"references-count":32,"alternative-id":["10.1145\/1160633.1160661","10.1145\/1160633"],"URL":"https:\/\/doi.org\/10.1145\/1160633.1160661","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"}}]}}