{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T05:37:26Z","timestamp":1726033046025},"publisher-location":"Cham","reference-count":55,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030221010"},{"type":"electronic","value":"9783030221027"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-22102-7_11","type":"book-chapter","created":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T12:21:26Z","timestamp":1561465286000},"page":"240-265","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Situation Calculus Meets Description Logics"],"prefix":"10.1007","author":[{"given":"Jens","family":"Cla\u00dfen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerhard","family":"Lakemeyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin","family":"Zarrie\u00df","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,6,1]]},"reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-540-40903-8_8","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"S Andova","year":"2004","unstructured":"Andova, S., Hermanns, H., Katoen, J.-P.: Discrete-time rewards model-checked. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol. 2791, pp. 88\u2013104. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-40903-8_8"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. In: Proceedings of the Eleventh International Conference on the Principles of Knowledge Representation and Reasoning (KR 2008), pp. 684\u2013694. AAAI Press (2008)","DOI":"10.25368\/2022.164"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-16242-8_7","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"F Baader","year":"2010","unstructured":"Baader, F., Lippmann, M., Liu, H.: Using causal relationships to deal with the ramification problem in action formalisms based on description logics. In: Ferm\u00fcller, C.G., Voronkov, A. (eds.) LPAR 2010. LNCS, vol. 6397, pp. 82\u201396. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16242-8_7"},{"key":"11_CR4","unstructured":"Baader, F., Liu, H., ul Mehdi, A.: Verifying properties of infinite sequences of description logic actions. In: Proceedings of the Nineteenth European Conference on Artificial Intelligence (ECAI 2010). Frontiers in Artificial Intelligence and Applications, vol. 215, pp. 53\u201358. IOS Press (2010)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Baader, F., Lutz, C., Mili\u010di\u0107, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: first results. In: Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI 2005), pp. 572\u2013577. AAAI Press (2005)","DOI":"10.25368\/2010.145"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-642-40885-4_12","volume-title":"Frontiers of Combining Systems","author":"F Baader","year":"2013","unstructured":"Baader, F., Zarrie\u00df, B.: Verification of Golog programs over description logic actions. In: Fontaine, P., Ringeissen, C., Schmidt, R.A. (eds.) FroCoS 2013. LNCS (LNAI), vol. 8152, pp. 181\u2013196. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40885-4_12"},{"key":"11_CR7","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"11_CR8","unstructured":"Boutilier, C., Reiter, R., Soutchanski, M., Thrun, S.: Decision-theoretic, high-level agent programming in the situation calculus. In: Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI 2000). pp. 355\u2013362. AAAI Press (2000)"},{"issue":"4","key":"11_CR9","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1609\/aimag.v39i4.2838","volume":"39","author":"G Brewka","year":"2018","unstructured":"Brewka, G., Lakemeyer, G.: Hybrid reasoning for intelligent systems: a focus of KR research in Germany. AI Mag. 39(4), 80\u201383 (2018)","journal-title":"AI Mag."},{"issue":"8","key":"11_CR10","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"RE Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. 35(8), 677\u2013691 (1986)","journal-title":"IEEE Trans. Comput."},{"issue":"1\u20132","key":"11_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0004-3702(99)00070-3","volume":"114","author":"W Burgard","year":"1999","unstructured":"Burgard, W., et al.: Experiences with an interactive museum tour-guide robot. Artif. Intell. 114(1\u20132), 3\u201355 (1999)","journal-title":"Artif. Intell."},{"key":"11_CR12","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"11_CR13","unstructured":"Cla\u00dfen, J.: Planning and verification in the agent language Golog. Ph.D. thesis, Department of Computer Science, RWTH Aachen University (2013). http:\/\/darwin.bth.rwth-aachen.de\/opus3\/volltexte\/2013\/4809\/"},{"key":"11_CR14","unstructured":"Cla\u00dfen, J.: Symbolic verification of Golog programs with first-order BDDs. In: Proceedings of the Sixteenth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2018), pp. 524\u2013529. AAAI Press (2018)"},{"key":"11_CR15","unstructured":"Cla\u00dfen, J., Lakemeyer, G.: Foundations for knowledge-based programs using $$\\cal{E\\!S}$$ . In: Proceedings of the Tenth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2006), pp. 318\u2013328. AAAI Press (2006)"},{"key":"11_CR16","unstructured":"Cla\u00dfen, J., Lakemeyer, G.: A logic for non-terminating Golog programs. In: Proceedings of the Eleventh International Conference on the Principles of Knowledge Representation and Reasoning (KR 2008), pp. 589\u2013599. AAAI Press (2008)"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Cla\u00dfen, J., Liebenberg, M., Lakemeyer, G., Zarrie\u00df, B.: Exploring the boundaries of decidable verification of non-terminating Golog programs. In: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014), pp. 1012\u20131019. AAAI Press (2014)","DOI":"10.1609\/aaai.v28i1.8875"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-319-66167-4_13","volume-title":"Frontiers of Combining Systems","author":"J Cla\u00dfen","year":"2017","unstructured":"Cla\u00dfen, J., Zarrie\u00df, B.: Decidable verification of decision-theoretic Golog. In: Dixon, C., Finger, M. (eds.) FroCoS 2017. LNCS (LNAI), vol. 10483, pp. 227\u2013243. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66167-4_13"},{"issue":"1\u20132","key":"11_CR19","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G Giacomo De","year":"2000","unstructured":"De Giacomo, G., Lesp\u00e9rance, Y., Levesque, H.J.: ConGolog, a concurrent programming language based on the situation calculus. Artif. Intell. 121(1\u20132), 109\u2013169 (2000)","journal-title":"Artif. Intell."},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., Lesp\u00e9rance, Y., Patrizi, F., Sardi\u00f1a, S.: Verifying ConGolog programs on bounded situation calculus theories. In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016), pp. 950\u2013956. AAAI Press (2016)","DOI":"10.1609\/aaai.v30i1.10117"},{"key":"11_CR21","unstructured":"De Giacomo, G., Ternovska, E., Reiter, R.: Non-terminating processes in the situation calculus. In: Working Notes of \u201cRobots, Softbots, Immobots: Theories of Action, Planning and Control\u201d, AAAI 1997 Workshop (1997)"},{"key":"11_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1007\/978-3-319-63390-9_31","volume-title":"Computer Aided Verification","author":"C Dehnert","year":"2017","unstructured":"Dehnert, C., Junges, S., Katoen, J.-P., Volk, M.: A Storm is coming: a modern probabilistic model checker. In: Majumdar, R., Kun\u010dak, V. (eds.) CAV 2017. LNCS, vol. 10427, pp. 592\u2013600. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63390-9_31"},{"issue":"1\u20132","key":"11_CR23","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0004-3702(98)00009-5","volume":"100","author":"FM Donini","year":"1998","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W., Schaerf, A.: An epistemic operator for description logics. Artif. Intell. 100(1\u20132), 225\u2013274 (1998)","journal-title":"Artif. Intell."},{"key":"11_CR24","unstructured":"Ferrein, A., Niemueller, T., Schiffer, S., Lakemeyer, G.: Lessons learnt from developing the embodied AI platform CAESAR for domestic service robotics. In: Papers from the AAAI 2013 Spring Symposium on Designing Intelligent Robots: Reintegrating AI II. Technical report SS-13-04, AAAI Press (2013)"},{"issue":"1","key":"11_CR25","doi-asserted-by":"publisher","first-page":"53","DOI":"10.2307\/421196","volume":"3","author":"E Gr\u00e4del","year":"1997","unstructured":"Gr\u00e4del, E., Kolaitis, P.G., Vardi, M.Y.: On the decision problem for two-variable first-order logic. Bull. Symb. Log. 3(1), 53\u201369 (1997)","journal-title":"Bull. Symb. Log."},{"issue":"1\u20132","key":"11_CR26","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10472-010-9176-z","volume":"58","author":"Y Gu","year":"2010","unstructured":"Gu, Y., Soutchanski, M.: A description logic based situation calculus. Ann. Math. Artif. Intell. 58(1\u20132), 3\u201383 (2010)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"3","key":"11_CR27","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0004-3702(90)90019-V","volume":"46","author":"JY Halpern","year":"1990","unstructured":"Halpern, J.Y.: An analysis of first-order logics of probability. Artif. Intell. 46(3), 311\u2013350 (1990). https:\/\/doi.org\/10.1016\/0004-3702(90)90019-V","journal-title":"Artif. Intell."},{"issue":"5","key":"11_CR28","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Asp. Comput. 6(5), 512\u2013535 (1994)","journal-title":"Formal Asp. Comput."},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"Koopmann, P., Zarrie\u00df, B.: On the complexity of verifying timed Golog programs over description logic actions. In: Proceedings of the 2018 Workshop on Hybrid Reasoning and Learning (HRL 2018) (2018)","DOI":"10.25368\/2022.241"},{"key":"11_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47"},{"issue":"1","key":"11_CR31","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/j.artint.2010.04.005","volume":"175","author":"G Lakemeyer","year":"2010","unstructured":"Lakemeyer, G., Levesque, H.J.: A semantic characterization of a useful fragment of the situation calculus with knowledge. Artif. Intell. 175(1), 142\u2013164 (2010)","journal-title":"Artif. Intell."},{"issue":"1\u20133","key":"11_CR32","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/j.tcs.2005.11.020","volume":"353","author":"F Laroussinie","year":"2006","unstructured":"Laroussinie, F., Markey, N., Schnoebelen, P.: Efficient timed model checking for discrete-time systems. Theor. Comput. Sci. 353(1\u20133), 249\u2013271 (2006). https:\/\/doi.org\/10.1016\/j.tcs.2005.11.020","journal-title":"Theor. Comput. Sci."},{"issue":"1\u20133","key":"11_CR33","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"HJ Levesque","year":"1997","unstructured":"Levesque, H.J., Reiter, R., Lesp\u00e9rance, Y., Lin, F., Scherl, R.B.: GOLOG: a logic programming language for dynamic domains. J. Log. Program. 31(1\u20133), 59\u201383 (1997)","journal-title":"J. Log. Program."},{"key":"11_CR34","unstructured":"Li, N., Liu, Y.: Automatic verification of partial correctness of Golog programs. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015), pp. 3113\u20133119. AAAI Press (2015)"},{"issue":"1\u20132","key":"11_CR35","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/S0004-3702(96)00044-6","volume":"92","author":"F Lin","year":"1997","unstructured":"Lin, F., Reiter, R.: How to progress a database. Artif. Intell. 92(1\u20132), 131\u2013167 (1997)","journal-title":"Artif. Intell."},{"key":"11_CR36","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/11853886_23","volume-title":"Logics in Artificial Intelligence","author":"H Liu","year":"2006","unstructured":"Liu, H., Lutz, C., Mili\u010di\u0107, M., Wolter, F.: Reasoning about actions using description logics with general TBoxes. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 266\u2013279. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11853886_23"},{"key":"11_CR37","unstructured":"Liu, Y., Lakemeyer, G.: On first-order definability and computability of progression for local-effect actions and beyond. In: Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 860\u2013866. AAAI Press (2009)"},{"key":"11_CR38","unstructured":"Liu, Y., Levesque, H.J.: Tractable reasoning with incomplete first-order knowledge in dynamic systems with context-dependent actions. In: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 522\u2013527. Professional Book Center (2005)"},{"key":"11_CR39","unstructured":"Lutz, C., Schr\u00f6der, L.: Probabilistic description logics for subjective uncertainty. In: Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010). AAAI Press (2010)"},{"key":"11_CR40","first-page":"463","volume-title":"Machine Intelligence","author":"J McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol. 4, pp. 463\u2013502. American Elsevier, New York (1969)"},{"key":"11_CR41","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"KL McMillan","year":"1993","unstructured":"McMillan, K.L.: Symbolic Model Checking. Kluwer Academic Publishers, Norwell (1993)"},{"key":"11_CR42","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1111\/j.1467-8640.1988.tb00285.x","volume":"4","author":"EPD Pednault","year":"1988","unstructured":"Pednault, E.P.D.: Synthesizing plans that contain actions with context-dependent effects. Comput. Intell. 4, 356\u2013372 (1988)","journal-title":"Comput. Intell."},{"key":"11_CR43","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/B978-0-12-450010-5.50026-8","volume-title":"Artificial and Mathematical Theory of Computation","author":"Raymond Reiter","year":"1991","unstructured":"Reiter, R.: The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy pp. 359\u2013380 (1991)"},{"key":"11_CR44","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"R Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)"},{"issue":"4","key":"11_CR45","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1145\/383779.383780","volume":"2","author":"R Reiter","year":"2001","unstructured":"Reiter, R.: On knowledge-based programming with sensing in the situation calculus. ACM Trans. Comput. Log. 2(4), 433\u2013457 (2001)","journal-title":"ACM Trans. Comput. Log."},{"issue":"5\u20136","key":"11_CR46","doi-asserted-by":"publisher","first-page":"748","DOI":"10.1016\/j.artint.2008.11.003","volume":"173","author":"S Sanner","year":"2009","unstructured":"Sanner, S., Boutilier, C.: Practical solution techniques for first-order MDPs. Artif. Intell. 173(5\u20136), 748\u2013788 (2009)","journal-title":"Artif. Intell."},{"key":"11_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"735","DOI":"10.1007\/978-3-642-45221-5_49","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"S Schulz","year":"2013","unstructured":"Schulz, S.: System description: E\u00a01.8. In: McMillan, K., Middeldorp, A., Voronkov, A. (eds.) LPAR 2013. LNCS, vol. 8312, pp. 735\u2013743. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-45221-5_49"},{"key":"11_CR48","unstructured":"Soutchanski, M.: An on-line decision-theoretic Golog interpreter. In: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI 2001), pp. 19\u201326. Morgan Kaufmann Publishers Inc. (2001)"},{"key":"11_CR49","unstructured":"Zarrie\u00df, B.: Complexity of projection with stochastic actions in a probabilistic description logic. In: Proceedings of the Sixteenth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2018), pp. 514\u2013523. AAAI Press (2018)"},{"key":"11_CR50","unstructured":"Zarrie\u00df, B.: Verification of Golog programs over description logic actions. Ph.D. thesis, Dresden University of Technology, Germany (2018). http:\/\/d-nb.info\/116636531X"},{"key":"11_CR51","doi-asserted-by":"crossref","unstructured":"Zarrie\u00df, B., Cla\u00dfen, J.: On the decidability of verifying LTL properties of Golog programs. In: Proceedings of the AAAI 2014 Spring Symposium: Knowledge Representation and Reasoning in Robotics (KRR 2014). AAAI Press, Palo Alto (2014)","DOI":"10.25368\/2022.200"},{"key":"11_CR52","doi-asserted-by":"crossref","unstructured":"Zarrie\u00df, B., Cla\u00dfen, J.: Verifying CTL* properties of Golog programs over local-effect actions. In: Proceedings of the Twenty-First European Conference on Artificial Intelligence (ECAI 2014), pp. 939\u2013944. IOS Press (2014)","DOI":"10.25368\/2022.224"},{"key":"11_CR53","doi-asserted-by":"crossref","unstructured":"Zarrie\u00df, B., Cla\u00dfen, J.: Decidable verification of knowledge-based programs over description logic actions with sensing. In: Proceedings of the Twenty-Eighth International Workshop on Description Logics (DL 2015). CEUR Workshop Proceedings, vol. 1350. CEUR-WS.org (2015)","DOI":"10.25368\/2022.216"},{"key":"11_CR54","doi-asserted-by":"crossref","unstructured":"Zarrie\u00df, B., Cla\u00dfen, J.: Verification of knowledge-based programs over description logic actions. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015), pp. 3278\u20133284. AAAI Press (2015)","DOI":"10.25368\/2022.216"},{"key":"11_CR55","doi-asserted-by":"crossref","unstructured":"Zarrie\u00df, B., Cla\u00dfen, J.: Decidable verification of Golog programs over non-local effect actions. In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016), pp. 1109\u20131115. AAAI Press (2016)","DOI":"10.25368\/2022.224"}],"container-title":["Lecture Notes in Computer Science","Description Logic, Theory Combination, and All That"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-22102-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,21]],"date-time":"2022-09-21T20:28:54Z","timestamp":1663792134000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-22102-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030221010","9783030221027"],"references-count":55,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-22102-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"1 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}