{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T06:28:54Z","timestamp":1775888934396,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642226359","type":"print"},{"value":"9783642226366","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22636-6_2","type":"book-chapter","created":{"date-parts":[[2011,10,8]],"date-time":"2011-10-08T06:45:59Z","timestamp":1318056359000},"page":"17-36","source":"Crossref","is-referenced-by-count":9,"title":["Analyzing Contract Robustness through a Model of Commitments"],"prefix":"10.1007","author":[{"given":"Amit K.","family":"Chopra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nir","family":"Oren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sanjay","family":"Modgil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nirmit","family":"Desai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Miles","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Luck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Munindar P.","family":"Singh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"6","key":"2_CR1","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1023\/A:1020643206972","volume":"11","author":"A.S. Abrahams","year":"2002","unstructured":"Abrahams, A.S., Bacon, J.M.: A software implementation of Kimbrough\u2019s disquotation theory for representing and enforcing electronic commerce contracts. Group Decision and Negotiation\u00a011(6), 487\u2013524 (2002)","journal-title":"Group Decision and Negotiation"},{"key":"2_CR2","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications, Multiagent Systems, Artificial Societies, and Simulated Organizations","author":"R.H. Bordini","year":"2005","unstructured":"Bordini, R.H., Dastani, M., Dix, J., Fallah-Seghrouchni, A.E.: Multi-Agent Programming: Languages, Platforms and Applications, Multiagent Systems, Artificial Societies, and Simulated Organizations, vol.\u00a015. Springer, Heidelberg (2005)"},{"key":"2_CR3","doi-asserted-by":"publisher","DOI":"10.1002\/9780470061848","volume-title":"Programming Multi-Agent Systems in AgentSpeak using Jason","author":"R.H. Bordini","year":"2007","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.J.: Programming Multi-Agent Systems in AgentSpeak using Jason. John Wiley & Sons, Chichester (2007)"},{"issue":"3","key":"2_CR4","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/B:AGNT.0000018806.20944.ef","volume":"8","author":"P. Bresciani","year":"2004","unstructured":"Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An agent-oriented software development methodology. Journal of Autonomous Agents and Multi-Agent Systems\u00a08(3), 203\u2013236 (2004)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"2_CR5","unstructured":"Carbogim, D., Robertson, D.: Contract-based negotiation via argumentation (a preliminary report). In: Proceedings of the Workshop on Multi-Agent Systems in Logic Programming: Theory, Application, and Issues (MAS) held at the International Conference on Logic Programming (ICLP), Las Cruces, New Mexico (1999)"},{"key":"2_CR6","unstructured":"Daskalopulu, A.: Logic-based tools for legal contract drafting: Prospects and problems. In: Proceedings of the First Logic Symposium, pp. 213\u2013222. University of Cyprus Press (1997)"},{"issue":"6","key":"2_CR7","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1023\/A:1020691116541","volume":"11","author":"A. Daskalopulu","year":"2002","unstructured":"Daskalopulu, A., Dimitrakos, T., Maibaum, T.: Evidence-based electronic contract performance monitoring. Group Decision and Negotiation\u00a011(6), 469\u2013485 (2002)","journal-title":"Group Decision and Negotiation"},{"key":"2_CR8","first-page":"787","volume-title":"Proceedings of the 7th International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS)","author":"N. Desai","year":"2008","unstructured":"Desai, N., Narendra, N.C., Singh, M.P.: Checking correctness of business contracts via commitments. In: Proceedings of the 7th International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS), pp. 787\u2013794. IFAAMAS, Columbia (2008)"},{"key":"2_CR9","unstructured":"Gisler, M., Stanoevska-Slabeva, K., Greunz, M.: Legal aspects of electronic contracts. In: Proceedings of the CAiSE Workshop on Infrastructure for Dynamic Business-to-Business Service Outsourcing (IDSO), Stockholm. CEUR Workshop Proceedings, vol.\u00a030, CEUR-WS.org (2000)"},{"issue":"2-3","key":"2_CR10","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1142\/S0218843005001092","volume":"14","author":"G. Governatori","year":"2005","unstructured":"Governatori, G.: Representing business contracts in RuleML. International Journal of Cooperative Information Systems\u00a014(2-3), 181\u2013216 (2005)","journal-title":"International Journal of Cooperative Information Systems"},{"issue":"4","key":"2_CR11","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1080\/10864415.2004.11044305","volume":"8","author":"B. Grosof","year":"2004","unstructured":"Grosof, B., Poon, T.C.: SweetDeal: Representing agent contracts with exceptions using semantic web rules, ontologies, and process descriptions. International Journal of Electronic Commerce\u00a08(4), 61\u201398 (2004)","journal-title":"International Journal of Electronic Commerce"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/11752660_6","volume-title":"Agent-Oriented Software Engineering VI","author":"A.U. Mallya","year":"2006","unstructured":"Mallya, A.U., Singh, M.P.: Incorporating commitment protocols into Tropos. In: M\u00fcller, J.P., Zambonelli, F. (eds.) AOSE 2005. LNCS, vol.\u00a03950, pp. 69\u201380. Springer, Heidelberg (2006)"},{"key":"2_CR13","unstructured":"Meneguzzi, F., Miles, S., Holt, C., Luck, M., Oren, N., Faci, N., Kollingbaum, M.: Electronic contracting in aircraft aftercare: A case study. In: Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems, pp. 63\u201370 (2008)"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/978-3-642-19208-1_12","volume-title":"AOSE 2009","author":"I. Nunes","year":"2011","unstructured":"Nunes, I., Cirillo, E., de Lucena, C.J.P., Sudeikat, J., Hahn, C., Gomez-Sanz, J.J.: A survey on the implementation of agent oriented specifications. In: Gomez-Sanz, J.J. (ed.) AOSE 2009. LNCS, vol.\u00a06038, pp. 169\u2013179. Springer, Heidelberg (2011)"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Oren, N., Panagiotidi, S., V\u00e1zquez-Salceda, J., Modgil, S., Luck, M., Miles, S.: Towards a formalisation of electronic contracting environments. In: Proceedings of the International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems (COIN) held at AAAI, Chicago, pp. 61\u201368 (2008)","DOI":"10.1007\/978-3-642-00443-8_11"},{"issue":"1","key":"2_CR16","first-page":"5","volume":"11","author":"J.A. Rodr\u00edguez-Aguilar","year":"1998","unstructured":"Rodr\u00edguez-Aguilar, J.A., Mart\u00edn, F.J., Noriega, P., Garcia, P., Sierra, C.: Towards a test-bed for trading agents in electronic auction markets. AI Communications\u00a011(1), 5\u201319 (1998)","journal-title":"AI Communications"},{"key":"2_CR17","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":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/978-3-642-02463-4_22","volume-title":"Conceptual Modeling: Foundations and Applications","author":"P.R. Telang","year":"2009","unstructured":"Telang, P.R., Singh, M.P.: Enhancing Tropos with commitments. In: Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds.) Conceptual Modeling: Foundations and Applications. LNCS, vol.\u00a05600, pp. 417\u2013435. Springer, Heidelberg (2009)"},{"key":"2_CR19","doi-asserted-by":"crossref","first-page":"426","DOI":"10.1007\/978-3-642-17358-5_29","volume-title":"Proceedings of the 8th International Conference on Service-Oriented Computing (ICSOC)","author":"P.R. Telang","year":"2010","unstructured":"Telang, P.R., Singh, M.P.: Abstracting and applying business modeling patterns from RosettaNet. In: Proceedings of the 8th International Conference on Service-Oriented Computing (ICSOC), pp. 426\u2013440. ACM, San Francisco (2010)"},{"key":"2_CR20","unstructured":"Telang, P.R., Singh, M.P.: Specifying and verifying cross-organizational business models: An agent-oriented approach. IEEE Transactions on Services Computing\u00a04 (in press, 2011)"},{"issue":"4","key":"2_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1867713.1867717","volume":"5","author":"D. Weyns","year":"2010","unstructured":"Weyns, D., Haesevoets, R., Helleboogh, A.: The MACODO organization model for context-driven dynamic agent organizations. ACM Transactions on Autonomous and Adaptive Systems (TAAS)\u00a05(4), 16:1\u201316:29 (2010)","journal-title":"ACM Transactions on Autonomous and Adaptive Systems (TAAS)"}],"container-title":["Lecture Notes in Computer Science","Agent-Oriented Software Engineering XI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22636-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,17]],"date-time":"2019-06-17T03:14:21Z","timestamp":1560741261000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22636-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642226359","9783642226366"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22636-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}