{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:17:23Z","timestamp":1742386643923},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540280606"},{"type":"electronic","value":"9783540318576"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11533092_12","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T01:51:15Z","timestamp":1278985875000},"page":"196-212","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Verifying Protocol Conformance for Logic-Based Communicating Agents"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Baldoni","sequence":"first","affiliation":[]},{"given":"Cristina","family":"Baroglio","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Martelli","sequence":"additional","affiliation":[]},{"given":"Viviana","family":"Patti","sequence":"additional","affiliation":[]},{"given":"Claudio","family":"Schifanella","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,8,19]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1145\/967900.967918","volume-title":"Proc. of the 2004 ACM Symposium on Applied Computing, SAC 2004","author":"M. Alberti","year":"2004","unstructured":"Alberti, M., Daolio, D., Torroni, P., Gavanelli, M., Lamma, E., Mello, P.: Specification and verification of agent interaction protocols in a logic-based system. In: Haddad, H., Omicini, A., Wainwright, R.L., Liebrock, L.M. (eds.) Proc. of the 2004 ACM Symposium on Applied Computing, SAC 2004, Nicosia, Cyprus, pp. 72\u201378. ACM, New York (2004)"},{"key":"12_CR2","series-title":"Applied Logic Series","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-94-011-4040-9_2","volume-title":"Labelled Deduction","author":"M. Baldoni","year":"2000","unstructured":"Baldoni, M.: Normal Multimodal Logics with Interaction Axioms. In: Basin, D., D\u2019Agostino, M., Gabbay, D.M., Matthews, S., Vigan\u00f2, L. (eds.) Labelled Deduction. Applied Logic Series, vol.\u00a017, pp. 33\u201353. Kluwer Academic Publisher, Dordrecht (2000)"},{"key":"12_CR3","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":"12_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/3-540-69778-0_13","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"M. Baldoni","year":"1998","unstructured":"Baldoni, M., Giordano, L., Martelli, A.: A Tableau Calculus for Multimodal Logics and Some (un)Decidability Results. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol.\u00a01397, pp. 44\u201359. Springer, Heidelberg (1998)"},{"issue":"2-4","key":"12_CR5","doi-asserted-by":"publisher","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":"12_CR6","volume-title":"The 1st Int. Conf. on Multi-Agent Systems (ICMAS 1995)","author":"M. Barbuceanu","year":"1995","unstructured":"Barbuceanu, M., Fox, M.S.: Cool: a language for describing coordination in multiagent systems. In: The 1st Int. Conf. on Multi-Agent Systems (ICMAS 1995). AAAI Press, Menlo Park (1995)"},{"key":"12_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/11533092_11","volume-title":"Computational Logic in Multi-Agent Systems","author":"J. Bentahar","year":"2005","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.) CLIMA 2004. LNCS (LNAI), vol.\u00a03487, pp. 178\u2013195. Springer, Heidelberg (2005)"},{"issue":"5\u20136","key":"12_CR8","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0020-0190(00)00055-7","volume":"74","author":"A. Bouajjani","year":"2000","unstructured":"Bouajjani, A., Esparza, J., Finkel, A., Maler, O., Rossmanith, P., Willems, B., Wolper, P.: An efficient automata approach to some problems on context-free grammars. Information Processing Letters\u00a074(5\u20136), 221\u2013227 (2000)","journal-title":"Information Processing Letters"},{"key":"12_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"76","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. 76\u201392. Springer, Heidelberg (2005)"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-540-30578-1_4","volume-title":"Agent-Oriented Software Engineering V","author":"L. Cabac","year":"2005","unstructured":"Cabac, L., Moldt, D.: Formal semantics for auml agent interaction protocol diagrams. In: Odell, J.J., Giorgini, P., M\u00fcller, J.P. (eds.) AOSE 2004. LNCS, vol.\u00a03382, pp. 47\u201361. Springer, Heidelberg (2005)"},{"unstructured":"Cost, R.S., Chen, Y., Finin, T., Labrou, Y., Peng, Y.: Modeling agent conversation with colored petri nets. In: Autonomous Agents Workshop on Conversation Policies (1999)","key":"12_CR11"},{"key":"12_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-540-24608-4_6","volume-title":"Advances in Agent Communication","author":"U. Endriss","year":"2004","unstructured":"Endriss, U., Maudet, N., Sadri, F., Toni, F.: Logic-based agent communication protocols. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol.\u00a02922, pp. 91\u2013107. Springer, Heidelberg (2004)"},{"key":"12_CR13","first-page":"169","volume":"72","author":"J. Esparza","year":"2000","unstructured":"Esparza, J., Rossmanith, P., Schwoon, S.: A uniform framework for problems on context-free grammars. EATCS Bulletin\u00a072, 169\u2013177 (2000)","journal-title":"EATCS Bulletin"},{"unstructured":"Fari\u00f1as del Cerro, L., Penttonen, M.: Grammar Logics. Logique et Analyse, 121\u2013122, 123\u2013134 (1988)","key":"12_CR14"},{"unstructured":"Finger, M., Fisher, M., Owens, R.: Metatem: modeling reactive systems using executable temporal logic. In: The Int. Conf. on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA-AIE (1993)","key":"12_CR15"},{"unstructured":"Fisher, M., Wooldridge, M.J.: Specifying and executing protocols for cooperative actions. In: The Int. Working Conf. on Cooperative Knowledge-Based Systems, CKBS 1994 (1994)","key":"12_CR16"},{"unstructured":"Foundation for InteroPerable\u00a0Agents. Fipa modeling: Interaction diagrams. Technical report. Working Draft Version 2003-07-02 (2003)","key":"12_CR17"},{"key":"12_CR18","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":"12_CR19","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":"12_CR20","volume-title":"Introduction to automata theory, languages, and computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to automata theory, languages, and computation. Addison-Wesley Publishing Company, Reading (1979)"},{"unstructured":"Kacprzak, M., Lomuscio, A., Penczek, W.: Verification of multiagent systems via unbounded model checking. In: Proc. of the 3rd Int. Joint Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2004), New York, NY, USA (2004)","key":"12_CR21"},{"key":"12_CR22","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, H.P. (ed.) Communication in Multiagent Systems. LNCS (LNAI), vol.\u00a02650, pp. 179\u2013193. Springer, Heidelberg (2003)"},{"unstructured":"Koning, J.-L., Franois, G., Demazeau, Y.: Formalization and pre-validation for interaction protocols in multiagent systems. In: The 13th European Conference on Artificial Intelligence, ECAI 1998 (1998)","key":"12_CR23"},{"unstructured":"Kuwabara, K., Ishida, T., Osato, N.: Agentalk: describing multiagent coordination protocols with inheritance. In: 7th Int. Conf. on Tools for Artificial Intelligence, ICTAI 1995 (1995)","key":"12_CR24"},{"key":"12_CR25","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":"12_CR26","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H.J. Levesque","year":"1997","unstructured":"Levesque, H.J., Reiter, R., Lesp\u00e9rance, Y., Lin, F., Scherl, R.B.: GOLOG: A Logic Programming Language for Dynamic Domains. J. of Logic Programming\u00a031, 59\u201383 (1997)","journal-title":"J. of Logic Programming"},{"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":"12_CR27"},{"key":"12_CR28","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"172","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. 172\u2013187. Springer, Heidelberg (2005)"},{"key":"12_CR29","volume-title":"Proc. of IJCAI 1998 Workshop on Agent Communication Languages","author":"M.P. Singh","year":"2000","unstructured":"Singh, M.P.: A social semantics for agent communication languages. In: Proc. of IJCAI 1998 Workshop on Agent Communication Languages. Springer, Berlin (2000)"},{"key":"12_CR30","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"156","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. 156\u2013171. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11533092_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,31]],"date-time":"2021-10-31T09:12:49Z","timestamp":1635671569000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11533092_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540280606","9783540318576"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/11533092_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]},"assertion":[{"value":"19 August 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}