{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:49:06Z","timestamp":1725745746954},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642398773"},{"type":"electronic","value":"9783642398780"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39878-0_4","type":"book-chapter","created":{"date-parts":[[2013,8,21]],"date-time":"2013-08-21T21:30:30Z","timestamp":1377120630000},"page":"39-50","source":"Crossref","is-referenced-by-count":2,"title":["$\\cal{DIESECT}$ : A $\\cal{DI}$ stributed $\\cal{E}$ nvironment for $\\cal{S}$ imulating $\\cal{E}$ -commerce $\\cal{C}$ ontrac $\\cal{T}$ s"],"prefix":"10.1007","author":[{"given":"Damian","family":"Wood","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00d6zg\u00fcr","family":"Kafal\u0131","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kostas","family":"Stathis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.datak.2004.03.006","volume":"51","author":"P.R. Krishna","year":"2004","unstructured":"Krishna, P.R., Karlapalem, K., Chiu, D.K.W.: An erec framework for e-contract modeling, enactment and monitoring. Data Knowl. Eng.\u00a051(1), 31\u201358 (2004)","journal-title":"Data Knowl. Eng."},{"issue":"1","key":"4_CR2","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/s10472-012-9282-1","volume":"64","author":"\u00d6. Kafal\u0131","year":"2012","unstructured":"Kafal\u0131, \u00d6., Torroni, P.: Exception diagnosis in multiagent contract executions. Annals of Mathematics and Artificial Intelligence\u00a064(1), 73\u2013107 (2012)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"4_CR3","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 International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 527\u2013534 (2002)","DOI":"10.1145\/544862.544867"},{"key":"4_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/978-3-540-85834-8_23","volume-title":"Cooperative Information Agents XII","author":"N. Faci","year":"2008","unstructured":"Faci, N., Modgil, S., Oren, N., Meneguzzi, F., Miles, S., Luck, M.: Towards a monitoring framework for agent-based contract systems. In: Klusch, M., P\u011bchou\u010dek, M., Polleres, A. (eds.) CIA 2008. LNCS (LNAI), vol.\u00a05180, pp. 292\u2013305. Springer, Heidelberg (2008)"},{"issue":"6","key":"4_CR5","doi-asserted-by":"crossref","first-page":"291","DOI":"10.3233\/MGS-2011-0179","volume":"7","author":"J. McGinnis","year":"2011","unstructured":"McGinnis, J., Stathis, K., Toni, F.: A formal model of agent-oriented virtual organisations and their formation. Multiagent and Grid Systems\u00a07(6), 291\u2013310 (2011)","journal-title":"Multiagent and Grid Systems"},{"key":"4_CR6","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":"4_CR7","unstructured":"Kafal\u0131, \u00d6., Yolum, P.: A distributed treatment of exceptions in multiagent contracts. In: Proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies, DALT (2011)"},{"key":"4_CR8","unstructured":"Chesani, F., Mello, P., Montali, M., Torroni, P.: Commitment tracking via the reactive event calculus. In: Proceedings of the 21st International Joint Conference on Artifical Intelligence (IJCAI), pp. 91\u201396 (2009)"},{"key":"4_CR9","unstructured":"El Menshawy, M., Bentahar, J., Qu, H., Dssouli, R.: On the verification of social commitments and time. In: Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 483\u2013490 (2011)"},{"key":"4_CR10","unstructured":"Bellifemine, F., Poggi, A., Rimassa, G., Turci, P.: An object-oriented framework to realize agent systems. In: WOA Workshop: From Objects to Agents, pp. 52\u201357 (2000)"},{"key":"4_CR11","unstructured":"Chopra, A.K., Singh, M.P.: Multiagent commitment alignment. In: Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 937\u2013944 (2009)"},{"key":"4_CR12","unstructured":"Chesani, F., Mello, P., Montali, M., Torroni, P.: Monitoring time-aware social commitments with reactive event calculus. In: 20th European Meeting on Cybernetics and Systems Research, 7th International Symposium \u201dFrom Agent Theory to Agent Implementation\u201d (AT2AI-7), pp. 447\u2013452 (2010)"},{"issue":"1","key":"4_CR13","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing\u00a04(1), 67\u201395 (1986)","journal-title":"New Generation Computing"},{"volume-title":"Organizing Business Knowledge: The MIT Process Handbook","year":"2003","key":"4_CR14","unstructured":"Malone, T.W., Crowston, K., Herman, G. (eds.): Organizing Business Knowledge: The MIT Process Handbook. MIT Press, Cambridge (2003)"},{"key":"4_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/11533092_6","volume-title":"Computational Logic in Multi-Agent Systems","author":"A.C. Kakas","year":"2005","unstructured":"Kakas, A.C., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: Declarative agent control. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol.\u00a03487, pp. 96\u2013110. Springer, Heidelberg (2005)"},{"key":"4_CR16","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-29414-3_8","volume-title":"Logic Programs, Norms and Action","author":"S. Bragaglia","year":"2012","unstructured":"Bragaglia, S., Chesani, F., Mello, P., Montali, M., Torroni, P.: Reactive event calculus for monitoring global computing applications. In: Artikis, A., Craven, R., Kesim \u00c7i\u00e7ekli, N., Sadighi, B., Stathis, K. (eds.) Sergot Festschrift 2012. LNCS (LNAI), vol.\u00a07360, pp. 123\u2013146. Springer, Heidelberg (2012)"},{"key":"4_CR17","first-page":"277","volume":"15","author":"P. Grefen","year":"2000","unstructured":"Grefen, P., Aberer, K., Ludwig, H., Hoffner, Y.: Crossflow: Cross-organizational workflow management in dynamic virtual enterprises. International Journal of Computer Systems Science & Engineering\u00a015, 277\u2013290 (2000)","journal-title":"International Journal of Computer Systems Science & Engineering"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-642-14962-7_6","volume-title":"Coordination, Organizations, Institutions and Norms in Agent Systems V","author":"V. Urovi","year":"2010","unstructured":"Urovi, V., Stathis, K.: Playing with agent coordination patterns in MAGE. In: Padget, J., Artikis, A., Vasconcelos, W., Stathis, K., da Silva, V.T., Matson, E., Polleres, A. (eds.) COIN 2009. LNCS, vol.\u00a06069, pp. 86\u2013101. Springer, Heidelberg (2010)"},{"key":"4_CR19","unstructured":"Molina-jimenez, C., Shrivastava, S., Solaiman, E., Warne, J.: Contract representation for run-time monitoring and enforcement. In: Proc. IEEE Int. Conf. on E-Commerce (CEC), pp. 103\u2013110. IEEE (2003)"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Grosof, B.N., Poon, T.C.: Sweetdeal: Representing agent contracts with exceptions using xml rules, ontologies, and process descriptions, pp. 340\u2013349. ACM Press (2003)","DOI":"10.2139\/ssrn.442040"},{"issue":"2-3","key":"4_CR21","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/s10588-006-9539-5","volume":"12","author":"F. Sadri","year":"2006","unstructured":"Sadri, F., Stathis, K., Toni, F.: Normative KGP agents. Computational & Mathematical Organization Theory\u00a012(2-3), 101\u2013126 (2006)","journal-title":"Computational & Mathematical Organization Theory"},{"key":"4_CR22","unstructured":"Fornara, N., Colombetti, M.: Specifying and enforcing norms in artificial institutions. In: Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 1481\u20131484 (2008)"},{"key":"4_CR23","unstructured":"Kafal\u0131, \u00d6., G\u00fcnay, A., Yolum, P.: \n                    \n                      \n                    \n                    $\\mathcal{PROTOSS}$\n                  : A run time tool for detecting \n                    \n                      \n                    \n                    $\\mathcal{PR}$\n                  ivacy vi\n                    \n                      \n                    \n                    $\\mathcal{O}$\n                  la\n                    \n                      \n                    \n                    $\\mathcal{T}$\n                  ions in \n                    \n                      \n                    \n                    $\\mathcal{O}$\n                  nline \n                    \n                      \n                    \n                    $\\mathcal{S}$\n                  ocial network\n                    \n                      \n                    \n                    $\\mathcal{S}$\n                  . In: IEEE\/ACM International Conference on Advances in Social Networks Analysis and Mining (2012)"}],"container-title":["Lecture Notes in Business Information Processing","E-Commerce and Web Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39878-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T15:31:28Z","timestamp":1558020688000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39878-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642398773","9783642398780"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39878-0_4","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2013]]}}}