{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:49:10Z","timestamp":1725670150707},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642291128"},{"type":"electronic","value":"9783642291135"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29113-5_13","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T17:11:51Z","timestamp":1332436311000},"page":"120-127","source":"Crossref","is-referenced-by-count":2,"title":["A Retrospective on the Reactive Event Calculus and Commitment Modeling Language"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Torroni","sequence":"first","affiliation":[]},{"given":"Federico","family":"Chesani","sequence":"additional","affiliation":[]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"13_CR1","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":"13_CR2","unstructured":"Artikis, A., Skarlatidis, A., Portet, F., Paliouras, G.: Logic-based event recognition. Knowledge Engineering Review (to appear)"},{"key":"13_CR3","unstructured":"Baldoni, M., Baroglio, C., Marengo, E.: Behavior-oriented commitment-based protocols. In: Proc.\u00a019th ECAI. Frontiers in Artificial Intelligence and Applications, vol.\u00a0215, pp. 137\u2013142. IOS Press (2010)"},{"key":"13_CR4","unstructured":"Baldoni, M., Baroglio, C., Marengo, E.: Constraints among commitments: Regulative specification of interaction protocols. In: Proc. AC 2010, Toronto, Canada, pp. 2\u201318 (May 2010), http:\/\/users.encs.concordia.ca\/~bentahar\/AC2010\/AC2010.htm"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-642-20715-0_4","volume-title":"Declarative Agent Languages and Technologies VIII","author":"M. Baldoni","year":"2011","unstructured":"Baldoni, M., Baroglio, C., Marengo, E.: Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS. In: Omicini, A., Sardina, S., Vasconcelos, W. (eds.) DALT 2010. LNCS, vol.\u00a06619, pp. 60\u201377. Springer, Heidelberg (2011)"},{"key":"13_CR6","unstructured":"Baldoni, M., Baroglio, C., Marengo, E., Patti, V.: Constitutive and regulative specifications of commitment protocols: A decoupled approach. ACM Transactions on on Intelligent Systems and Technology (to appear)"},{"key":"13_CR7","unstructured":"Bragaglia, S., Chesani, F., Mello, P., Montali, M., Torroni, P.: Reactive event calculus for monitoring global computing applications. In: Essays in Honour of Marek Sergot: Computational Logic for Normative Systems. Springer, Heidelberg (to appear)"},{"key":"13_CR8","unstructured":"Castelfranchi, C.: Commitments: From individual intentions to groups and organizations. In: Proc.\u00a01st ICMAS, pp. 41\u201348. The MIT Press (1995)"},{"key":"13_CR9","unstructured":"Chesani, F., Mello, P., Montali, M., Torroni, P.: Commitment tracking via the reactive event calculus. In: Proc.\u00a021st IJCAI, pp. 91\u201396. AAAI (2009)"},{"key":"13_CR10","unstructured":"Chesani, F., Mello, P., Montali, M., Torroni, P.: A REC-based commitment tracking tool. In: 10th AI*IA\/TABOO Italian Joint Workshop \u201cFrom Objects to Agents\u201d, WOA 2009 (2009)"},{"issue":"1-2","key":"13_CR11","doi-asserted-by":"crossref","first-page":"135","DOI":"10.3233\/FI-2010-361","volume":"105","author":"F. Chesani","year":"2010","unstructured":"Chesani, F., Mello, P., Montali, M., Torroni, P.: A logic-based, reactive calculus of events. Fundamenta Informaticae\u00a0105(1-2), 135\u2013161 (2010)","journal-title":"Fundamenta Informaticae"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-642-13480-7_13","volume-title":"Agent and Multi-Agent Systems: Technologies and Applications","author":"F. Chesani","year":"2010","unstructured":"Chesani, F., Mello, P., Montali, M., Torroni, P.: Role Monitoring in Open Agent Societies. In: J\u0119drzejowicz, P., Nguyen, N.T., Howlet, R.J., Jain, L.C. (eds.) KES-AMSTA 2010, Part I. LNCS, vol.\u00a06070, pp. 112\u2013121. Springer, Heidelberg (2010)"},{"issue":"7","key":"13_CR13","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1080\/01969722.2011.610711","volume":"42","author":"F. Chesani","year":"2011","unstructured":"Chesani, F., Mello, P., Montali, M., Torroni, P.: Monitoring time-aware commitments within agent-based simulation environments. Cybernetics and Systems\u00a042(7), 546\u2013566 (2011)","journal-title":"Cybernetics and Systems"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-14843-9_2","volume-title":"Programming Multi-Agent Systems","author":"A.K. Chopra","year":"2010","unstructured":"Chopra, A.K., Singh, M.P.: Elements of a Business-Level Architecture for Multiagent Systems. In: Braubach, L., Briot, J.-P., Thangarajah, J. (eds.) ProMAS 2009. LNCS, vol.\u00a05919, pp. 15\u201330. Springer, Heidelberg (2010)"},{"issue":"1-2","key":"13_CR15","doi-asserted-by":"crossref","first-page":"79","DOI":"10.3233\/FI-2010-359","volume":"105","author":"A. Dovier","year":"2010","unstructured":"Dovier, A., Formisano, A., Pontelli, E.: An investigation of multi-agent planning in clp. Fundamenta Informaticae\u00a0105(1-2), 79\u2013103 (2010)","journal-title":"Fundamenta Informaticae"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-642-13338-1_8","volume-title":"Languages, Methodologies, and Development Tools for Multi-Agent Systems","author":"M. El-Menshawy","year":"2010","unstructured":"El-Menshawy, M., Bentahar, J., Dssouli, R.: Verifiable Semantic Model for Agent Interactions Using Social Commitments. In: Dastani, M., El Fallah Segrouchni, A., Leite, J., Torroni, P. (eds.) LADS 2009. LNCS, vol.\u00a06039, pp. 128\u2013152. Springer, Heidelberg (2010)"},{"issue":"1","key":"13_CR17","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1111\/j.1467-8640.2007.00295.x","volume":"23","author":"M. Fisher","year":"2007","unstructured":"Fisher, M., Bordini, R.H., Hirsch, B., Torroni, P.: Computational logics and agents: A road map of current technologies and future trends. Computational Intelligence\u00a023(1), 61\u201391 (2007)","journal-title":"Computational Intelligence"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Fornara, N., Colombetti, M.: Operational specification of a commitment-based agent communication language. In: Proc.\u00a01st AAMAS, pp. 536\u2013542. ACM Press (2002)","DOI":"10.1145\/544862.544868"},{"key":"13_CR19","series-title":"LNAI","first-page":"51","volume-title":"DALT 2011","author":"A. Gunay","year":"2012","unstructured":"Gunay, A., Yolum, P.: Detecting Conflicts in Commitments. In: Sakama, C., et al. (eds.) DALT 2011. LNCS (LNAI), vol.\u00a07169, pp. 51\u201366. Springer, Heidelberg (2012)"},{"key":"13_CR20","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-14977-1_9","volume-title":"Computational Logic in Multi-Agent Systems","author":"\u00d6. Kafal\u0131","year":"2010","unstructured":"Kafal\u0131, \u00d6., Chesani, F., Torroni, P.: What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) CLIMA XI. LNCS (LNAI), vol.\u00a06245, pp. 82\u201398. Springer, Heidelberg (2010)"},{"key":"13_CR21","unstructured":"Kafali, O., Torroni, P.: Diagnosing commitments: delegation revisited (extended abstract). In: Proc.\u00a010th AAMAS, IFAAMAS, pp. 1175\u20131176 (2011)"},{"key":"13_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-642-22359-4_13","volume-title":"Computational Logic in Multi-Agent Systems","author":"\u00d6. Kafal\u0131","year":"2011","unstructured":"Kafal\u0131, \u00d6., Torroni, P.: Social Commitment Delegation and Monitoring. In: Leite, J., Torroni, P., \u00c5gotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS, vol.\u00a06814, pp. 171\u2013189. Springer, Heidelberg (2011)"},{"key":"13_CR23","unstructured":"Kafali, O., Yolum, P.: A distributed treatment of exceptions in multiagent contracts (preliminary report). In: Proc.\u00a09th DALT, pp. 65\u201378 (2011)"},{"key":"13_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-540-24608-4_10","volume-title":"Advances in Agent Communication","author":"A.U. Mallya","year":"2004","unstructured":"Mallya, A.U., Yolum, p., Singh, M.P.: Resolving Commitments among Autonomous Agents. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol.\u00a02922, pp. 166\u2013182. Springer, Heidelberg (2004)"},{"key":"13_CR25","unstructured":"Marengo, E., Baldoni, M., Baroglio, C., Chopra, A.K., Patti, V., Singh, M.P.: Commitments with regulations: Reasoning about safety and control in Regula. In: Proc.\u00a010th AAMAS, IFAAMAS, pp. 843\u2013850 (2011)"},{"key":"13_CR26","unstructured":"Menshawy, M.E., Bentahar, J., Qu, H., Dssouli, R.: On the verification of social commitments and time. In: Proc.\u00a010th AAMAS, IFAAMAS, pp. 483\u2013490 (2011)"},{"key":"13_CR27","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-642-14538-4","volume-title":"Specification and Verification of Declarative Open Interaction Models. A Logic-Based Approach","author":"M. Montali","year":"2010","unstructured":"Montali, M.: Specification and Verification of Declarative Open Interaction Models. A Logic-Based Approach. LNBIP, vol.\u00a056, pp. 383\u2013385. Springer, Heidelberg (2010)"},{"key":"13_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/978-3-540-89982-2_39","volume-title":"Logic Programming","author":"M. Montali","year":"2008","unstructured":"Montali, M., Torroni, P., Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P.: Verification from Declarative Specifications Using Logic Programming. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 440\u2013454. Springer, Heidelberg (2008)"},{"key":"13_CR29","unstructured":"Patkos, T.: A formal theory for reasoning about action, knowledge and time. PhD thesis, Department of Computer Science, University of Crete, Greece (2010)"},{"key":"13_CR30","unstructured":"Patkos, T., Plexousakis, D.: Efficient epistemic reasoning in partially observable dynamic domains using hidden causal dependencies. In: Proc.\u00a09th NRAC, pp. 55\u201362 (2011), http:\/\/ijcai-11.iiia.csic.es\/files\/proceedings\/W4-NRAC11-Proceedings.pdf#page=59"},{"key":"13_CR31","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":"13_CR32","series-title":"LNAI","first-page":"67","volume-title":"DALT 2011","author":"T. Son","year":"2012","unstructured":"Son, T., Pontelli, E., Sakama, C.: Formalizing Commitments Using Action Languages. In: Sakama, C., et al. (eds.) DALT 2011. LNCS (LNAI), vol.\u00a07169, pp. 67\u201383. Springer, Heidelberg (2012)"},{"key":"13_CR33","doi-asserted-by":"crossref","unstructured":"Son, T., Pontelli, E., Sakama, C.: Formalizing commitments using action languages. In: Proc.\u00a010th Symposium on Logical Formalizations of Commonsense Reasoning. AAAI Spring Symposium Series. Stanford University (2011)","DOI":"10.1007\/978-3-642-29113-5_6"},{"key":"13_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-11355-0_14","volume-title":"Declarative Agent Languages and Technologies VII","author":"P. Torroni","year":"2010","unstructured":"Torroni, P., Chesani, F., Mello, P., Montali, M.: Social Commitments in Time: Satisfied or Compensated. In: Baldoni, M., Bentahar, J., van Riemsdijk, M.B., Lloyd, J. (eds.) DALT 2009. LNCS, vol.\u00a05948, pp. 228\u2013243. Springer, Heidelberg (2010)"},{"key":"13_CR35","doi-asserted-by":"publisher","first-page":"263","DOI":"10.4018\/978-1-60566-256-5.ch011","volume-title":"Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models","author":"P. Torroni","year":"2009","unstructured":"Torroni, P., Yolum, P., Singh, M.P., Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P.: Modelling interactions via commitments and expectations. In: Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, pp. 263\u2013284. IGI Global, Hershey (2009)"},{"key":"13_CR36","unstructured":"Urovi, V., Bromuri, S., Stathis, K., Artikis, A.: Run-time support for norm-governed systems. Technical Report CSD-TR-10-01, Royal Holloway, University of London, UK (2010), http:\/\/golem.cs.rhul.ac.uk\/TR\/CSD-TR-10-01.pdf"},{"key":"13_CR37","doi-asserted-by":"crossref","unstructured":"Yolum, P., Singh, M.: Flexible protocol specification and execution: applying event calculus planning using commitments. In: Proc.\u00a01st AAMAS, pp. 527\u2013534. ACM Press (2002)","DOI":"10.1145\/544862.544867"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies IX"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29113-5_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:24:27Z","timestamp":1620127467000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29113-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642291128","9783642291135"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29113-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}