{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T20:45:56Z","timestamp":1774385156232,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":3,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,7,25]]},"DOI":"10.1145\/1082473.1082781","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T12:34:39Z","timestamp":1131366879000},"page":"1373-1373","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A knowledge-based approach to the specification and verification of MAS design"],"prefix":"10.1145","author":[{"given":"Anarosa A. F.","family":"Brand\u00e3o","sequence":"first","affiliation":[{"name":"R. Mq de S. Vicente, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viviane Torres","family":"da Silva","sequence":"additional","affiliation":[{"name":"R. Mq de S. Vicente, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos J. P.","family":"de Lucena","sequence":"additional","affiliation":[{"name":"R. Mq de S. Vicente, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,7,25]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"3","volume-title":"Proceedings of the Agent-Oriented Information Systems Workshop","author":"Odell J.","year":"2000","unstructured":"Odell, J., Parunak, H. and Bauer, B. Extending UML for Agents. In Proceedings of the Agent-Oriented Information Systems Workshop, Austin, 2000, pp. 3--17."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:AGNT.0000019691.42633.07"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4379(02)00027-3"}],"event":{"name":"AAMAS05: AAMAS '05 - Fourth International Joint Conference on Autonomous Agents and Multiagent Systems 2005","location":"The Netherlands","acronym":"AAMAS05","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence"]},"container-title":["Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1082473.1082781","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T17:18:55Z","timestamp":1774372735000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1082473.1082781"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7,25]]},"references-count":3,"alternative-id":["10.1145\/1082473.1082781","10.1145\/1082473"],"URL":"https:\/\/doi.org\/10.1145\/1082473.1082781","relation":{},"subject":[],"published":{"date-parts":[[2005,7,25]]},"assertion":[{"value":"2005-07-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}