{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T05:10:27Z","timestamp":1736399427212,"version":"3.32.0"},"reference-count":32,"publisher":"Informa UK Limited","issue":"2-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Applied Artificial Intelligence"],"published-print":{"date-parts":[[2006,2]]},"DOI":"10.1080\/08839510500479546","type":"journal-article","created":{"date-parts":[[2006,3,31]],"date-time":"2006-03-31T02:43:44Z","timestamp":1143773024000},"page":"133-157","source":"Crossref","is-referenced-by-count":48,"title":["COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL"],"prefix":"10.1080","volume":"20","author":[{"given":"Marco","family":"Alberti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Gavanelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Federico","family":"Chesani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Torroni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"crossref","unstructured":"Alberti , M. , F. Chesani , M. Gavanelli , E. Lamma , P. Mello , and P. Torroni . 2004 . A logic based approach to interaction design in open multi-agent systems . In Proceedings of the 13th IEEE international Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE-2004), 2nd International Workshop \u201cTheory and Practice of Open Computational Systems (TAPOCS),\u201d pages 387 \u2013 392 , Modena , Italy : IEEE Press .","DOI":"10.1109\/ENABL.2004.3"},{"journal-title":"Intelligenza Artificiale","first-page":"22","author":"Alberti M.","key":"CIT0002"},{"key":"CIT0003","doi-asserted-by":"crossref","unstructured":"Alberti , M. , A. Ciampolini , M. Gavanelli , E. Lamma , P. Mello , and P. Torroni . 2003 . A social ACL semantics by deontic constraints . In Multi-Agent Systems and Applications III, Proceedings of the 3rd International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS 2003) , volume 2691 ofLecture Notes in Artificial Intelligence, pages 204 \u2013 213 , Prague , Czech Republic : Springer-Verlag .","DOI":"10.1007\/3-540-45023-8_20"},{"key":"CIT0004","doi-asserted-by":"crossref","unstructured":"Alberti , M.,M. Gavanelli,E. Lamma,P. Mello, andP. Torroni.2003.An abductive interpretation for open societies. InAdvances in Artificial Intelligence, Proceedings of the 8th Congress of the Italian Association for Artificial Intelligence, (AI\u2217IA 2003), volume2829 ofLecture Notes in Artificial Intelligence, pages287\u2013299. Piso , Italy : Springer-Verlag.","DOI":"10.1007\/978-3-540-39853-0_24"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)82605-2"},{"volume-title":"Specification and Verification of Interaction Protocols: A Computational Logic Approach Based on Abduction","year":"2003","author":"Alberti M.","key":"CIT0006"},{"key":"CIT0007","doi-asserted-by":"crossref","unstructured":"Artikis , A. , J. Pitt , and M. Sergot . 2002 . Animated specifications of computational societies . In Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Part III , pages 1053 \u2013 1061 , Bologna , Italy : ACM Press .","DOI":"10.1145\/545068.545070"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1002\/1097-024X(200102)31:2<103::AID-SPE358>3.0.CO;2-O"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1080\/08839510500479496"},{"key":"CIT0010","first-page":"612","volume-title":"Cybernetics and Systems 2004 \u2013 Volume II","author":"Caire G.","year":"2004"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45584-1_1"},{"key":"CIT0012","unstructured":"d'Inverno , M. , D. Kinny , and M. Luck . 1998 . Interaction protocols in Agentis . In Proceedings of the Third International Conference on Multiagent Systems , pages 261 \u2013 268 , Paris , France ."},{"key":"CIT0013","doi-asserted-by":"crossref","unstructured":"Esteva , M. , D. de la Cruz , and C. Sierra . 2002 . ISLANDER: An electronic institutions editor . In Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Part III , pages 1045 \u2013 1052 , Bologna , Italy : ACM Press .","DOI":"10.1145\/545068.545069"},{"key":"CIT0014","doi-asserted-by":"crossref","unstructured":"Fornara , N. and M. Colombetti . 2002 . Operational specification of a commitment-based agent communication language . In Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Part II , pages 535 \u2013 542 , Bologna , Italy : ACM Press .","DOI":"10.1145\/544862.544868"},{"key":"CIT0015","doi-asserted-by":"crossref","unstructured":"Fornara , N. and M. Colombetti . 2003 . Defining interaction protocols using a commitment-based agent communication language . In Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2003) , pages 520 \u2013 527 , Melbourne , Victoria : ACM Press .","DOI":"10.1145\/860658.860659"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(98)10005-5"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(97)00026-5"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1145\/129630.129635"},{"key":"CIT0019","doi-asserted-by":"crossref","unstructured":"Guerin , F. and J. Pitt . 2002 . Guaranteeing properties for e-commerce systems . In: Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems, AAMAS 2002 Workshop on Agent Mediated Electronic Commerce, Revised Papers , pages 253 \u2013 272 , Bologna , Italy : Springer-Verlag .","DOI":"10.1007\/3-540-36378-5_16"},{"key":"CIT0020","first-page":"588","volume-title":"Cybernetics and Systems 2004","author":"Huget M.-P.","year":"2004"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"CIT0022","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.6.719"},{"key":"CIT0023","unstructured":"Kakas , A. C . P. Mancarella , F. Sadri , K. Stathis , and F. Toni . 2004 . The KGP model of agency . In Proceedings of the Sixteenth European Conference on Artificial Intelligence, (ECAI 2004) , Valencia , Italy : IOS Press ."},{"key":"CIT0024","unstructured":"Kinny , D. , M. Georgeff , and A. S. Rao . 1996 . A methodology and modelling technique for systems of BDI agents . In: Agents Breaking Away, Proceeding of the 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'96) , volume 1038 ofLecture Notes in Computer Science, pages 42 \u2013 55 , Eindhoren the Netherlands : Springer-Verlag ."},{"key":"CIT0025","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"CIT0026","doi-asserted-by":"crossref","first-page":"615","DOI":"10.3233\/JCS-2003-11406","volume":"11","author":"Mantel H.","year":"2003","journal-title":"Journal of Computer Security"},{"key":"CIT0027","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45510-8_1"},{"key":"CIT0028","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/3-540-36561-3_9","volume-title":"Intelligent Information Agents: An AgentLink Perspective","author":"Omicini A.","year":"2003"},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46000-4_27"},{"key":"CIT0032","doi-asserted-by":"crossref","unstructured":"Verdicchio , M. and M. Colombetti . 2003 . A logical model of social commitment for agent communication . In Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2003) pages 528 \u2013 535 , Melbourne , Victoria : ACM Press .","DOI":"10.1145\/860658.860660"},{"key":"CIT0033","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010071910869"},{"key":"CIT0034","doi-asserted-by":"crossref","unstructured":"Yolum , P . and M. P. Singh . 2002 . Flexible protocol specification and execution: applying event calculus planning using commitments . In Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Part II , pages 527 \u2013 534 , Bologna , Italy : ACM Press .","DOI":"10.1145\/544865.544867"}],"container-title":["Applied Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/08839510500479546","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T05:50:33Z","timestamp":1736315433000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/08839510500479546"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,2]]},"references-count":32,"journal-issue":{"issue":"2-4","published-print":{"date-parts":[[2006,2]]}},"alternative-id":["10.1080\/08839510500479546"],"URL":"https:\/\/doi.org\/10.1080\/08839510500479546","relation":{},"ISSN":["0883-9514","1087-6545"],"issn-type":[{"type":"print","value":"0883-9514"},{"type":"electronic","value":"1087-6545"}],"subject":[],"published":{"date-parts":[[2006,2]]}}}