{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T05:17:30Z","timestamp":1777439850225,"version":"3.51.4"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319255231","type":"print"},{"value":"9783319255248","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-25524-8_37","type":"book-chapter","created":{"date-parts":[[2015,10,21]],"date-time":"2015-10-21T22:57:56Z","timestamp":1445468276000},"page":"547-556","source":"Crossref","is-referenced-by-count":3,"title":["Real-Time Conditional Commitment Logic"],"prefix":"10.1007","author":[{"given":"Warda","family":"El Kholy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"El Menshawy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amine","family":"Laarej","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jamal","family":"Bentahar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Faisal","family":"Al-Saqqar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rachida","family":"Dssouli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,28]]},"reference":[{"key":"37_CR1","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.simpat.2014.11.003","volume":"51","author":"F Al-Saqqar","year":"2015","unstructured":"Al-Saqqar, F., Bentahar, J., Sultan, K., Wan, W., Khosrowshahi, E.: Model checking temporal knowledge and commitments in multi-agent systems using reduction. Simulation Modelling Practice and Theory 51, 45\u201368 (2015)","journal-title":"Simulation Modelling Practice and Theory"},{"issue":"2","key":"37_CR2","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/2438653.2438657","volume":"4","author":"M Baldoni","year":"2013","unstructured":"Baldoni, M., Baroglio, C., Marengo, E., Patti, V.: Constitutive and regulative specifications of commitment protocols: A decoupled approach. ACM Transactions on Intelligent Systems and Technology 4(2), 22 (2013)","journal-title":"ACM Transactions on Intelligent Systems and Technology"},{"key":"37_CR3","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.knosys.2012.04.010","volume":"35","author":"J Bentahar","year":"2012","unstructured":"Bentahar, J., El-Menshawy, M., Qu, H., Dssoulia, R.: Communicative commitments: Model checking and complexity analysis. Knowledge-Based Systems 35, 21\u201334 (2012)","journal-title":"Knowledge-Based Systems"},{"issue":"1","key":"37_CR4","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s10458-012-9202-0","volume":"27","author":"F Chesani","year":"2013","unstructured":"Chesani, F., Mello, P., Montali, M., Torroni, P.: Representing and monitoring social commitments using the event calculus. Autonomous Agents and Multi-Agent Systems 27(1), 85\u2013130 (2013)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"37_CR5","unstructured":"Desai, N., Singh, M.: A modular action description language for protocol composition. In: Proceedings of the 22nd AAAI Conference on Artificial Intelligence, pp. 962\u2013967 (2007)"},{"key":"37_CR6","doi-asserted-by":"crossref","unstructured":"El-Kholy, W., Bentahar, J., El-Menshawy, M., Qu, H., Dssouli, R.: Conditional commitments: Reasoning and model checking. ACM Transaction on Software Engineering and Methodology 24, 9:1-9-49 (2014)","DOI":"10.1145\/2685613"},{"key":"37_CR7","doi-asserted-by":"publisher","first-page":"7478","DOI":"10.1016\/j.eswa.2014.05.046","volume":"41","author":"W El-Kholy","year":"2014","unstructured":"El-Kholy, W., Bentahar, J., El-Menshawy, M., Qu, H., Dssouli, R.: Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols. Expert Systems with Applications 41, 7478\u20137494 (2014)","journal-title":"Expert Systems with Applications"},{"issue":"3","key":"37_CR8","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/s10458-012-9208-7","volume":"27","author":"M El-Menshawy","year":"2013","unstructured":"El-Menshawy, M., Bentahar, J., El-Kholy, W., Dssouli, R.: Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*. Autonomous Agent Multi-Agent Systems 27(3), 375\u2013418 (2013)","journal-title":"Autonomous Agent Multi-Agent Systems"},{"key":"37_CR9","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. 6039, pp. 128\u2013152. Springer, Heidelberg (2010)"},{"key":"37_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-642-20715-0_11","volume-title":"Declarative Agent Languages and Technologies VIII","author":"M El-Menshawy","year":"2011","unstructured":"El-Menshawy, M., Bentahar, J., Dssouli, R.: Symbolic model checking commitment protocols using reduction. In: Omicini, A., Sardina, S., Vasconcelos, W. (eds.) DALT 2010. LNCS, vol. 6619, pp. 185\u2013203. Springer, Heidelberg (2011)"},{"issue":"1","key":"37_CR11","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1016\/j.eswa.2012.07.030","volume":"40","author":"M El-Menshawy","year":"2013","unstructured":"El-Menshawy, M., Bentahar, J., Kholy, W.E., Dssouli, R.: Verifying conformance of multi-agent commitment-based protocols. Expert Systems with Applications 40(1), 122\u2013138 (2013)","journal-title":"Expert Systems with Applications"},{"key":"37_CR12","unstructured":"El-Menshawy, M., Benthar, J., Qu, H., Dssouli, R.: On the verification of social commitments and time. In: Sonenberg, L., Stone, P., Tumer, K., Yolum, P. (eds.) AAMAS, pp. 483\u2013490. IFAAMAS (2011)"},{"issue":"4","key":"37_CR13","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/BF00355298","volume":"4","author":"EA Emerson","year":"1992","unstructured":"Emerson, E.A., Mok, A.K., Sistla, A.P., Srinivasan, J.: Quantitative temporal reasoning. Real-Time Systems 4(4), 331\u2013352 (1992)","journal-title":"Real-Time Systems"},{"key":"37_CR14","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press (1995)","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"37_CR15","series-title":"Lecture Notes in Computer Science (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":"AU Mallya","year":"2004","unstructured":"Mallya, A.U., Yolum, I., Singh, M.P.: Resolving commitments among autonomous agents. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol. 2922, pp. 166\u2013182. Springer, Heidelberg (2004)"},{"key":"37_CR16","unstructured":"Singh, M.: Semantical considerations on dialectical and practical commitments. In: Proceedings of 23rd AAAI Conference on Artificial Intelligence, pp. 176\u2013181 (2008)"},{"issue":"3","key":"37_CR17","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1109\/TSC.2011.4","volume":"5","author":"P Telang","year":"2012","unstructured":"Telang, P., Singh, M.: Specifying and verifying cross-organizational business models: An agent oriented approach. IEEE Transactions on Service Computing 5(3), 305\u2013318 (2012)","journal-title":"IEEE Transactions on Service Computing"},{"key":"37_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-540-32258-0_7","volume-title":"Agent Communication","author":"M Verdicchio","year":"2005","unstructured":"Verdicchio, M., Colombetti, M.: Dealing with time in content language expressions. In: van Eijk, R.M., Huget, M.-P., Dignum, F.P.M. (eds.) AC 2004. LNCS (LNAI), vol. 3396, pp. 91\u2013105. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","PRIMA 2015: Principles and Practice of Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25524-8_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T02:59:16Z","timestamp":1748660356000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25524-8_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319255231","9783319255248"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25524-8_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}