{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T20:51:02Z","timestamp":1774385462974,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,5,14]],"date-time":"2007-05-14T00:00:00Z","timestamp":1179100800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100005416","name":"Norges Forskningsr\u00e5d","doi-asserted-by":"publisher","award":["166525\/V30176853\/S10"],"award-info":[{"award-number":["166525\/V30176853\/S10"]}],"id":[{"id":"10.13039\/501100005416","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,5,14]]},"DOI":"10.1145\/1329125.1329286","type":"proceedings-article","created":{"date-parts":[[2008,1,18]],"date-time":"2008-01-18T15:04:38Z","timestamp":1200668678000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Modular interpreted systems"],"prefix":"10.1145","author":[{"given":"Wojciech","family":"Jamroga","sequence":"first","affiliation":[{"name":"Clausthal University of Technology, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"\u00c5gotnes","sequence":"additional","affiliation":[{"name":"Bergen University College, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,5,14]]},"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.5555\/646738.702089"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/585265.585270"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/647767.733634"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/567067.567081"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/208454"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 3rd International Conference on Temporal Logic (ICTL)","author":"Franceschet M.","year":"2000","unstructured":"M. Franceschet, A. Montanari, and M. de Rijke. Model checking for combined logics. In Proceedings of the 3rd International Conference on Temporal Logic (ICTL), 2000."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:SYNT.0000024915.66183.d1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/216136.216137"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01784885"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","unstructured":"W. Jamroga and J. Dix. Do agents make model checking explode (computationally)? In M. P\u011bchou\u010dek P. Petta and L. Z. Varga editors Proceedings of CEEMAS 2005 volume 3690 of Lecture Notes in Computer Science pages 398--407. Springer Verlag 2005. 10.1007\/11559221_40","DOI":"10.1007\/11559221_40"},{"key":"e_1_3_2_1_13_1","volume-title":"Model checking abilities of agents: A closer look. Submitted","author":"Jamroga W.","year":"2006","unstructured":"W. Jamroga and J. Dix. Model checking abilities of agents: A closer look. Submitted, 2006."},{"key":"e_1_3_2_1_14_1","unstructured":"W. Jamroga and T. \u00c5gotnes. Modular interpreted systems: A preliminary report. Technical Report IfI-06-15 Clausthal University of Technology 2006."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/333979.333987"},{"key":"e_1_3_2_1_16_1","unstructured":"F. Laroussinie N. Markey and G. Oreiby. Expressiveness and complexity of ATL. Technical Report LSV-06-03 CNRS & ENS Cachan France 2006."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/530225"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/647771.734421"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/860575.860609"},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of CS&P'05","author":"Raimondi F.","year":"2005","unstructured":"F. Raimondi and A. Lomuscio. The complexity of symbolic model checking temporal-epistemic logics. In L. Czaja, editor, Proceedings of CS&P'05, 2005."},{"key":"e_1_3_2_1_21_1","volume-title":"Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science, 85(2)","author":"Schobbens P. Y.","year":"2004","unstructured":"P. Y. Schobbens. Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science, 85(2), 2004."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1160633.1160665"}],"event":{"name":"AAMAS07: International Conference on Autonomous Agents and Mulitagent Systems","location":"Honolulu Hawaii","acronym":"AAMAS07","sponsor":["IFAAMAS"]},"container-title":["Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1329125.1329286","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1329125.1329286","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T17:23:29Z","timestamp":1774373009000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1329125.1329286"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5,14]]},"references-count":22,"alternative-id":["10.1145\/1329125.1329286","10.1145\/1329125"],"URL":"https:\/\/doi.org\/10.1145\/1329125.1329286","relation":{},"subject":[],"published":{"date-parts":[[2007,5,14]]},"assertion":[{"value":"2007-05-14","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}