{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:21Z","timestamp":1725558981461},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540261728"},{"type":"electronic","value":"9783540319276"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11493402_7","type":"book-chapter","created":{"date-parts":[[2010,7,12]],"date-time":"2010-07-12T21:52:26Z","timestamp":1278971546000},"page":"112-131","source":"Crossref","is-referenced-by-count":4,"title":["Reasoning About Agents\u2019 Interaction Protocols Inside DCaseLP"],"prefix":"10.1007","author":[{"given":"M.","family":"Baldoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Baroglio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.","family":"Gungui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Mascardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Patti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Schifanella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Advanced logic in computing environment, Available at, http:\/\/www.di.unito.it\/~alice\/"},{"key":"7_CR2","unstructured":"AgentTool development system, http:\/\/www.cis.ksu.edu\/~sdeloach\/ai\/projects\/agentTool\/agentool.htm"},{"issue":"2","key":"7_CR3","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/5254.757633","volume":"14","author":"K. Arisha","year":"1999","unstructured":"Arisha, K., Eiter, T., Kraus, S., Ozcan, F., Ross, R., Subrahmanian, V.S.: IMPACT: a platform for collaborating agents. IEEE Intelligent Systems\u00a014(2), 64\u201372 (1999)","journal-title":"IEEE Intelligent Systems"},{"key":"7_CR4","unstructured":"Astesiano, E., Martelli, M., Mascardi, V., Reggio, G.: From Requirement Specification to Prototype Execution: a Combination of a Multiview Use-Case Driven Method and Agent-Oriented Techniques. In: Debenham, J., Zhang, K. (eds.) Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering (SEKE 2003), pp. 578\u2013585. The Knowledge System Institute (2003)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Astesiano, E., Reggio, G.: Knowledge Structuring and Representation in Requirement Specification. In: Proceedings of SEKE 2002. ACM Press, New York (2002)","DOI":"10.1145\/568760.568787"},{"key":"7_CR6","unstructured":"AUML Home Page, http:\/\/www.auml.org"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-540-45208-9_19","volume-title":"Theoretical Computer Science","author":"M. Baldoni","year":"2003","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: Reasoning about self and others: communicating agents in a modal action logic. In: Blundo, C., Laneve, C. (eds.) ICTCS 2003. LNCS, vol.\u00a02841, pp. 228\u2013241. Springer, Heidelberg (2003)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Verifying protocol conformance for logic-based communicating agents. In: Leite, J., Torroni, P. (eds.) Pre-Proc. of 5th Int. Workshop on Computational Logic in Multi-Agent Systems, CLIMA V, Lisbon, Portugal, pp. 82\u201397 (September 2004)","DOI":"10.1007\/11533092_12"},{"issue":"2-4","key":"7_CR9","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1023\/B:AMAI.0000031196.24935.b5","volume":"41","author":"M. Baldoni","year":"2004","unstructured":"Baldoni, M., Giordano, L., Martelli, A., Patti, V.: Programming Rational Agents in a Modal Action Logic. Annals of Mathematics and Artificial Intelligence, Special issue on Logic-Based Agent Implementation\u00a041(2-4), 207\u2013257 (2004)","journal-title":"Annals of Mathematics and Artificial Intelligence, Special issue on Logic-Based Agent Implementation"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Bentahar, J., Moulin, B., Meyer, J.J.C., Chaib-Draa, B.: A computational model for conversation policies for agent communication. In: Leite, J., Torroni, P. (eds.) Pre-Proc. of 5th Int. Workshop on Computational Logic in Multi-Agent Systems, CLIMA V, Lisbon, Portugal, pp. 66\u201381 (September 2004)","DOI":"10.1007\/11533092_11"},{"key":"7_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/11493402_4","volume-title":"Declarative Agent Languages and Technologies II","author":"A. Bracciali","year":"2005","unstructured":"Bracciali, A., Mancarella, P., Stathis, K., Toni, F.: On modelling declaratively multiagent systems. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 53\u201368. Springer, Heidelberg (2005)"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Cabac, L., Moldt, D.: Formal semantics for AUML agent interaction protocol diagrams. In: Proceedings of Agent-Oriented Software Engineering (AOSE) (2004)","DOI":"10.1007\/978-3-540-30578-1_4"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G. Giacomo De","year":"2000","unstructured":"De Giacomo, G., Lesp\u00e9rance, Y., Levesque, H.J.: CONGOLOG, a concurrent programming language based on situation calculus. Artificial Intelligence\u00a0121, 109\u2013169 (2000)","journal-title":"Artificial Intelligence"},{"key":"7_CR14","unstructured":"DeLoach, S.A.: Methodologies and Software Engineering for Agent Systems. In: The MaSE Methodology. Kluwer Academic Publisher, Dordrecht (2004) (to appear)"},{"issue":"4","key":"7_CR15","first-page":"169","volume":"15","author":"T. Eiter","year":"2002","unstructured":"Eiter, T., Mascardi, V.: Comparing Environments for Developing Software Agents. AI Communications\u00a015(4), 169\u2013197 (2002)","journal-title":"AI Communications"},{"key":"7_CR16","unstructured":"FIPA Specifications, http:\/\/www.fipa.org"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/BFb0014005","volume-title":"Temporal Logic","author":"M. Fisher","year":"1994","unstructured":"Fisher, M.: A survey of concurrent METATEM - the language and its applications. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS, vol.\u00a0827, pp. 480\u2013505. Springer, Heidelberg (1994)"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"AI*IA 2003: Advances in Artificial Intelligence","author":"L. Giordano","year":"2003","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. In: Cappelli, A., Turini, F. (eds.) AI*IA 2003. LNCS, vol.\u00a02829. Springer, Heidelberg (2003)"},{"key":"7_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-540-30227-8_8","volume-title":"Logics in Artificial Intelligence","author":"L. Giordano","year":"2004","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Verifying communicating agents by model checking in a temporal action logic. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 57\u201369. Springer, Heidelberg (2004)"},{"key":"7_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-540-44972-0_4","volume-title":"Communication in Multiagent Systems","author":"F. Guerin","year":"2003","unstructured":"Guerin, F., Pitt, J.: Verification and Compliance Testing. In: Huget, M.-P. (ed.) Communication in Multiagent Systems. LNCS (LNAI), vol.\u00a02650, pp. 98\u2013112. Springer, Heidelberg (2003)"},{"key":"7_CR21","unstructured":"Gungui, I., Mascardi, V.: Integrating tuProlog into DCaseLP to engineer heterogeneous agent systems. In: Proceedings of CILC 2004 (2004), Available at, http:\/\/www.disi.unige.it\/person\/MascardiV\/Download\/CILC04a.pdf.gz"},{"key":"7_CR22","unstructured":"Gutnik, G., Kaminka, G.: A scalable Petri Net representation of interaction protocols for overhearing. In: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), vol.\u00a03, pp. 1246\u20131247 (2004)"},{"key":"7_CR23","unstructured":"Gutnik, G., Kaminka, G.A.: A comprehensive Petri Net representation for multi-agent conversations. Technical Report 2004\/1, Bar-Ilan University (2004)"},{"key":"7_CR24","unstructured":"Huget, M.-P.: Model checking agent UML protocol diagrams. Technical Report ULCS\u201302\u2013012, CS Department, University of Liverpool, UK (2002)"},{"key":"7_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-44972-0_9","volume-title":"Communication in Multiagent Systems","author":"M.P. Huget","year":"2003","unstructured":"Huget, M.P., Koning, J.L.: Interaction Protocol Engineering. In: Huget, M.-P. (ed.) Communication in Multiagent Systems. LNCS (LNAI), vol.\u00a02650, pp. 179\u2013193. Springer, Heidelberg (2003)"},{"key":"7_CR26","unstructured":"JADE Home Page, http:\/\/jade.cselt.it\/"},{"key":"7_CR27","unstructured":"Jess Home Page, http:\/\/herzberg.ca.sandia.gov\/jess\/"},{"key":"7_CR28","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Declarative Agent Languages and Technologies II","year":"2005","unstructured":"Leite, J., Omicini, A., Torroni, P., Yolum, P. (eds.): DALT 2004. LNCS (LNAI), vol.\u00a03476. Springer, Heidelberg (2005)"},{"key":"7_CR29","unstructured":"Martelli, M., Mascardi, V.: From UML diagrams to Jess rules: Integrating OO and rule-based languages to specify, implement and execute agents. In: Buccafurri, F. (ed.) Proceedings of the 8th APPIA-GULP-PRODE Joint Conference on Declarative Programming (AGP 2003), pp. 275\u2013286 (2003)"},{"key":"7_CR30","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1145\/544862.544866","volume-title":"Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002)","author":"H. Mazouzi","year":"2002","unstructured":"Mazouzi, H., El Fallah Seghrouchni, A., Haddad, S.: Open protocol design for complex interactions in multi-agent systems. In: Castelfranchi, C., Johnson, W.L. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), pp. 517\u2013526. ACM Press, New York (2002)"},{"key":"7_CR31","unstructured":"Odell, J., Parunak, H.V.D., Bauer, B.: Extending UML for agents. In: Proceedings of the Agent-Oriented Information System Workshop at the 17th National Conference on Artificial Intelligence (2000)"},{"key":"7_CR32","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/11493402_9","volume-title":"Declarative Agent Languages and Technologies II","author":"L.R. Pokorny","year":"2005","unstructured":"Pokorny, L.R., Ramakrishnan, C.R.: Modeling and verification of distributed autonomous agents using logic programming. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 148\u2013165. Springer, Heidelberg (2005)"},{"key":"7_CR33","unstructured":"Schifanella, C., Lusso, L., Baldoni, M., Baroglio, C.: Design and development of a visual environment for writing dylog (2004) (submitted)"},{"key":"7_CR34","doi-asserted-by":"crossref","unstructured":"Singh, M.P.: A social semantics for agent communication languages. In: Proc. of IJCAI 1998 Workshop on Agent Communication Languages, Berlin. Springer, Heidelberg (2000)","DOI":"10.1007\/10722777_3"},{"key":"7_CR35","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-540-39869-1_12","volume-title":"Multiagent System Technologies","author":"F. Stolzenburg","year":"2003","unstructured":"Stolzenburg, F., Arai, T.: From the specification of multiagent systems by statecharts to their formal analysis by model checking: Towards safety-critical applications. In: Schillo, M., Klusch, M., M\u00fcller, J., Tianfield, H. (eds.) MATES 2003. LNCS (LNAI), vol.\u00a02831, pp. 131\u2013143. Springer, Heidelberg (2003)"},{"key":"7_CR36","unstructured":"tuProlog Home Page, http:\/\/lia.deis.unibo.it\/research\/tuprolog\/"},{"key":"7_CR37","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/11493402_8","volume-title":"Declarative Agent Languages and Technologies II","author":"C. Walton","year":"2005","unstructured":"Walton, C.: Model checking agent dialogues. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 132\u2013147. Springer, Heidelberg (2005)"},{"key":"7_CR38","unstructured":"ZEUS Home Page, http:\/\/more.btexact.com\/projects\/agents.htm"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11493402_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:58:43Z","timestamp":1605625123000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11493402_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261728","9783540319276"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/11493402_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}