{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T16:41:26Z","timestamp":1777135286672,"version":"3.51.4"},"reference-count":62,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,2,23]],"date-time":"2014-02-23T00:00:00Z","timestamp":1393113600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Intell"],"published-print":{"date-parts":[[2014,7]]},"DOI":"10.1007\/s10489-013-0513-x","type":"journal-article","created":{"date-parts":[[2014,2,22]],"date-time":"2014-02-22T02:37:07Z","timestamp":1393036627000},"page":"235-259","source":"Crossref","is-referenced-by-count":16,"title":["On the interaction between knowledge and social commitments in multi-agent systems"],"prefix":"10.1007","volume":"41","author":[{"given":"Faisal","family":"Al-Saqqar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jamal","family":"Bentahar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Khalid","family":"Sultan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"El\u00a0Menshawy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,2,23]]},"reference":[{"issue":"2","key":"513_CR1","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1016\/S1571-0661(05)82605-2","volume":"85","author":"M Alberti","year":"2004","unstructured":"Alberti M, Gavanelli M, Lamma E, Mello P, Torroni P (2004) Specification and verification of agent interaction using social integrity constraints. Electron Notes Theor Comput Sci 85(2):94\u2013116","journal-title":"Electron Notes Theor Comput Sci"},{"key":"513_CR2","unstructured":"Aldewereld H (2007) Autonomy vs conformity: an institutional perspective on norms and protocols. PhD thesis, Universiteit Utrecht, Utrecht, The Netherlands"},{"key":"513_CR3","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1007\/978-3-642-10203-5_11","volume-title":"ESAW","author":"H Aldewereld","year":"2009","unstructured":"Aldewereld H, \u00c1lvarez Napagao S, Dignum F, V\u00e1zquez-Salceda J (2009) Engineering social reality with inheritance relations. In: Aldewereld H, Dignum V, Picard G (eds) ESAW. Lecture notes in computer science, vol 5881. Springer, Berlin, pp 116\u2013131"},{"key":"513_CR4","first-page":"807","volume-title":"9th international conference on autonomous agents and multiagent systems (AAMAS 2010)","author":"H Aldewereld","year":"2010","unstructured":"Aldewereld H, \u00c1lvarez Napagao S, Dignum F, V\u00e1zquez-Salceda J (2010) Making norms concrete. In: van der Hoek W, Kaminka GA, Lesp\u00e9rance Y, Luck M, Sen S (eds) 9th international conference on autonomous agents and multiagent systems (AAMAS 2010), Toronto, Canada, 10\u201314 May 2010, vols 1\u20133, pp 807\u2013814. IFAAMAS"},{"issue":"1","key":"513_CR5","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BF00871719","volume":"3","author":"FD Anger","year":"1993","unstructured":"Anger FD, Clarke EM (1993) New and used temporal models: an issue of time. Appl Intell 3(1):5\u201315","journal-title":"Appl Intell"},{"key":"513_CR6","volume-title":"Principles of model checking. Representation and mind series","author":"C Baier","year":"2008","unstructured":"Baier C, Katoen J-P (2008) Principles of model checking. Representation and mind series. MIT Press, Cambridge"},{"key":"513_CR7","first-page":"137","volume-title":"ECAI","author":"M Baldoni","year":"2010","unstructured":"Baldoni M, Baroglio C, Marengo E (2010) Behavior-oriented commitment-based protocols. In: ECAI, pp 137\u2013142"},{"issue":"3","key":"513_CR8","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1023\/A:1020083231504","volume":"17","author":"B Bennett","year":"2002","unstructured":"Bennett B, Cohn AG, Wolter F, Zakharyaschev M (2002) Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Appl Intell 17(3):239\u2013251","journal-title":"Appl Intell"},{"key":"513_CR9","doi-asserted-by":"crossref","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, Dssouli R (2012) Communicative commitments: model checking and complexity analysis. Knowl-Based Syst 35:21\u201334","journal-title":"Knowl-Based Syst"},{"key":"513_CR10","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-1-4419-6984-2_3","volume-title":"Specification and verification of multi-agent systems","author":"J Bentahar","year":"2010","unstructured":"Bentahar J, Meyer J-J, Wan W (2010) Model checking agent communication. In: Specification and verification of multi-agent systems. Springer, Berlin, pp 67\u2013102"},{"key":"513_CR11","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1007\/3-540-44585-4_5","volume-title":"CAV 2001","author":"G Bhat","year":"2001","unstructured":"Bhat G, Cleaveland R, Groce A (2001) Efficient model checking via B\u00fcchi tableau automata. In: Berry G, Comon H, Finkel A (eds) CAV 2001. Lecture notes in computer science. Springer, Berlin, pp 38\u201352"},{"key":"513_CR12","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn P, de Rijke M, Venema Y (2001) Modal logic. Cambridge University Press, New York"},{"issue":"2","key":"513_CR13","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1007\/s10489-010-0273-9","volume":"36","author":"F Both","year":"2012","unstructured":"Both F, Hoogendoorn M, van der Mee A, Treur J, de Vos M (2012) An intelligent agent model with awareness of workflow progress. Appl Intell 36(2):498\u2013510","journal-title":"Appl Intell"},{"key":"513_CR14","volume-title":"Model checking","author":"E Clarke","year":"1999","unstructured":"Clarke E, Grumberg O, Peled D (1999) Model checking. MIT Press, Cambridge"},{"key":"513_CR15","first-page":"77","volume-title":"First USENIX workshop on electronic commerce","author":"B Cox","year":"1995","unstructured":"Cox B, Tygar JD, Sirbu M (1995) Netbill security and transaction protocol. In: First USENIX workshop on electronic commerce, pp 77\u201388"},{"key":"513_CR16","first-page":"144","volume-title":"AAMAS","author":"N Desai","year":"2007","unstructured":"Desai N, Cheng Z, Chopra AK, Singh MP (2007) Toward verification of commitment protocols and their compositions. In: AAMAS, pp 144\u2013146"},{"issue":"2","key":"513_CR17","doi-asserted-by":"crossref","DOI":"10.1145\/1571629.1571632","volume":"19","author":"N Desai","year":"2009","unstructured":"Desai N, Chopra AK, Singh MP (2009) Amoeba: a methodology for modeling and evolving cross-organizational business processes. ACM Trans Softw Eng Methodol 19(2):6","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"513_CR18","series-title":"Lecture notes in computer science","volume-title":"Issues in agent communication","year":"2000","unstructured":"Dignum F, Greaves M (eds) (2000) Issues in agent communication. Lecture notes in computer science, vol 1916. Springer, Berlin"},{"key":"513_CR19","first-page":"80","volume-title":"DEON","author":"F Dignum","year":"1996","unstructured":"Dignum F, Meyer J-JC, Wieringa R, Kuiper R (1996) A modal approach to intentions, commitments and obligations: intention plus commitment yields obligation. In: DEON, pp 80\u201397"},{"issue":"4","key":"513_CR20","doi-asserted-by":"crossref","first-page":"586","DOI":"10.1007\/s10489-012-0387-3","volume":"38","author":"S Dourlens","year":"2013","unstructured":"Dourlens S, Ramdane-Cherif A, Monacelli E (2013) Multi levels semantic architecture for multimodal interaction. Appl Intell 38(4):586\u2013599","journal-title":"Appl Intell"},{"key":"513_CR21","unstructured":"El-Menshawy M (2012) Model checking logics of social commitments for agent communication. PhD thesis, Concordia University, Montreal, Canada"},{"key":"513_CR22","first-page":"128","volume-title":"LADS","author":"M El-Menshawy","year":"2010","unstructured":"El-Menshawy M, Bentahar J, Dssouli R (2010) Verifiable semantic model for agent interactions using social commitments. In: LADS, pp 128\u2013152"},{"issue":"3","key":"513_CR23","doi-asserted-by":"crossref","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 (2013) Reducing model checking commitments for agent communication to model checking arctl and gctl*. Auton Agents Multi-Agent Syst 27(3):375\u2013418","journal-title":"Auton Agents Multi-Agent Syst"},{"issue":"1","key":"513_CR24","doi-asserted-by":"crossref","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, El-Kholy W, Dssouli R (2013) Verifying conformance of multi-agent commitment-based protocol. Expert Syst Appl 40(1):122\u2013138","journal-title":"Expert Syst Appl"},{"key":"513_CR25","first-page":"483","volume-title":"AAMAS","author":"M El-Menshawy","year":"2011","unstructured":"El-Menshawy M, Bentahar J, Qu H, Dssouli R (2011) On the verification of social commitments and time. In: AAMAS, pp 483\u2013490"},{"key":"513_CR26","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin R, Halpern JY, Moses Y, Vardi MY (1995) Reasoning about knowledge. MIT Press, Cambridge"},{"issue":"9\u201310","key":"513_CR27","doi-asserted-by":"crossref","first-page":"853","DOI":"10.1080\/08839510490509054","volume":"18","author":"N Fornara","year":"2004","unstructured":"Fornara N, Colombetti M (2004) A commitment-based approach to agent communication. Appl Artif Intell 18(9\u201310):853\u2013866","journal-title":"Appl Artif Intell"},{"issue":"1","key":"513_CR28","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/s10506-007-9055-z","volume":"16","author":"N Fornara","year":"2008","unstructured":"Fornara N, Vigan\u00f2 F, Verdicchio M, Colombetti M (2008) Artificial institutions: a model of institutional reality for open multiagent systems. Artif Intell Law 16(1):89\u2013105","journal-title":"Artif Intell Law"},{"key":"513_CR29","series-title":"Studies in logic and the foundations of mathematics series","volume-title":"Many-dimensional modal logics: theory and applications","author":"DM Gabbay","year":"2003","unstructured":"Gabbay DM (2003) Many-dimensional modal logics: theory and applications. Studies in logic and the foundations of mathematics series. Elsevier\/North-Holland, Amsterdam"},{"issue":"2\u20133","key":"513_CR30","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/s10588-006-9546-6","volume":"12","author":"D Grossi","year":"2006","unstructured":"Grossi D, Aldewereld H, V\u00e1zquez-Salceda J, Dignum F (2006) Ontological aspects of the implementation of norms in agent-based electronic institutions. Comput Math Organ Theory 12(2\u20133):251\u2013275","journal-title":"Comput Math Organ Theory"},{"issue":"3","key":"513_CR31","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1007\/s10489-013-0428-6","volume":"39","author":"A G\u00fcnay","year":"2013","unstructured":"G\u00fcnay A, Yolum P (2013) Constraint satisfaction as a tool for modeling and checking feasibility of multiagent commitments. Appl Intell 39(3):489\u2013509","journal-title":"Appl Intell"},{"key":"513_CR32","unstructured":"Halpern JY (1995) Reasoning about knowledge: a survey. Technical report, IBM Almaden Research Center"},{"issue":"3","key":"513_CR33","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"JY Halpern","year":"1990","unstructured":"Halpern JY, Moses Y (1990) Knowledge and common knowledge in a distributed environment. J ACM 37(3):549\u2013587","journal-title":"J ACM"},{"issue":"2","key":"513_CR34","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/j.mathsocsci.2012.08.003","volume":"65","author":"JY Halpern","year":"2013","unstructured":"Halpern JY, R\u00eago LC (2013) Reasoning about knowledge of unawareness revisited. Math Soc Sci 65(2):73\u201384","journal-title":"Math Soc Sci"},{"issue":"1","key":"513_CR35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.ic.2004.01.003","volume":"191","author":"JY Halpern","year":"2004","unstructured":"Halpern JY, Shore RA (2004) Reasoning about common knowledge with infinitely many agents. Inf Comput 191(1):1\u201340","journal-title":"Inf Comput"},{"key":"513_CR36","volume-title":"Knowledge and belief: an introduction to the logic of the two notions","author":"J Hintikka","year":"1962","unstructured":"Hintikka J (1962) Knowledge and belief: an introduction to the logic of the two notions. Cornell University Press, Ithaca"},{"issue":"2","key":"513_CR37","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1145\/333979.333987","volume":"47","author":"O Kupferman","year":"2000","unstructured":"Kupferman O, Vardi M, Wolper P (2000) An automata-theoretic approach to branching-time model checking. J ACM 47(2):312\u2013360","journal-title":"J ACM"},{"key":"513_CR38","series-title":"Acta philosophica fennica","volume-title":"Recent work in epistemic logic","author":"W Lenzen","year":"1978","unstructured":"Lenzen W (1978) Recent work in epistemic logic. Acta philosophica fennica, vol 30. North-Holland, Amsterdam"},{"key":"513_CR39","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1007\/978-3-642-29414-3_10","volume-title":"Logic programs, norms and action","author":"A Lomuscio","year":"2012","unstructured":"Lomuscio A, Penczek W (2012) Symbolic model checking for temporal-epistemic logic. In: Logic programs, norms and action, pp 172\u2013195"},{"key":"513_CR40","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/11961536_3","volume-title":"Declarative agent languages and technologies IV","author":"A Lomuscio","year":"2006","unstructured":"Lomuscio A, Raimondi F (2006) The complexity of model checking concurrent programs against ctlk specifications. In: Declarative agent languages and technologies IV. Lecture notes in computer science, vol 4327. Springer, Berlin, pp 29\u201342"},{"issue":"2","key":"513_CR41","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s10458-006-7232-1","volume":"14","author":"AU Mallya","year":"2007","unstructured":"Mallya AU, Singh MP (2007) An algebra for commitment protocols. Auton Agents Multi-Agent Syst 14(2):143\u2013163","journal-title":"Auton Agents Multi-Agent Syst"},{"issue":"4","key":"513_CR42","doi-asserted-by":"crossref","first-page":"768","DOI":"10.1007\/s10489-011-0294-z","volume":"36","author":"A Mousavi","year":"2012","unstructured":"Mousavi A, Nordin MJ, Othman ZA (2012) Ontology-driven coordination model for multiagent-based mobile workforce brokering systems. Appl Intell 36(4):768\u2013787","journal-title":"Appl Intell"},{"issue":"2","key":"513_CR43","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/s10489-005-3416-7","volume":"23","author":"N Obeid","year":"2005","unstructured":"Obeid N (2005) A formalism for representing and reasoning with temporal information, event and change. Appl Intell 23(2):109\u2013119","journal-title":"Appl Intell"},{"key":"513_CR44","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/3-540-15648-8_21","volume-title":"Logic of programs","author":"R Parikh","year":"1985","unstructured":"Parikh R, Ramanujam R (1985) Distributed processes and the logic of knowledge. In: Logic of programs, pp 256\u2013268"},{"key":"513_CR45","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1145\/860575.860609","volume-title":"AAMAS","author":"W Penczek","year":"2003","unstructured":"Penczek W, Lomuscio A (2003) Verifying epistemic properties of multi-agent systems via bounded model checking. In: AAMAS, pp 209\u2013216"},{"key":"513_CR46","unstructured":"Raimondi F (2006) Model checking multi-agent systems. PhD thesis, University College, London, London"},{"issue":"4","key":"513_CR47","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/BF03037076","volume":"3","author":"SJ Rosenschein","year":"1985","unstructured":"Rosenschein SJ (1985) Formal theories of knowledge in AI and robotics. New Gener Comput 3(4):345\u2013357","journal-title":"New Gener Comput"},{"key":"513_CR48","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139173438","volume-title":"Speech acts: an essay in the philosophy of language","author":"JR Searle","year":"1969","unstructured":"Searle JR (1969) Speech acts: an essay in the philosophy of language. Cambridge University Press, Cambridge"},{"key":"513_CR49","author":"E Serrano","year":"2013","unstructured":"Serrano E, Such JM, Bot\u00eda J, Garc\u00eda-Fornes A (2013) Strategies for avoiding preference profiling in agent-based e-commerce environments. Appl Intell. doi: 10.1007\/s10489-013-0448-2","journal-title":"Appl Intell"},{"issue":"12","key":"513_CR50","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.735849","volume":"31","author":"MP Singh","year":"1998","unstructured":"Singh MP (1998) Agent communication languages: rethinking the principles. Computer 31(12):40\u201347","journal-title":"Computer"},{"issue":"1","key":"513_CR51","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1023\/A:1008319631231","volume":"7","author":"MP Singh","year":"1999","unstructured":"Singh MP (1999) An ontology for commitments in multiagent systems. Artif Intell Law 7(1):97\u2013113","journal-title":"Artif Intell Law"},{"key":"513_CR52","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/10722777_3","volume-title":"Issues in agent communication","author":"MP Singh","year":"2000","unstructured":"Singh MP (2000) A social semantics for agent communication languages. In: Issues in agent communication, pp 31\u201345"},{"issue":"2","key":"513_CR53","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/6.570823","volume":"34","author":"MA Sirbu","year":"1997","unstructured":"Sirbu MA (1997) Credits and debits on the Internet. IEEE Spectr 34(2):23\u201329","journal-title":"IEEE Spectr"},{"issue":"4","key":"513_CR54","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1007\/s10489-012-0350-3","volume":"37","author":"C Su","year":"2012","unstructured":"Su C, Li H (2012) An affective learning agent with petri-net-based implementation. Appl Intell 37(4):569\u2013585","journal-title":"Appl Intell"},{"issue":"1","key":"513_CR55","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1023\/A:1026181001368","volume":"75","author":"R Meyden van der","year":"2003","unstructured":"van der Meyden R, shu Wong K (2003) Complete axiomatizations for reasoning about knowledge and branching time. Stud Log 75(1):93\u2013123","journal-title":"Stud Log"},{"issue":"3","key":"513_CR56","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1023\/A:1010056221226","volume":"2","author":"M Venkatraman","year":"1999","unstructured":"Venkatraman M, Singh MP (1999) Verifying compliance with commitment protocols. Auton Agents Multi-Agent Syst 2(3):217\u2013236","journal-title":"Auton Agents Multi-Agent Syst"},{"key":"513_CR57","first-page":"91","volume-title":"SoMeT","author":"W Wan","year":"2012","unstructured":"Wan W, Bentahar J, Hamza AB (2012) Quantitative model checking of knowledge. In: SoMeT, pp 91\u2013107"},{"key":"513_CR58","first-page":"873","volume-title":"AAMAS","author":"M Winikoff","year":"2007","unstructured":"Winikoff M (2007) Implementing commitment-based interactions. In: AAMAS, pp 873\u2013880"},{"key":"513_CR59","first-page":"13","volume-title":"ICMAS","author":"M Wooldridge","year":"2000","unstructured":"Wooldridge M (2000) Computationally grounded theories of agency. In: ICMAS, pp 13\u201322"},{"key":"513_CR60","volume-title":"Introduction to multiagent systems","author":"M Wooldridge","year":"2002","unstructured":"Wooldridge M (2002) Introduction to multiagent systems. Wiley, New York"},{"key":"513_CR61","first-page":"300","volume-title":"JELIA","author":"M Wooldridge","year":"2000","unstructured":"Wooldridge M, Lomuscio A (2000) Multi-agent VSK logic. In: JELIA, pp 300\u2013312"},{"issue":"1\u20133","key":"513_CR62","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1023\/B:AMAI.0000034528.55456.d9","volume":"42","author":"P Yolum","year":"2004","unstructured":"Yolum P, Singh MP (2004) Reasoning about commitments in the event calculus: an approach for specifying and executing protocols. Ann Math Artif Intell 42(1\u20133):227\u2013253","journal-title":"Ann Math Artif Intell"}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-013-0513-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10489-013-0513-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-013-0513-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T22:24:40Z","timestamp":1746138280000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10489-013-0513-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2,23]]},"references-count":62,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,7]]}},"alternative-id":["513"],"URL":"https:\/\/doi.org\/10.1007\/s10489-013-0513-x","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,2,23]]}}}