{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T04:01:53Z","timestamp":1750910513529,"version":"3.41.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319661667"},{"type":"electronic","value":"9783319661674"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-66167-4_13","type":"book-chapter","created":{"date-parts":[[2017,8,28]],"date-time":"2017-08-28T11:15:18Z","timestamp":1503918918000},"page":"227-243","source":"Crossref","is-referenced-by-count":1,"title":["Decidable Verification of Decision-Theoretic Golog"],"prefix":"10.1007","author":[{"given":"Jens","family":"Cla\u00dfen","sequence":"first","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":[[2017,8,29]]},"reference":[{"key":"13_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). doi: 10.1007\/978-3-540-40903-8_8"},{"key":"13_CR2","unstructured":"Boutilier, C., Reiter, R., Soutchanski, M., Thrun, S.: Decision-theoretic, high-level agent programming in the situation calculus. In: Kautz, H., Porter, B. (eds.) Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI 2000), pp. 355\u2013362. AAAI Press (2000)"},{"key":"13_CR3","unstructured":"Cla\u00dfen, J., Lakemeyer, G.: A logic for non-terminating Golog programs. In: Brewka, G., Lang, J. (eds.) Proceedings of the Eleventh International Conference on the Principles of Knowledge Representation and Reasoning (KR 2008), pp. 589\u2013599. AAAI Press (2008)"},{"key":"13_CR4","series-title":"Theoretical Computer Science and General Issues","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: Kuncak, V., Majumdar, R. (eds.) CAV 2017. Theoretical Computer Science and General Issues, vol. 10427, pp. 592\u2013600. Springer, Heidelberg (2017). doi: 10.1007\/978-3-319-63390-9_31"},{"key":"13_CR5","doi-asserted-by":"crossref","first-page":"980","DOI":"10.1016\/j.robot.2008.08.010","volume":"56","author":"A Ferrein","year":"2008","unstructured":"Ferrein, A., Lakemeyer, G.: Logic-based robot control in highly dynamic domains. Robot. Auton. Syst. 56, 980\u2013991 (2008)","journal-title":"Robot. Auton. Syst."},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-21455-4_3","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"V Forejt","year":"2011","unstructured":"Forejt, V., Kwiatkowska, M., Norman, G., Parker, D.: Automated verification techniques for probabilistic systems. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 53\u2013113. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-21455-4_3"},{"issue":"5","key":"13_CR7","doi-asserted-by":"crossref","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. Form. Aspects Comput. 6(5), 512\u2013535 (1994)","journal-title":"Form. Aspects Comput."},{"key":"13_CR8","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-9455-6","volume-title":"Denumerable Markov Chains","author":"JG Kemeny","year":"1976","unstructured":"Kemeny, J.G., Snell, J.L., Knapp, A.W.: Denumerable Markov Chains. Graduate Texts in Mathematics, vol. 40. Springer, New York (1976). doi: 10.1007\/978-1-4684-9455-6"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Parker, D.: Advances in probabilistic model checking. In: Nipkow, T., Grumberg, O., Hauptmann, B. (eds.) Software Safety and Security - Tools for Analysis and Verification, NATO Science for Peace and Security Series - D: Information and Communication Security, vol. 33, pp. 126\u2013151. IOS Press (2012)","DOI":"10.3233\/978-1-61499-028-4-126"},{"key":"13_CR10","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). doi: 10.1007\/978-3-642-22110-1_47"},{"issue":"1","key":"13_CR11","doi-asserted-by":"crossref","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":"13_CR12","doi-asserted-by":"crossref","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."},{"issue":"1\u20132","key":"13_CR13","doi-asserted-by":"crossref","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":"13_CR14","doi-asserted-by":"crossref","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":"13_CR15","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"ML Puterman","year":"1994","unstructured":"Puterman, M.L.: Markov Decision Processes: Discrete Stochastic Dynamic Programming. Wiley, New York (1994)"},{"key":"13_CR16","doi-asserted-by":"crossref","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)"},{"key":"13_CR17","unstructured":"Soutchanski, M.: An on-line decision-theoretic Golog interpreter. In: Nebel, B. (ed.) Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI 2001), pp. 19\u201326. Morgan Kaufmann Publishers Inc. (2001)"},{"key":"13_CR18","unstructured":"Vassos, S., Lakemeyer, G., Levesque, H.J.: First-order strong progression for local-effect basic action theories. In: Brewka, G., Lang, J. (eds.) Proceedings of the Eleventh International Conference on the Principles of Knowledge Representation and Reasoning (KR 2008), pp. 662\u2013672. AAAI Press (2008)"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Zarrie\u00df, B., Cla\u00dfen, J.: Decidable verification of Golog programs over non-local effect actions. LTCS-Report 15-19, Chair of Automata Theory, TU Dresden, Dresden, Germany (2015)","DOI":"10.25368\/2022.224"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Zarrie\u00df, B., Cla\u00dfen, J.: Decidable verification of Golog programs over non-local effect actions. In: Schuurmans, D., Wellman, M. (eds.) Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016), pp. 1109\u20131115. AAAI Press (2016)","DOI":"10.1609\/aaai.v30i1.10109"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66167-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T03:52:52Z","timestamp":1750823572000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66167-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319661667","9783319661674"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66167-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}