{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:42:04Z","timestamp":1747546924624},"reference-count":21,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"published-print":{"date-parts":[[1993,1]]},"DOI":"10.1080\/09528139308953757","type":"journal-article","created":{"date-parts":[[2007,7,7]],"date-time":"2007-07-07T13:48:59Z","timestamp":1183816139000},"page":"39-56","source":"Crossref","is-referenced-by-count":9,"title":["Verifying plans for multiple agents"],"prefix":"10.1080","volume":"5","author":[{"given":"MATTHEW J.","family":"KATZ","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JEFFREY S.","family":"ROSENSCHEIN","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","first-page":"741","volume-title":"In Proceedings of the Eighth International Joint Conference on Artificial Intelligence","author":"Allen J. F.","year":"1983"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90092-0"},{"key":"CIT0003","first-page":"168","volume-title":"In Proceedings of the Sixth International Joint Conference on Artificial Intelligence","author":"Corkill D. D.","year":"1979"},{"key":"CIT0004","unstructured":"Corkill , D. D. ( 1982 ) A framework for organizational self-design in distributed problem-solving networks . Ph.D. thesis ( University of Massachusetts , Amherst , Massachusetts , USA ). Also published as COINS Technical Report 82 \u2013 33 ( Computer and Information Science, University of Massachusetts, Amherst, Massachusetts, USA )."},{"key":"CIT0005","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/B978-0-934613-38-5.50005-2","volume-title":"Distributed Artificial Intelligence","author":"Durfee E. H.","year":"1987"},{"key":"CIT0006","volume-title":"In Proceedings of the Ninth National Conference on Artificial Intelligence","author":"Ephrati E.","year":"1991"},{"key":"CIT0007","volume-title":"In Proceedings of the Fourth European Workshop on Modeling Autonomous Agents in a Multi\u2013Agent World","author":"Ephrati E.","year":"1992"},{"key":"CIT0008","first-page":"125","volume-title":"In Proceedings of the National Conference on Artificial Intelligence","author":"Georgeff M.","year":"1983"},{"key":"CIT0009","first-page":"121","volume-title":"In Proceedings of the National Conference on Artificial Intelligence","author":"Georgeff M.","year":"1984"},{"key":"CIT0010","volume-title":"Master's thesis","author":"Katz M. J.","year":"1988"},{"key":"CIT0011","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/B978-1-55860-092-8.50013-7","volume-title":"Distributed Artificial Intelligence","author":"Katz M. J.","year":"1989"},{"key":"CIT0012","volume-title":"Reasoning About Actions & Plans","author":"Lansky A. L.","year":"1987"},{"key":"CIT0013","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/B978-0-934613-30-9.50006-8","volume-title":"Reasoning About Actions & Plans","author":"Pednault E. P. D.","year":"1987"},{"key":"CIT0014","first-page":"115","volume-title":"In Proceedings of the National Conference on Artificial Intelligence","author":"Rosenschein J. S.","year":"1982"},{"key":"CIT0015","first-page":"91","volume-title":"In Proceedings of the Ninth International Joint Conference on Artificial Intelligence","author":"Rosenschein J. S.","year":"1985"},{"key":"CIT0016","first-page":"206","volume-title":"In Advance Papers of the Fourth International Joint Conference on Artificial Intelligence","author":"Sacerdoti E. D.","year":"1975"},{"key":"CIT0017","first-page":"78","volume-title":"PhD thesis","author":"Smith R. G.","year":"1978"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1980.1675516"},{"key":"CIT0019","first-page":"1031","volume-title":"In Proceedings of the Ninth International Joint Conference on Artificial Intelligence","author":"Stuart C.","year":"1985"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1109\/21.135678"},{"key":"CIT0021","first-page":"225","volume-title":"In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence","author":"Zlotkin G.","year":"1991"}],"container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/09528139308953757","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T11:06:01Z","timestamp":1556622361000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/09528139308953757"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,1]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,1]]}},"alternative-id":["10.1080\/09528139308953757"],"URL":"https:\/\/doi.org\/10.1080\/09528139308953757","relation":{},"ISSN":["0952-813X","1362-3079"],"issn-type":[{"value":"0952-813X","type":"print"},{"value":"1362-3079","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,1]]}}}