{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T14:19:03Z","timestamp":1777299543105,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540261728","type":"print"},{"value":"9783540319276","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11493402_12","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T01:52:26Z","timestamp":1278985946000},"page":"198-220","source":"Crossref","is-referenced-by-count":28,"title":["Enhancing Commitment Machines"],"prefix":"10.1007","author":[{"given":"Michael","family":"Winikoff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Harland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Yolum, P., Singh, M.P.: Flexible protocol specification and execution: Applying event calculus planning using commitments. In: Proceedings of the 1st Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS), pp. 527\u2013534 (2002)","DOI":"10.1145\/544862.544867"},{"key":"12_CR2","first-page":"227","volume":"42","author":"P. Yolum","year":"2004","unstructured":"Yolum, P., Singh, M.P.: Reasoning about commitments in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and Artificial Intelligence (AMAI), Special Issue on Computational Logic in Multi-Agent Systems\u00a042, 227\u2013253 (2004)","journal-title":"Annals of Mathematics and Artificial Intelligence (AMAI), Special Issue on Computational Logic in Multi-Agent Systems"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Reisig, W.: Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1985) ISBN 0-387-13723-8","DOI":"10.1007\/978-3-642-69968-9"},{"key":"12_CR4","unstructured":"Huget, M.P., Odell, J., Haugen, \u00d8., Nodine, M.M., Cranefield, S., Levy, R., Padgham, L.: Fipa modeling: Interaction diagrams. On \n                    \n                      http:\/\/www.auml.org\n                    \n                    \n                   under Working Documents (2003) FIPA Working Draft (version 2003-07-02)"},{"key":"12_CR5","unstructured":"Odell, J., Parunak, H., Bauer, B.: Extending UML for agents. In: Proceedings of the Agent-Oriented Information Systems Workshop at the 17th National conference on Artificial Intelligence (2000)"},{"key":"#cr-split#-12_CR6.1","unstructured":"Sirbu, M.A.: Credits and debits on the internet. In: Huhns, M.N., Singh, M.P. (eds.) Readings in Agents, pp. 299???305. Morgan Kaufman, San Francisco (1998);"},{"key":"#cr-split#-12_CR6.2","unstructured":"Reprinted from IEEE Spectrum (1997)"},{"key":"12_CR7","first-page":"535","volume-title":"Proceeding of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems","author":"N. Fornara","year":"2002","unstructured":"Fornara, N., Colombetti, M.: Operational specification of a commitment-based agent communication language. In: Proceeding of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems, Bologna, Italy, pp. 535\u2013542. ACM Press, New York (2002)"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1145\/544862.544869","volume-title":"Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems","author":"S. Kumar","year":"2002","unstructured":"Kumar, S., Huber, M.J., Cohen, P.R.: Representing and executing protocols as joint actions. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems, Bologna, Italy, pp. 543\u2013550. ACM Press, New York (2002)"},{"key":"12_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/11493402_7","volume-title":"Declarative Agent Languages and Technologies II","author":"M. Baldoni","year":"2005","unstructured":"Baldoni, M., Baroglio, C., Gungui, I., Martelli, A., Martelli, M., Mascardi, V., Patti, V., Schifanella, C.: Reasoning about agents\u2019 interaction protocols inside DCaseLP. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 112\u2013131. Springer, Heidelberg (2005)"},{"key":"12_CR10","unstructured":"Hutchison, J., Winikoff, M.: Flexibility and robustness in agent interaction protocols. In: Workshop on Challenges in Open Agent Systems at the First International Joint Conference on Autonomous Agents and Multi-Agents Systems, Bologna, Italy. ACM Press, New York (2002)"},{"key":"12_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/11493402_3","volume-title":"Declarative Agent Languages and Technologies II","author":"P. K\u00fcngas","year":"2005","unstructured":"K\u00fcngas, P., Matskin, M.: Partial deduction for linear logic \u2014 the symbolic negotiation perspective. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 35\u201352. Springer, Heidelberg (2005)"},{"key":"12_CR12","unstructured":"Chopra, A.K., Mallya, A.U., Desai, N.V., Singh, M.P.: Modeling flexible business processes. In: Leite, J., Omicini, A., Torroni, P., Yolum, P. (eds.) Preproceedings of Declarative Agent Languages and Technologies, pp. 93\u2013108 (2004)"},{"key":"12_CR13","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.: Commitment machines. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, pp. 235\u2013247. Springer, Heidelberg (2002)"},{"key":"12_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/11493402_10","volume-title":"Declarative Agent Languages and Technologies II","author":"W.W. Vasconcelos","year":"2005","unstructured":"Vasconcelos, W.W.: Norm verification and analysis of electronic institutions. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 166\u2013182. Springer, Heidelberg (2005)"},{"key":"12_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/11493402_8","volume-title":"Declarative Agent Languages and Technologies II","author":"C.D. Walton","year":"2005","unstructured":"Walton, C.D.: Model checking agent dialogues. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 132\u2013147. Springer, Heidelberg (2005)"},{"key":"12_CR16","unstructured":"Yolum, P., Singh, M.: Synthesizing finite state machines for communication protocols. Technical Report TR-2001-06, North Carolina State University (2001), Available from, \n                    \n                      http:\/\/www.csc.ncsu.edu\/research\/tech-reports\/README.html"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11493402_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:37:44Z","timestamp":1619505464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11493402_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261728","9783540319276"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11493402_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}