{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T18:27:47Z","timestamp":1767637667327,"version":"3.48.0"},"reference-count":134,"publisher":"Maximum Academic Press","issue":"5","license":[{"start":{"date-parts":[[2015,8,6]],"date-time":"2015-08-06T00:00:00Z","timestamp":1438819200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Knowledge Engineering Review"],"published-print":{"date-parts":[[2015,11]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    Agent communication languages (ACLs) are fundamental mechanisms that enable agents in multi-agent systems to\n                    <jats:italic>talk<\/jats:italic>\n                    , communicate with each other in order to satisfy their individual and social goals in a cooperative and competitive manner. Social approaches are advocated to overcome the shortcomings of ACL semantics delineated by using mental approaches in the figure of agents\u2019 mental notions. Over the last two decades,\n                    <jats:italic>social<\/jats:italic>\n                    commitments have been the subject of considerable research in some of those social approaches as they provide a powerful representation for modeling and reasoning upon multi-agent interactions in the form of mutual contractual obligations. They particularly provide a declarative, flexible, verifiable, and social semantics for ACL messages while respecting agents\u2019 autonomy, heterogeneity, and openness.\n                  <\/jats:p>\n                  <jats:p>\n                    In this manuscript, we go through prominent and predominate proposals in the literature to explore the state of the art on how temporal logics can be devoted to define a formal semantics for ACL messages in terms of social commitments and associated actions. We explain each proposal and point out if and how it meets\n                    <jats:italic>seven<\/jats:italic>\n                    crucial criteria, four of them introduced by Munindar P. Singh to have a well-defined semantics for ACL messages. Far from deciding the best proposal, our aim is to present the advantages (strengths) and limitations of those proposals to designers and developers using a concrete running example and to compare between them, so that they can make the best choice with regard to their needs. We explore and evaluate current specification languages and different verification techniques that have been discussed within those proposals to, respectively, specify and verify commitment-based protocols. We also investigate logical languages of actions advocated to specify, model, and execute commitment-based protocols in other contributed proposals. Finally, we suggest some solutions that can contribute to address the identified limitations.\n                  <\/jats:p>","DOI":"10.1017\/s0269888915000065","type":"journal-article","created":{"date-parts":[[2015,8,5]],"date-time":"2015-08-05T22:50:16Z","timestamp":1438815016000},"page":"564-606","source":"Crossref","is-referenced-by-count":6,"title":["Computational logics and verification techniques of multi-agent commitments: survey"],"prefix":"10.48130","volume":"30","author":[{"given":"Mohamed","family":"El Menshawy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jamal","family":"Bentahar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Warda","family":"El Kholy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pinar","family":"Yolum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rachida","family":"Dssouli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"27968","published-online":{"date-parts":[[2015,8,6]]},"reference":[{"key":"S0269888915000065_ref96","unstructured":"Singh M. 1991. Social and psychological commitments in multiagent systems. In AAAI Fall Symposium on KA at SOL, 104\u2013106."},{"key":"S0269888915000065_ref30","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0025774"},{"key":"S0269888915000065_ref129","doi-asserted-by":"crossref","unstructured":"Xing J. & Singh M. 2001. Formalization of commitment-based agent interaction. In SAC, 115\u2013120. ACM.","DOI":"10.1145\/372202.372290"},{"key":"S0269888915000065_ref95","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(99)00077-1"},{"key":"S0269888915000065_ref134","doi-asserted-by":"publisher","DOI":"10.1023\/B:AMAI.0000034528.55456.d9"},{"key":"S0269888915000065_ref36","first-page":"144","volume-title":"AAMAS","author":"Desai","year":"2007"},{"key":"S0269888915000065_ref61","first-page":"262","volume-title":"AI*IA","author":"Giordano","year":"2003"},{"key":"S0269888915000065_ref132","first-page":"235","volume-title":"ATAL","author":"Yolum","year":"2002a"},{"key":"S0269888915000065_ref130","doi-asserted-by":"crossref","unstructured":"Xing J. & Singh M. 2003. Engineering commitment-based multiagent systems: a temporal logic approach. In Proceedings of the 2nd International Joint Conference on AAMAS, 891\u2013898.","DOI":"10.1145\/860575.860719"},{"key":"S0269888915000065_ref127","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010090027213"},{"volume-title":"Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning","year":"1995","author":"Walton","key":"S0269888915000065_ref123"},{"key":"S0269888915000065_ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2438653.2438655"},{"key":"S0269888915000065_ref122","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2010.12.080"},{"key":"S0269888915000065_ref119","first-page":"128","volume-title":"ACL","author":"Verdicchio","year":"2004"},{"key":"S0269888915000065_ref85","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74128-2_8"},{"key":"S0269888915000065_ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s11761-008-0033-4"},{"key":"S0269888915000065_ref116","first-page":"228","volume-title":"DALT","author":"Torroni","year":"2010"},{"key":"S0269888915000065_ref65","doi-asserted-by":"publisher","DOI":"10.1007\/s10489-013-0428-6"},{"key":"S0269888915000065_ref112","doi-asserted-by":"crossref","unstructured":"Sultan K. , El-Menshawy M. & Bentahar J. 2013. Reasoning about social commitments in the presence of uncertainty. In IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques, 29\u201335.","DOI":"10.1109\/SoMeT.2013.6645676"},{"key":"S0269888915000065_ref121","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.02.014"},{"key":"S0269888915000065_ref111","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2014.04.014"},{"key":"S0269888915000065_ref109","first-page":"83","volume-title":"CEEMAS","author":"Spoletini","year":"2007"},{"key":"S0269888915000065_ref131","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2006.12.001"},{"key":"S0269888915000065_ref103","first-page":"176","volume-title":"AAAI","author":"Singh","year":"2008"},{"key":"S0269888915000065_ref101","doi-asserted-by":"publisher","DOI":"10.1007\/10722777_3"},{"key":"S0269888915000065_ref110","first-page":"172","volume-title":"COIN","author":"Spoletini","year":"2009"},{"key":"S0269888915000065_ref46","first-page":"11","volume-title":"KES-AMSTA","author":"El-Menshawy","year":"2010"},{"key":"S0269888915000065_ref44","first-page":"33","volume-title":"MALLOW","author":"El-Menshawy","year":"2009"},{"key":"S0269888915000065_ref58","first-page":"89","article-title":"Artificial institutions: a model of institutional reality for open multi-agent systems","volume":"16","author":"Fornara","year":"2008","journal-title":"AI and Law"},{"key":"S0269888915000065_ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2014.05.046"},{"key":"S0269888915000065_ref100","first-page":"97","article-title":"An ontology for commitments in multiagent systems: toward a unification of normative concepts","volume":"7","author":"Singh","year":"1999","journal-title":"AI and Law"},{"key":"S0269888915000065_ref50","first-page":"483","volume-title":"AAMAS","author":"El-Menshawy","year":"2011c"},{"key":"S0269888915000065_ref70","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888900000205"},{"volume-title":"Elements of Symbolic Logic","year":"1947","author":"Reichenbach","key":"S0269888915000065_ref89"},{"volume-title":"Model Checking","year":"1999","author":"Clarke","key":"S0269888915000065_ref32"},{"key":"S0269888915000065_ref29","first-page":"359","volume-title":"CAV","author":"Cimatti","year":"2002"},{"key":"S0269888915000065_ref51","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2012.07.030"},{"key":"S0269888915000065_ref40","first-page":"9:1\u20139:49","article-title":"Conditional commitments: reasoning and model checking","volume":"24","author":"El-Kholy","year":"2014","journal-title":"ACM Transaction on Software Engineering and Methodology"},{"volume-title":"Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence","year":"1999","author":"Weiss","key":"S0269888915000065_ref124"},{"key":"S0269888915000065_ref27","unstructured":"Chopra A. & Singh M. 2009. Multiagent commitment alignment. In Proceedings of the 8th International Joint Conference on AAMAS, 937\u2013944. ACM Press."},{"key":"S0269888915000065_ref55","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"Fagin","year":"1995"},{"key":"S0269888915000065_ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1160633.1160884"},{"key":"S0269888915000065_ref71","first-page":"171","volume-title":"CLIMA XII","author":"Kafali","year":"2011"},{"key":"S0269888915000065_ref35","first-page":"191","volume-title":"DALT","author":"Colombetti","year":"2004"},{"key":"S0269888915000065_ref33","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90055-5"},{"key":"S0269888915000065_ref107","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888910000044"},{"key":"S0269888915000065_ref63","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2002.12.001"},{"key":"S0269888915000065_ref82","first-page":"467","volume-title":"AAMAS","author":"Marengo","year":"2011"},{"key":"S0269888915000065_ref133","doi-asserted-by":"crossref","unstructured":"Yolum P. & Singh M. 2002b. Flexible protocol specification and execution: applying event calculus planning using commitments. In Proceedings of the International Joint Conference on AAMAS, 527\u2013534. ACM.","DOI":"10.1145\/544862.544867"},{"key":"S0269888915000065_ref92","first-page":"1","volume-title":"Advances in Modal Logic","author":"Schnoebelen","year":"2003"},{"key":"S0269888915000065_ref18","first-page":"38","volume-title":"CAV","author":"Bhat","year":"2001"},{"key":"S0269888915000065_ref114","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02463-4_22"},{"key":"S0269888915000065_ref76","unstructured":"Lomuscio A. , Pecheur C. & Raimondi F. 2007. Automatic verification of knowledge and time with NuSMV. In Proceedings of the 20th International Joint Conference on AI, 1384\u20131389."},{"key":"S0269888915000065_ref8","first-page":"60","volume-title":"DALT","author":"Baldoni","year":"2011"},{"key":"S0269888915000065_ref7","first-page":"137","volume-title":"ECAI","author":"Baldoni","year":"2010"},{"key":"S0269888915000065_ref64","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-08755-9_9"},{"volume-title":"The Theory of Communicative Action","year":"1984","author":"Habermas","key":"S0269888915000065_ref66"},{"key":"S0269888915000065_ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1380572.1380578"},{"key":"S0269888915000065_ref115","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2011.4"},{"key":"S0269888915000065_ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2012.04.010"},{"key":"S0269888915000065_ref14","unstructured":"Bentahar J. , Moulin B. & Chaib-draa B. 2003. Towards a formal framework for conversational agents, In Proceedings of the International Workshop on ACLCP."},{"key":"S0269888915000065_ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1459010.1459011"},{"key":"S0269888915000065_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s10489-013-0513-x"},{"key":"S0269888915000065_ref21","first-page":"41","volume-title":"ICMAS","author":"Castelfranchi","year":"1995"},{"key":"S0269888915000065_ref74","first-page":"209","volume-title":"ATAL","author":"Labrou","year":"1998"},{"key":"S0269888915000065_ref4","doi-asserted-by":"publisher","DOI":"10.1145\/585265.585270"},{"key":"S0269888915000065_ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2008.11.006"},{"key":"S0269888915000065_ref26","first-page":"797","volume-title":"AAMAS","author":"Chopra","year":"2008"},{"key":"S0269888915000065_ref49","first-page":"185","volume-title":"DALT","author":"El-Menshawy","year":"2011"},{"key":"S0269888915000065_ref34","unstructured":"Colombetti M. 2000. A commitment-based approach to agent speech acts and conversations. In Proceedings of International Workshop on ALCP, 4th International Conference on Autonomous Agents (Agents 2000), 21\u201329."},{"key":"S0269888915000065_ref108","unstructured":"Spoletini P. 2005. Verification of Temporal Logic Specification via Model Checking. PhD thesis, Politecnico di Milano."},{"key":"S0269888915000065_ref39","doi-asserted-by":"publisher","DOI":"10.1007\/10722777"},{"key":"S0269888915000065_ref99","first-page":"40","volume-title":"IEEE Computer Society","volume":"31","author":"Singh","year":"1998"},{"key":"S0269888915000065_ref117","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010056221226"},{"key":"S0269888915000065_ref15","first-page":"146","volume-title":"ACL","author":"Bentahar","year":"2004"},{"key":"S0269888915000065_ref38","unstructured":"Desai N. & Singh M. 2007. A modular action description language for protocol composition. In Proceedings of the 22nd AAAI Conference on Artificial Intelligence, 962\u2013967."},{"key":"S0269888915000065_ref16","doi-asserted-by":"crossref","unstructured":"Bentahar J. , Moulin B. , Meyer J.-J.Ch. & Chaib-draa B. 2004b. A logical model for commitment and argument network for agent communication. In Proceedings of the 3rd International Conference on AAMAS, 792\u2013799. IEEE Computer Society.","DOI":"10.1007\/978-3-540-24608-4_9"},{"key":"S0269888915000065_ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.140"},{"key":"S0269888915000065_ref90","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888912000100"},{"key":"S0269888915000065_ref31","doi-asserted-by":"crossref","unstructured":"Clarke E. , Emerson E. & Sistla A. 1986. Automatic verification of finite-state concurrent systems using temporal logic specifications. In Proceedings of the 10th ACM SIGACT-SIGPLAN Symposium on PPL, POPL\u201983, 117\u2013126. ACM.","DOI":"10.1145\/5397.5399"},{"key":"S0269888915000065_ref45","first-page":"222","volume-title":"MALLOW","author":"El-Menshawy","year":"2009"},{"key":"S0269888915000065_ref48","first-page":"37","volume-title":"IEA\u2013AIE","author":"El-Menshawy","year":"2011"},{"key":"S0269888915000065_ref98","first-page":"141","volume-title":"MAAMAW","author":"Singh","year":"1997"},{"key":"S0269888915000065_ref69","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810275"},{"key":"S0269888915000065_ref97","unstructured":"Singh M. 1996. A Conceptual Analysis of Commitments in Multiagent Systems. Technical report, North Carolina State University."},{"key":"S0269888915000065_ref52","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-012-9208-7"},{"key":"S0269888915000065_ref53","first-page":"995","volume-title":"Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics (B)","author":"Emerson","year":"1990"},{"key":"S0269888915000065_ref106","doi-asserted-by":"publisher","DOI":"10.1109\/6.570823"},{"key":"S0269888915000065_ref17","first-page":"151","volume-title":"CLIMA","author":"Bentahar","year":"2007"},{"key":"S0269888915000065_ref23","first-page":"91","volume-title":"IJCAI","author":"Chesani","year":"2009"},{"key":"S0269888915000065_ref56","doi-asserted-by":"crossref","unstructured":"Fornara N. & Colombetti M. 2002. Operational specification of a commitment-based agent communication language. In Proceedings of the 1st International Joint Conference on AAMS, 535\u2013542. ACM.","DOI":"10.1145\/544862.544868"},{"key":"S0269888915000065_ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2014.11.003"},{"key":"S0269888915000065_ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2438653.2438657"},{"key":"S0269888915000065_ref62","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2005.12.011"},{"key":"S0269888915000065_ref84","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2010.08.004"},{"key":"S0269888915000065_ref93","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139173438"},{"key":"S0269888915000065_ref57","doi-asserted-by":"crossref","unstructured":"Fornara N. & Colombetti M. 2003. Defining interaction protocols using a commitment-based agent communication language. In Proceedings of the 2nd International Joint Conference on AAMAS, 520\u2013527. ACM.","DOI":"10.1145\/860575.860659"},{"volume-title":"The Structure of Plans and Behavior","year":"1977","author":"Sacerdoti","key":"S0269888915000065_ref91"},{"key":"S0269888915000065_ref59","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888911000026"},{"key":"S0269888915000065_ref60","doi-asserted-by":"publisher","DOI":"10.1145\/2438653.2438656"},{"key":"S0269888915000065_ref20","doi-asserted-by":"publisher","DOI":"10.1017\/S026988891000024X"},{"key":"S0269888915000065_ref79","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2003.1215666"},{"volume-title":"Fallacies","year":"1970","author":"Hamblin","key":"S0269888915000065_ref67"},{"key":"S0269888915000065_ref68","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"S0269888915000065_ref47","first-page":"128","volume-title":"LADS","author":"El-Menshawy","year":"2010"},{"key":"S0269888915000065_ref83","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888902000486"},{"key":"S0269888915000065_ref73","doi-asserted-by":"publisher","DOI":"10.1007\/s10619-013-7124-8"},{"key":"S0269888915000065_ref54","doi-asserted-by":"publisher","DOI":"10.1145\/4904.4999"},{"key":"S0269888915000065_ref75","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2012.01.160"},{"key":"S0269888915000065_ref78","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-010-9152-3"},{"key":"S0269888915000065_ref120","first-page":"91","volume-title":"AC","author":"Verdicchio","year":"2005"},{"key":"S0269888915000065_ref72","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-012-9282-1"},{"volume-title":"An Introduction to Multi-Agent Systems","year":"2009","author":"Wooldridge","key":"S0269888915000065_ref128"},{"key":"S0269888915000065_ref88","doi-asserted-by":"crossref","unstructured":"Pnueli A. 1977. The temporal logic of programs. In Proceedings of the 18th Annual Symposium on FOCS, 46\u201357. IEEE Computer Society Press.","DOI":"10.1109\/SFCS.1977.32"},{"key":"S0269888915000065_ref104","first-page":"1","volume-title":"ProMAS","author":"Singh","year":"2010"},{"key":"S0269888915000065_ref42","doi-asserted-by":"crossref","unstructured":"El-Kholy W. , El-Menshawy M. , Bentahar J. , Qu H. & Dssouli R. 2014c. Verifying multiagent-based web service compositions regulated by commitment protocols. In Proceedings of 21th IEEE International Conference on Web Services (ICWS), 49\u201356. IEEE.","DOI":"10.1109\/ICWS.2014.20"},{"key":"S0269888915000065_ref24","first-page":"183","volume-title":"ACL","author":"Chopra","year":"2004"},{"key":"S0269888915000065_ref43","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2015.6"},{"key":"S0269888915000065_ref105","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.347"},{"key":"S0269888915000065_ref126","first-page":"198","volume-title":"DALT","author":"Winikoff","year":"2005"},{"volume-title":"Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia","year":"1997","author":"Shanahan","key":"S0269888915000065_ref94"},{"key":"S0269888915000065_ref125","first-page":"873","volume-title":"AAMAS","author":"Winikoff","year":"2007"},{"key":"S0269888915000065_ref19","doi-asserted-by":"publisher","DOI":"10.1023\/B:AGNT.0000018806.20944.ef"},{"key":"S0269888915000065_ref77","first-page":"682","volume-title":"CAV","author":"Lomuscio","year":"2009"},{"key":"S0269888915000065_ref22","doi-asserted-by":"crossref","unstructured":"Chesani F. , Mello P. , Montali M. & Torroni P. 2013. Representing and monitoring social commitments using the e.Autonomous Agents and Multi-Agent Systems 27(1), 85\u2013130.","DOI":"10.1007\/s10458-012-9202-0"},{"key":"S0269888915000065_ref87","first-page":"124","volume-title":"AAMAS","author":"Pham","year":"2007"},{"key":"S0269888915000065_ref80","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-006-7232-1"},{"key":"S0269888915000065_ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-6984-2_3"},{"key":"S0269888915000065_ref5","doi-asserted-by":"crossref","unstructured":"Artikis A. & Pitt J.V. 2009. Specifying open agent systems: a survey. In ESAW, Artikis, A., Picard, G. & Vercouter, L. (eds), Lecture Notes in Computer Science 5485, 29\u201345. Springer.","DOI":"10.1007\/978-3-642-02562-4_2"},{"key":"S0269888915000065_ref81","first-page":"166","volume-title":"ACL","author":"Mallya","year":"2004"},{"key":"S0269888915000065_ref118","doi-asserted-by":"crossref","unstructured":"Verdicchio M. & Colombetti M. 2003. A logical model of social commitment for agent communication. In Proceedings of the 2nd International Joint Conference on AAMAS, 528\u2013535.","DOI":"10.1145\/860575.860660"},{"key":"S0269888915000065_ref86","first-page":"167","article-title":"Verifying epistemic properties of multi-agent systems via bounded model checking","volume":"55","author":"Penczek","year":"2003","journal-title":"Fundamenta Informaticae"},{"key":"S0269888915000065_ref102","first-page":"1519","volume-title":"IJCAI","author":"Singh","year":"2007"},{"key":"S0269888915000065_ref113","first-page":"111","volume-title":"SOCASE","author":"Telang","year":"2009a"}],"container-title":["The Knowledge Engineering Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0269888915000065","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T14:42:02Z","timestamp":1767624122000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0269888915000065\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,6]]},"references-count":134,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2015,11]]}},"alternative-id":["S0269888915000065"],"URL":"https:\/\/doi.org\/10.1017\/s0269888915000065","relation":{},"ISSN":["0269-8889","1469-8005"],"issn-type":[{"type":"print","value":"0269-8889"},{"type":"electronic","value":"1469-8005"}],"subject":[],"published":{"date-parts":[[2015,8,6]]}}}