{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:46:59Z","timestamp":1742914019350,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"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_6","type":"book-chapter","created":{"date-parts":[[2013,4,15]],"date-time":"2013-04-15T01:53:10Z","timestamp":1365990790000},"page":"96-115","source":"Crossref","is-referenced-by-count":4,"title":["A Generalized Commitment Machine for 2CL Protocols and Its Implementation"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Baldoni","sequence":"first","affiliation":[]},{"given":"Cristina","family":"Baroglio","sequence":"additional","affiliation":[]},{"given":"Federico","family":"Capuzzimati","sequence":"additional","affiliation":[]},{"given":"Elisa","family":"Marengo","sequence":"additional","affiliation":[]},{"given":"Viviana","family":"Patti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press (2008)"},{"key":"6_CR2","series-title":"LNAI","first-page":"190","volume-title":"DALT 2012","author":"M. Baldoni","year":"2013","unstructured":"Baldoni, M., Baroglio, C.: Some Thoughts about Commitment Protocols (Position Paper). In: Baldoni, M., Dennis, L., Mascardi, V., Vasconcelos, W. (eds.) DALT 2012. LNCS (LNAI), vol.\u00a07784, pp. 190\u2013196. Springer, Heidelberg (2013)"},{"key":"6_CR3","unstructured":"Baldoni, M., Baroglio, C., Marengo, E.: Behavior-Oriented Commitment-based Protocols. In: Proc. of ECAI. Frontiers in Artificial Intelligence and Applications, vol.\u00a0215, pp. 137\u2013142. IOS Press (2010)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Baldoni, M., Baroglio, C., Marengo, E., Patti, V.: Constitutive and Regulative Specifications of Commitment Protocols: a Decoupled Approach. ACM Trans. on Int. Sys. and Tech., Spec. Iss. on Agent Communication\u00a04(2) (2013)","DOI":"10.1145\/2438653.2438657"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Baldoni, M., Baroglio, C., Marengo, E., Patti, V.: Grafting Regulations into Business Protocols: Supporting the Analysis of Risks of Violation. In: Ant\u00f3n, A., Baumer, D., Breaux, T., Karagiannis, D. (eds.) Forth International Workshop on Requirements Engineering and Law (RELAW 2011), Held in Conjunction with the 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 30, pp. 50\u201359. IEEE Xplore (2011)","DOI":"10.1109\/RELAW.2011.6050273"},{"key":"6_CR6","unstructured":"Chesani, F., Mello, P., Montali, M., Torroni, P.: Commitment Tracking via the Reactive Event Calculus. In: Boutilier, C. (ed.) IJCAI, Pasadena, California, USA, pp. 91\u201396 (July 2009)"},{"key":"6_CR7","unstructured":"Chopra, A.K., Singh, M.P.: Constitutive Interoperability. In: Padgham, L., Parkes, D.C., M\u00fcller, J., Parsons, S. (eds.) Proc. of 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, vol.\u00a02, pp. 797\u2013804. IFAAMAS (May 2008)"},{"key":"6_CR8","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":"6_CR9","series-title":"Lecture Notes in Computer Science","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, vol.\u00a06619, pp. 185\u2013203. Springer, Heidelberg (2011)"},{"key":"6_CR10","volume-title":"Temporal and Modal Logic","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and Modal Logic, vol.\u00a0B. Elsevier, Amsterdam (1990)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Fornara, N., Colombetti, M.: Defining Interaction Protocols using a Commitment-based Agent Communication Language. In: Rosenschein, J.S., Sandholm, T., Wooldridge, M., Yokoo, M. (eds.) Proc. of the Second International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2003), Melbourne, Australia, pp. 520\u2013527. ACM (July 2003)","DOI":"10.1145\/860575.860659"},{"issue":"9-10","key":"6_CR12","doi-asserted-by":"publisher","first-page":"853","DOI":"10.1080\/08839510490509054","volume":"18","author":"N. Fornara","year":"2004","unstructured":"Fornara, N., Colombetti, M.: A Commitment-Based Approach To Agent Communication. Applied Artificial Intelligence\u00a018(9-10), 853\u2013866 (2004)","journal-title":"Applied Artificial Intelligence"},{"issue":"2","key":"6_CR13","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.jal.2005.12.011","volume":"5","author":"L. Giordano","year":"2007","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Specifying and Verifying Interaction Protocols in a Temporal Action Logic. Journal of Applied Logic\u00a05(2), 214\u2013234 (2007)","journal-title":"Journal of Applied Logic"},{"key":"6_CR14","first-page":"275","volume-title":"On the Characterization of Law and Computer Systems: the Normative Systems Perspective","author":"A.J.I. Jones","year":"1994","unstructured":"Jones, A.J.I., Sergot, M.: On the Characterization of Law and Computer Systems: the Normative Systems Perspective, pp. 275\u2013307. John Wiley & Sons, Inc., New York (1994)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Mallya, A.U., Singh, M.P.: Modeling Exceptions via Commitment Protocols. In: Dignum, F., Dignum, V., Koenig, S., Kraus, S., Singh, M.P., Wooldridge, M. (eds.) AAMAS, Utrecht, The Netherlands, pp. 122\u2013129. ACM (July 2005)","DOI":"10.1145\/1082473.1082492"},{"key":"6_CR16","unstructured":"Marengo, E.: 2CL Protocols: Interaction Patterns Specification in Commitment Protocols. PhD thesis, Universit\u00e0 degli Studi di Torino, Research Doctorate in Science and High Technology, Specialization in Computer Science (October 2012), \n                      http:\/\/www.di.unito.it\/~emarengo\/Thesis.pdf"},{"key":"6_CR17","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: Sonenberg, L., Stone, P., Tumer, K., Yolum, P. (eds.) AAMAS, Taipei, Taiwan, vol.\u00a01\u20133, pp. 467\u2013474. IFAAMAS (May 2011)"},{"key":"6_CR18","volume-title":"The construction of social reality","author":"J.R. Searle","year":"1995","unstructured":"Searle, J.R.: The construction of social reality. Free Press, New York (1995)"},{"issue":"1","key":"6_CR19","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":"6_CR20","unstructured":"Singh, M.P.: Formalizing Communication Protocols for Multiagent Systems. In: Veloso, M.M. (ed.) IJCAI, Hyderabad, India, pp. 1519\u20131524. AAAI Press (January 2007)"},{"key":"6_CR21","unstructured":"Weiss, G. (ed.): Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence. The MIT Press (1999)"},{"key":"6_CR22","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)"},{"key":"6_CR23","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":"6_CR24","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_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,13]],"date-time":"2023-02-13T16:09:26Z","timestamp":1676304566000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-37890-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642378898","9783642378904"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37890-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}