{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T10:42:22Z","timestamp":1768560142267,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"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_11","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T09:11:34Z","timestamp":1280394694000},"page":"183-200","source":"Crossref","is-referenced-by-count":19,"title":["Nonmonotonic Commitment Machines"],"prefix":"10.1007","author":[{"given":"Amit","family":"Chopra","sequence":"first","affiliation":[]},{"given":"Munindar P.","family":"Singh","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"1104","DOI":"10.1109\/TC.1980.1675516","volume":"29","author":"R.G. Smith","year":"1980","unstructured":"Smith, R.G.: The contract net protocol: High-level communication and control in a distributed problem solver. IEEE Transactions on Computers\u00a029, 1104\u20131113 (1980)","journal-title":"IEEE Transactions on Computers"},{"key":"11_CR2","unstructured":"Cox, B., Tygar, J., Sirbu, M.: Netbill security and transaction protocol. In: Proceedings of the First USENIXWorkshop on Electronic Commerce, pp. 77\u201388 (1995)"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence (2003) (to appear)","DOI":"10.1016\/j.artint.2002.12.001"},{"key":"11_CR4","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)"},{"key":"11_CR5","unstructured":"McCarthy, J.: Elaboration tolerance. In progress (1999), http:\/\/www-formal.stanford.edu\/jmc\/elaboration.html"},{"key":"11_CR6","unstructured":"Lifschitz, V.: Missionaries and cannibals in the causal calculator. In: Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning, pp. 85\u201396 (2000)"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"327","DOI":"10.2307\/2185537","volume":"101","author":"M.E. Bratman","year":"1992","unstructured":"Bratman, M.E.: Shared cooperative activity. The Philosophical Review\u00a0101, 327\u2013341 (1992)","journal-title":"The Philosophical Review"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Shoham, Y.: Agent-oriented programming. Artificial Intelligence\u00a060, 51\u201392 (1993)","journal-title":"Artificial Intelligence"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0004-3702(95)00103-4","volume":"86","author":"B.J. Grosz","year":"1996","unstructured":"Grosz, B.J., Kraus, S.: Collaborative plans for complex group action. Artificial Intelligence\u00a086, 269\u2013357 (1996)","journal-title":"Artificial Intelligence"},{"key":"11_CR10","unstructured":"Castelfranchi, C.: Commitments: From individual intentions to groups and organizations. In: Proceedings of the AAAI 1993 Workshop on AI and Theories of Groups and Organizations: Conceptual and Empirical Research (1993)"},{"key":"11_CR11","unstructured":"Krogh, C.: Obligations in multiagent systems. In: \u00c5modt, A., Komorowski, J. (eds.) Scandinavian Artificial Intelligence Conference 1995 (SCAI 1995), Trondheim, pp. 19\u201330 (1995)"},{"key":"11_CR12","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: Toward a unification of normative concepts. Artificial Intelligence and Law\u00a07, 97\u2013113 (1999)","journal-title":"Artificial Intelligence and Law"},{"key":"11_CR13","volume-title":"Proceedings of the 1999 IJCAI Workshop on Agent Communication Languages","author":"M.P. Singh","year":"2000","unstructured":"Singh, M.P.: A social semantics for agent communication languages. In: Proceedings of the 1999 IJCAI Workshop on Agent Communication Languages, Springer, Heidelberg (2000)"},{"key":"11_CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: Logic-based calculus of events. New Generation Computing\u00a04, 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"McCarthy, J.: Situations, actions and causal laws. TR, Stanford University (1963)","DOI":"10.21236\/AD0785031"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Girault, C., Valk, R.: Petri Nets for System Engineering (2003)","DOI":"10.1007\/978-3-662-05324-9"},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1017\/S0269888900000205","volume":"2","author":"N.R. Jennings","year":"1993","unstructured":"Jennings, N.R.: Commitments and conventions: The foundation of coordination in multiagent systems. Knowledge Engineering Review\u00a02, 223\u2013250 (1993)","journal-title":"Knowledge Engineering Review"},{"key":"11_CR20","unstructured":"Sandholm, T., Lesser, V.: Issues in automated negotiation and electronic commerce: Extending the contract net framework. In: [?], pp. 66\u201373 (1998) (Reprinted from Proceedings of the International Conference on Multiagent Systems, 1995)"},{"key":"11_CR21","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1145\/544862.544867","volume-title":"Proceedings of the 1st International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS)","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 Multi Agent Systems (AAMAS), pp. 527\u2013534. ACM Press, New York (2002)"},{"key":"11_CR22","volume-title":"Information Modeling and Knowledge Bases XII, Frontiers in Artificial Intelligence and Applications","author":"J.L. Koning","year":"2001","unstructured":"Koning, J.L., Huget, M.P.: A semi-formal specification language dedicated to interaction protocols. In: Kangassalo, H., Jaakkola, H., Kawaguchi, E. (eds.) Information Modeling and Knowledge Bases XII, Frontiers in Artificial Intelligence and Applications, IOS Press, Amsterdam (2001)"},{"key":"11_CR23","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, 40\u201347 (1998)","journal-title":"IEEE Computer"},{"key":"11_CR24","unstructured":"Sadek, D.: Compliance in Arcol, Personal communication (1997)"},{"key":"11_CR25","first-page":"456","volume-title":"Proceedings of the International Conference on Information and Knowledge Management","author":"T. Finin","year":"1994","unstructured":"Finin, T., Fritzson, R., McKay, D., McEntire, R.: KQML as an agent communication language. In: Proceedings of the International Conference on Information and Knowledge Management, pp. 456\u2013463. ACM Press, New York (1994)"},{"key":"11_CR26","first-page":"357","volume-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems","author":"F. Dignum","year":"2002","unstructured":"Dignum, F., van Linder, B.: Modelling social agents: Towards deliberate communication. In: Handbook of Defeasible Reasoning and Uncertainty Management Systems, pp. 357\u2013380. Kluwer, Dordrecht (2002)"},{"key":"11_CR27","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1145\/375735.376427","volume-title":"Proceedings of the Fifth International Conference on Autonomous Agents","author":"F. Guerin","year":"2001","unstructured":"Guerin, F., Pitt, J.: Denotational semantics for agent communication languages. In: Proceedings of the Fifth International Conference on Autonomous Agents, pp. 497\u2013504. ACM Press, New York (2001)"},{"key":"11_CR28","volume-title":"Design and Validation of Computer Protocols","author":"G.J. Holzmann","year":"1991","unstructured":"Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice-Hall, London (1991)"},{"key":"11_CR29","unstructured":"W3C: Business process execution language for web services, version 1.1 (2003), http:\/\/www-106.ibm.com\/developerworks\/webservices\/library\/ws-bpel\/"}],"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_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T23:57:31Z","timestamp":1559347051000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24608-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540207696","9783540246084"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24608-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}