{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:11:30Z","timestamp":1773655890469,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540207696","type":"print"},{"value":"9783540246084","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24608-4_6","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T05:11:34Z","timestamp":1280380294000},"page":"91-107","source":"Crossref","is-referenced-by-count":20,"title":["Logic-Based Agent Communication Protocols"],"prefix":"10.1007","author":[{"given":"Ulle","family":"Endriss","sequence":"first","affiliation":[]},{"given":"Nicolas","family":"Maudet","sequence":"additional","affiliation":[]},{"given":"Fariba","family":"Sadri","sequence":"additional","affiliation":[]},{"given":"Francesca","family":"Toni","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and Verification of Agent Interactions using Social Integrity Constraints. In: van der Hoek, W., et al. (eds.) Proceedings of the Workshop on Logic and Communication in Multi-Agent Systems, LCMAS-2003 (2003)"},{"key":"6_CR2","volume-title":"Proceedings of 4th International Conference on MultiAgent Systems (ICMAS 2000)","author":"L. Amgoud","year":"2000","unstructured":"Amgoud, L., Maudet, N., Parsons, S.: Modelling Dialogues using Argumentation. In: Proceedings of 4th International Conference on MultiAgent Systems (ICMAS 2000), IEEE, Los Alamitos (2000)"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Endriss, U., Lu, W., Maudet, N., Stathis, K.: Competent Agents and Customising Protocols. In: Omicini, A., et al. (eds.) Proceedings of the 4th International Workshop on Engineering Societies in the Agents World, ESAW 2003 (2003)","DOI":"10.1007\/978-3-540-25946-6_11"},{"key":"6_CR4","volume-title":"Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2003)","author":"U. Endriss","year":"2003","unstructured":"Endriss, U., Maudet, N., Sadri, F., Toni, F.: Aspects of Protocol Conformance in Inter-agent Dialogue. In: Rosenschein, J.S., et al. (eds.) Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2003), ACM Press, New York (2003) (extended abstract)"},{"key":"6_CR5","volume-title":"Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-2003)","author":"U. Endriss","year":"2003","unstructured":"Endriss, U., Maudet, N., Sadri, F., Toni, F.: Protocol Conformance for Logicbased Agents. In: Gottlob, G., Walsh, T. (eds.) Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-2003), Morgan Kaufmann, San Francisco (2003)"},{"key":"6_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/3-540-44682-6_8","volume-title":"Agent Mediated Electronic Commerce","author":"M. Esteva","year":"2001","unstructured":"Esteva, M., Rodr\u00edguez-Aguilar, J.-A., Sierra, C., Garcia, P., Arcos, J.-L.: On the formal specification of electronic institutions. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS (LNAI), vol.\u00a01991, p. 126. Springer, Heidelberg (2001)"},{"key":"6_CR7","unstructured":"Fern\u00e1ndez, R., Endriss, U.: Abstract Models for Dialogue Protocols. In: Marx, M. (ed.) Proceedings of the 5th International Tbilisi Symposium on Language, Logic and Computation (2003)"},{"key":"6_CR8","unstructured":"Foundation for Intelligent Physical Agents (FIPA). Communicative Act Library Specification (2002), http:\/\/www.fipa.org\/specs\/fipa00037\/"},{"key":"6_CR9","volume-title":"Agent-Mediated Electronic Commerce IV: Designing Mechanisms and Systems","author":"F. Guerin","year":"2002","unstructured":"Guerin, F., Pitt, J.: Guaranteeing Properties for E-commerce Systems. In: Padget, J., et al. (eds.) Agent-Mediated Electronic Commerce IV: Designing Mechanisms and Systems, Springer, Heidelberg (2002)"},{"key":"6_CR10","unstructured":"Jennings, N., Parsons, S., Noriega, P., Sierra, C.: On Argumentation-based Negotiation. In: Proceedings of the International Workshop on Multi-Agent Systems (IWMAS-1998) (1998)"},{"key":"6_CR11","volume-title":"Deontic Logic in Computer Science: Normative System Specification","author":"A. Jones","year":"1993","unstructured":"Jones, A., Sergot, M.: On the Characterisation of Law and Computer Systems: The Normative Systems Perspective. In: Deontic Logic in Computer Science: Normative System Specification, John Wiley and Sons, Chichester (1993)"},{"key":"6_CR12","volume-title":"Elements of the Theory of Computation","author":"H.R. Lewis","year":"1998","unstructured":"Lewis, H.R., Papadimitriou, C.H.: Elements of the Theory of Computation, 2nd edn. Prentice-Hall International, Englewood Cliffs (1998)","edition":"2"},{"key":"6_CR13","volume-title":"Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-1999)","author":"J. Pitt","year":"1999","unstructured":"Pitt, J., Mamdani, A.: A Protocol-based Semantics for an Agent Communication Language. In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-1999), Morgan Kaufmann Publishers, San Francisco (1999)"},{"key":"6_CR14","volume-title":"Proceedings of the 8th International Workshop on Agent Theories, Architectures and Languages (ATAL-2001)","author":"F. Sadri","year":"2001","unstructured":"Sadri, F., Toni, F., Torroni, P.: Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. In: Proceedings of the 8th International Workshop on Agent Theories, Architectures and Languages (ATAL-2001), Springer, Heidelberg (2001)"},{"key":"6_CR15","unstructured":"Singh, M.P.: A Customizable Coordination Service for Autonomous Agents. In: Proceedings of the 4th International Workshop on Agent Theories, Architectures and Languages (ATAL-1997) (1997)"},{"issue":"12","key":"6_CR16","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.735849","volume":"31","author":"M.P. Singh","year":"1998","unstructured":"Singh, M.P.: Agent Communication Languages: Rethinking the Principles. IEEE Computer\u00a031(12), 40\u201347 (1998)","journal-title":"IEEE Computer"},{"key":"6_CR17","volume-title":"Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2003)","author":"W.W. Vasconcelos","year":"2003","unstructured":"Vasconcelos, W.W.: Expressive Global Protocols via Logic-based Electronic Institutions. In: Rosenschein, J.S., et al. (eds.) Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2003), ACM Press, New York (2003) (extended abstract)"},{"key":"6_CR18","volume-title":"Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002)","author":"P. Yolum","year":"2002","unstructured":"Yolum, P., Singh, M.P.: Flexible Protocol Specification and Execution: Applying Event Calculus Planning Using Commitments. In: Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), ACM Press, New York (2002)"}],"container-title":["Lecture Notes in Computer Science","Advances in Agent Communication"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24608-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T19:57:27Z","timestamp":1559332647000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24608-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540207696","9783540246084"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24608-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}