{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:11:32Z","timestamp":1743135092041,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642378898"},{"type":"electronic","value":"9783642378904"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37890-4_11","type":"book-chapter","created":{"date-parts":[[2013,4,15]],"date-time":"2013-04-15T01:53:10Z","timestamp":1365990790000},"page":"190-196","source":"Crossref","is-referenced-by-count":1,"title":["Some Thoughts about Commitment Protocols"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Baldoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristina","family":"Baroglio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2-4","key":"11_CR1","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1080\/08839510500479546","volume":"20","author":"M. Alberti","year":"2006","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Chesani, F., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. Applied Artificial Intelligence\u00a020(2-4), 133\u2013157 (2006)","journal-title":"Applied Artificial Intelligence"},{"key":"11_CR2","unstructured":"Baldoni, M., Baroglio, C., Chopra, A.K., Desai, N., Patti, V., Singh, M.P.: Choice, Interoperability, and Conformance in Interaction Protocols and Service Choreographies. In: Proc. of AAMAS 2009, pp. 843\u2013850. IFAAMAS (2009)"},{"key":"11_CR3","unstructured":"Baldoni, M., Baroglio, C., Marengo, E.: Behavior-Oriented Commitment-based Protocols. In: Proc. of ECAI, pp. 137\u2013142. IOS Press (2010)"},{"key":"11_CR4","unstructured":"Baldoni, M., Baroglio, C., Marengo, E.: Constraints among Commitments: Regulative Specification of Interaction Protocols. In: Proc. of Int. Workshop on Agent Communication, AC 2010, Toronto, Canada, pp. 2\u201318 (May 2010)"},{"key":"11_CR5","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-642-20715-0_4","volume-title":"Declarative Agent Languages and Technologies VIII","author":"M. Baldoni","year":"2011","unstructured":"Baldoni, M., Baroglio, C., Marengo, E.: Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS. In: Omicini, A., Sardina, S., Vasconcelos, W. (eds.) DALT 2010. LNCS (LNAI), vol.\u00a06619, pp. 60\u201377. Springer, Heidelberg (2011)"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Baldoni, M., Baroglio, C., Marengo, E., Patti, V.: Constitutive and Regulative Specifications of Commitment Protocols: a Decoupled Approach. ACM TIST, Spec. Iss. on Agent Communication\u00a04(2) (2013)","DOI":"10.1145\/2438653.2438657"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Baldoni, M., Baroglio, C., Marengo, E., Patti, V., Ricci, A.: Back to the future: An interaction-oriented framework for social computing. In: First Int. Workshop on Req. Eng. for Social Computing, RESC, pp. 2\u20135. IEEE (2011)","DOI":"10.1109\/RESC.2011.6046711"},{"issue":"3","key":"11_CR8","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/j.knosys.2008.11.006","volume":"22","author":"J. Bentahar","year":"2009","unstructured":"Bentahar, J., Meyer, J.-J.C., Wan, W.: Model checking communicative agent-based systems. Knowl.-Based Syst.\u00a022(3), 142\u2013159 (2009)","journal-title":"Knowl.-Based Syst."},{"key":"11_CR9","unstructured":"Castelfranchi, C.: Commitments: From Individual Intentions to Groups and Organizations. In: Proc. of ICMAS, pp. 41\u201348 (1995)"},{"key":"11_CR10","unstructured":"Chesani, F., Mello, P., Montali, M., Torroni, P.: Commitment Tracking via the Reactive Event Calculus. In: Proc. of IJCAI, pp. 91\u201396 (2009)"},{"key":"11_CR11","unstructured":"Chopra, A.K., Singh, M.P.: An Architecture for Multiagent Systems: An Approach Based on Commitments. In: Proc. of ProMAS. LNCS (LNAI), vol. 5919, pp. 148\u2013162. Springer, Heidelberg (2009)"},{"key":"11_CR12","unstructured":"Chopra, A.K.: Commitment Alignment: Semantics, Patterns, and Decision Procedures for Distributed Computing. PhD thesis, NCSU, Raleigh, NC (2009)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Desai, N., Chopra, A.K., Singh, M.P.: Amoeba: A methodology for modeling and evolving cross-organizational business processes. ACM TSEM 19(2) (2009)","DOI":"10.1145\/1571629.1571632"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-642-13338-1_8","volume-title":"Languages, Methodologies, and Development Tools for Multi-Agent Systems","author":"M. El-Menshawy","year":"2010","unstructured":"El-Menshawy, M., Bentahar, J., Dssouli, R.: Verifiable Semantic Model for Agent Interactions Using Social Commitments. In: Dastani, M., El Fallah Segrouchni, A., Leite, J., Torroni, P. (eds.) LADS 2009. LNCS, vol.\u00a06039, pp. 128\u2013152. Springer, Heidelberg (2010)"},{"key":"11_CR15","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-642-20715-0_11","volume-title":"Declarative Agent Languages and Technologies VIII","author":"M. El-Menshawy","year":"2011","unstructured":"El-Menshawy, M., Bentahar, J., Dssouli, R.: Symbolic Model Checking Commitment Protocols Using Reduction. In: Omicini, A., Sardina, S., Vasconcelos, W. (eds.) DALT 2010. LNCS (LNAI), vol.\u00a06619, pp. 185\u2013203. Springer, Heidelberg (2011)"},{"key":"11_CR16","unstructured":"Fornara, N.: Interaction and Communication among Autonomous Agents in Multiagent Systems. PhD thesis, Univ. della Svizzera italiana (June 2003)"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Fornara, N., Colombetti, M.: Defining Interaction Protocols using a Commitment-based Agent Communication Language. In: Proc. of AAMAS, pp. 520\u2013527. ACM (2003)","DOI":"10.1145\/860575.860659"},{"issue":"2","key":"11_CR18","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10458-006-7232-1","volume":"14","author":"A. Mallya","year":"2007","unstructured":"Mallya, A., Singh, M.: An algebra for commitment protocols. Autonomous Agents and Multi-Agent Systems\u00a014(2), 143\u2013163 (2007)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"11_CR19","unstructured":"Marengo, E., Baldoni, M., Baroglio, C., Chopra, A.K., Patti, V., Singh, M.P.: Commitments with Regulations: Reasoning about Safety and Control in REGULA. In: Proc. of AAMAS, pp. 467\u2013474 (2011)"},{"issue":"1","key":"11_CR20","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/A:1008319631231","volume":"7","author":"M.P. Singh","year":"1999","unstructured":"Singh, M.P.: An Ontology for Commitments in Multiagent Systems. Artificial Intelligence and Law\u00a07(1), 97\u2013113 (1999)","journal-title":"Artificial Intelligence and Law"},{"key":"11_CR21","unstructured":"Singh, M.P.: Community Standards for Agent Communication. Unpublished Draft (July 2010), \n                      http:\/\/www.csc.ncsu.edu\/faculty\/mpsingh\/papers\/drafts\/Singh-AC-Manifesto.pdf"},{"issue":"12","key":"11_CR22","doi-asserted-by":"publisher","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":"11_CR23","unstructured":"Singh, M.P.: Formalizing Communication Protocols for Multiagent Systems. In: Proc. of IJCAI, pp. 1519\u20131524 (2007)"},{"key":"11_CR24","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-11355-0_14","volume-title":"Declarative Agent Languages and Technologies VII","author":"P. Torroni","year":"2010","unstructured":"Torroni, P., Chesani, F., Mello, P., Montali, M.: Social Commitments in Time: Satisfied or Compensated. In: Baldoni, M., Bentahar, J., van Riemsdijk, M.B., Lloyd, J. (eds.) DALT 2009. LNCS (LNAI), vol.\u00a05948, pp. 228\u2013243. Springer, Heidelberg (2010)"},{"key":"11_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/11493402_12","volume-title":"Declarative Agent Languages and Technologies II","author":"M. Winikoff","year":"2005","unstructured":"Winikoff, M., Liu, W., Harland, J.: Enhancing Commitment Machines. In: Leite, J., Omicini, A., Torroni, P., Yolum, P. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 198\u2013220. Springer, Heidelberg (2005)"},{"issue":"1","key":"11_CR26","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.datak.2006.12.001","volume":"63","author":"P. Yolum","year":"2007","unstructured":"Yolum, P.: Design time analysis of multiagent protocols. Data Knowl. Eng.\u00a063(1), 137\u2013154 (2007)","journal-title":"Data Knowl. Eng."},{"key":"11_CR27","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/375735.375822","volume-title":"Agents","author":"P. Yolum","year":"2001","unstructured":"Yolum, P., Singh, M.P.: Designing and Executing Protocols Using the Event Calculus. In: Agents, pp. 27\u201328. ACM, New York (2001)"},{"key":"11_CR28","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-45448-9_17","volume-title":"Intelligent Agents VIII","author":"p. Yolum","year":"2002","unstructured":"Yolum, p., Singh, M.P.: Commitment Machines. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, pp. 235\u2013247. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies X"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37890-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,24]],"date-time":"2023-01-24T02:20:57Z","timestamp":1674526857000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-37890-4_11"}},"subtitle":["(Position Paper)"],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642378898","9783642378904"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37890-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}