{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T00:04:40Z","timestamp":1742947480601,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"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_8","type":"book-chapter","created":{"date-parts":[[2013,4,15]],"date-time":"2013-04-15T01:53:10Z","timestamp":1365990790000},"page":"136-152","source":"Crossref","is-referenced-by-count":3,"title":["Commitment Protocol Generation"],"prefix":"10.1007","author":[{"given":"Ak\u0131n","family":"G\u00fcnay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Winikoff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P\u0131nar","family":"Yolum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"8_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/jwsr.2011070101","volume":"8","author":"M. Alberti","year":"2011","unstructured":"Alberti, M., Cattafi, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M., Torroni, P.: A Computational Logic Application Framework for Service Discovery and Contracting. International Journal of Web Services Research (IJWSR)\u00a08(3), 1\u201325 (2011)","journal-title":"International Journal of Web Services Research (IJWSR)"},{"key":"8_CR2","series-title":"LNAI","first-page":"96","volume-title":"DALT 2012","author":"M. Baldoni","year":"2013","unstructured":"Baldoni, M., Baroglio, C., Capuzzimati, F., Marengo, E., Patti, V.: A Generalized Commitment Machine for 2CL Protocols and its Implementation. In: Baldoni, M., Dennis, L., Mascardi, V., Vasconcelos, W. (eds.) DALT 2012. LNCS (LNAI), vol.\u00a07784, pp. 96\u2013115. Springer, Heidelberg (2013)"},{"key":"8_CR3","unstructured":"Castelfranchi, C.: Commitments: From Individual Intentions to Groups and Organizations. In: Lesser, V.R., Gasser, L. (eds.) ICMAS, pp. 41\u201348. The MIT Press (1995)"},{"key":"8_CR4","unstructured":"Chopra, A.K., Dalpiaz, F., Giorgini, P., Mylopoulos, J.: Reasoning about Agents and Protocols via Goals and Commitments. In: International Conference on Autonomous Agents and Multiagent Systems, AAMAS, pp. 457\u2013464 (2010)"},{"key":"8_CR5","unstructured":"Chopra, A.K., Singh, M.P.: Constitutive Interoperability. In: International Conference on Autonomous Agents and Multiagent Systems, AAMAS, pp. 797\u2013804 (2008)"},{"key":"8_CR6","unstructured":"Chopra, A.K., Singh, M.P.: Multiagent Commitment Alignment. In: International Conference on Autonomous Agents and Multiagent Systems, AAMAS, pp. 937\u2013944 (2009)"},{"key":"8_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1571629.1571632","volume":"19","author":"N. Desai","year":"2009","unstructured":"Desai, N., Chopra, A.K., Singh, M.P.: Amoeba: A Methodology for Modeling and Evolving Cross-organizational Business Processes. ACM Transactions on Software Engineering and Methodology 19, 6:1\u20136:45 (2009)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"El-Menshawy, M., Bentahar, J., Dssouli, R.: A New Semantics of Social Commitments Using Branching Space-Time Logic. In: WI-IAT 2009: Proceedings of the 2009 IEEE\/WIC\/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, pp. 492\u2013496 (2009)","DOI":"10.1109\/WI-IAT.2009.333"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Fornara, N., Colombetti, M.: Operational Specification of a Commitment-Based Agent Communication Language. In: International Conference on Autonomous Agents and Multiagent Systems, AAMAS, pp. 536\u2013542 (2002)","DOI":"10.1145\/860575.860659"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-642-29113-5_5","volume-title":"Declarative Agent Languages and Technologies IX","author":"A. G\u00fcnay","year":"2012","unstructured":"G\u00fcnay, A., Yolum, P.: Detecting Conflicts in Commitments. In: Sakama, C., Sardina, S., Vasconcelos, W., Winikoff, M. (eds.) DALT 2011. LNCS, vol.\u00a07169, pp. 51\u201366. Springer, Heidelberg (2012)"},{"key":"8_CR11","unstructured":"I\u015f\u0131ksal, A.: Use of Goals for Creating and Enacting Dynamic Contracts in Ambient Intelligence. Master\u2019s thesis, Bogazici University (2012)"},{"key":"8_CR12","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: International Conference on Autonomous Agents and Multiagent Systems, AAMAS, pp. 467\u2013474 (2011)"},{"key":"8_CR13","unstructured":"van Riemsdijk, M.B., Dastani, M., Winikoff, M.: Goals in Agent Systems: A Unifying Framework. In: International Conference on Autonomous Agents and Multiagent Systems, AAMAS, pp. 713\u2013720 (2008)"},{"issue":"1","key":"8_CR14","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":"8_CR15","unstructured":"Singh, M.P.: Information-Driven Interaction-Oriented Programming: BSPL, the Blindingly Simple Protocol Language. In: International Conference on Autonomous Agents and Multiagent Systems, AAMAS, pp. 491\u2013498 (2011)"},{"key":"8_CR16","unstructured":"Telang, P.R., Yorke-Smith, N., Singh, M.P.: A Coupled Operational Semantics for Goals and Commitments. In: 9th International Workshop on Programming Multi-Agent Systems, ProMAS (2011)"},{"key":"8_CR17","unstructured":"Thangarajah, J., Padgham, L., Winikoff, M.: Detecting & Avoiding Interference Between Goals in Intelligent Agents. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence, pp. 721\u2013726 (2003)"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","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, vol.\u00a05948, pp. 228\u2013243. Springer, Heidelberg (2010)"},{"key":"8_CR19","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":"8_CR20","unstructured":"Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative & procedural goals in intelligent agent systems. In: KR, pp. 470\u2013481 (2002)"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Yolum, P., Singh, M.P.: Flexible Protocol Specification and Execution: Applying Event Calculus Planning using Commitments. In: International Conference on Autonomous Agents and Multiagent Systems, AAMAS, pp. 527\u2013534 (2002)","DOI":"10.1145\/544862.544867"}],"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_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,13]],"date-time":"2023-02-13T16:09:04Z","timestamp":1676304544000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-37890-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642378898","9783642378904"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37890-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}