{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:27:31Z","timestamp":1725557251719},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642133374"},{"type":"electronic","value":"9783642133381"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13338-1_7","type":"book-chapter","created":{"date-parts":[[2010,6,8]],"date-time":"2010-06-08T14:57:30Z","timestamp":1276009050000},"page":"112-127","source":"Crossref","is-referenced-by-count":3,"title":["Detecting Exceptions in Commitment Protocols: Discovering Hidden States"],"prefix":"10.1007","author":[{"given":"\u00d6zg\u00fcr","family":"Kafal\u0131","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P\u0131nar","family":"Yolum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","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"},{"issue":"1-2","key":"7_CR2","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E. Giunchiglia","year":"2004","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence\u00a0153(1-2), 49\u2013104 (2004)","journal-title":"Artificial Intelligence"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"1345","DOI":"10.1145\/1160633.1160884","volume-title":"AAMAS 2006: Proceedings of the fifth international joint conference on Autonomous Agents and Multiagent Systems","author":"A.K. Chopra","year":"2006","unstructured":"Chopra, A.K., Singh, M.P.: Contextualizing commitment protocols. In: AAMAS 2006: Proceedings of the fifth international joint conference on Autonomous Agents and Multiagent Systems, pp. 1345\u20131352. ACM, New York (2006)"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1145\/544862.544867","volume-title":"AAMAS 2002: Proceedings of the first international joint conference on Autonomous Agents and Multiagent Systems","author":"P. Yolum","year":"2002","unstructured":"Yolum, P., Singh, M.P.: Flexible protocol specification and execution: applying event calculus planning using commitments. In: AAMAS 2002: Proceedings of the first international joint conference on Autonomous Agents and Multiagent Systems, pp. 527\u2013534. ACM, New York (2002)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Desai, N., Chopra, A.K., Arrott, M., Specht, B., Singh, M.P.: Engineering foreign exchange processes via commitment protocols. In: International Conference on Services Computing (IEEE SCC), pp. 514\u2013521 (2007)","DOI":"10.1109\/SCC.2007.58"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1145\/1082473.1082492","volume-title":"AAMAS 2005: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems","author":"A.U. Mallya","year":"2005","unstructured":"Mallya, A.U., Singh, M.P.: Modeling exceptions via commitment protocols. In: AAMAS 2005: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, pp. 122\u2013129. ACM, New York (2005)"},{"issue":"3","key":"7_CR7","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1010056221226","volume":"2","author":"M. Venkatraman","year":"1999","unstructured":"Venkatraman, M., Singh, M.P.: Verifying compliance with commitment protocols. Autonomous Agents and Multiagent Systems\u00a02(3), 217\u2013236 (1999)","journal-title":"Autonomous Agents and Multiagent Systems"},{"key":"7_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/11872283_8","volume-title":"Multiagent System Technologies","author":"F.D. Jonge","year":"2006","unstructured":"Jonge, F.D., Roos, N., Witteveen, C.: Diagnosis of multi-agent plan execution. In: Fischer, K., Timm, I.J., Andr\u00e9, E., Zhong, N. (eds.) MATES 2006. LNCS (LNAI), vol.\u00a04196, pp. 86\u201397. Springer, Heidelberg (2006)"},{"issue":"4","key":"7_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1380572.1380578","volume":"9","author":"M. Alberti","year":"2008","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: The sciff framework. ACM Transactions on Computational Logic\u00a09(4), 1\u201343 (2008)","journal-title":"ACM Transactions on Computational Logic"},{"key":"7_CR10","unstructured":"Lomuscio, A., Qu, H., Solanki, M.: Towards verifying compliance in agent-based web service compositions. In: Proceedings of 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 265\u2013272 (2008)"},{"key":"7_CR11","unstructured":"Guerin, F., Pitt, J.: Agent communication frameworks and verification. In: AAMAS 2002 Workshop on Agent Communication Languages (2002)"}],"container-title":["Lecture Notes in Computer Science","Languages, Methodologies, and Development Tools for Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13338-1_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:01:44Z","timestamp":1619784104000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13338-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642133374","9783642133381"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13338-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}