{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:51Z","timestamp":1725490251549},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540745648"},{"type":"electronic","value":"9783540745655"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74565-5_27","type":"book-chapter","created":{"date-parts":[[2007,8,25]],"date-time":"2007-08-25T06:01:04Z","timestamp":1188021664000},"page":"352-366","source":"Crossref","is-referenced-by-count":0,"title":["Options in Readylog Reloaded\u00a0\u2013\u00a0Generating Decision-Theoretic Plan Libraries in Golog"],"prefix":"10.1007","author":[{"given":"Lutz","family":"B\u00f6hnstedt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Ferrein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerhard","family":"Lakemeyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"Ferrein, A., Fritz, C., Lakemeyer, G.: Using golog for deliberation and team coordination in robotic soccer. KI K\u00fcnstliche Intelligenz\u00a0(1) (2005)"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"Ferrein, A., Fritz, C., Lakemeyer, G.: On-line Decision-Theoretic Golog for Unpredictable Domains. In: Proc. KI 2004 (2004)","DOI":"10.1007\/978-3-540-30221-6_25"},{"key":"27_CR3","unstructured":"Schiffer, S., Ferrein, A., Lakemeyer, G.: Qualitative world models for soccer robots. In: Qualitative Constraint Calculi Workshop at KI-06 (2006)"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"Schiffer, S., Ferrein, A., Lakemeyer, G.: Football is coming home. In: Chen, X., Liu, W., Williams, M.-A. (eds.) Proceedings of the International PCAR Symposium (2006)","DOI":"10.1145\/1232425.1232433"},{"key":"27_CR5","unstructured":"Boutilier, C., Reiter, R., Soutchanski, M., Thrun, S.: Decision-Theoretic, High-Level Agent Programming in the Situation Calculus. In: Proc. AAAI-00 (2000)"},{"key":"27_CR6","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes: Discrete Dynamic Programming","author":"M. Puterman","year":"1994","unstructured":"Puterman, M.: Markov Decision Processes: Discrete Dynamic Programming. Wiley, New York, USA (1994)"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"McCarthy, J.: Situations, Actions and Causal Laws. Technical report, Stanford University (1963)","DOI":"10.21236\/AD0785031"},{"key":"27_CR8","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":"27_CR9","unstructured":"Soutchanski, M.: High-Level Robot Programming in Dynamic and Incompletely Known Environments. PhD thesis, University of Toronto, Toronto, Canada (2003)"},{"key":"27_CR10","unstructured":"Ferrein, A., Fritz, C., Lakemeyer, G.: Extending DTGolog with Options. In: Proc. IJCAI 2003 (2003)"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Levesque, H.J., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.B.: GOLOG: A logic programming language for dynamic domains. J. of Log. Progr.\u00a031(1-3) (1997)","DOI":"10.1016\/S0743-1066(96)00121-5"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Grosskreutz, H., Lakemeyer, G.: cc-Golog\u00a0\u2013\u00a0An Action Language with Continous Change. Logic Journal of the IGPL (2002)","DOI":"10.1093\/jigpal\/11.2.179"},{"issue":"1\u20132","key":"27_CR13","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., L\u00e9sperance, Y., Levesque, H.J.: ConGolog, A concurrent programming language based on situation calculus. Artificial Intelligence\u00a0121(1\u20132), 109\u2013169 (2000)","journal-title":"Artificial Intelligence"},{"key":"27_CR14","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/978-3-642-60211-5_8","volume-title":"Logical foundation for cognitive agents: contributions in honor of Ray Reiter","author":"G. Giacomo De","year":"1999","unstructured":"De Giacomo, G., Levesque, H.: An incremental interpreter for high-level programs with sensing. In: Levesque, H.J., Pirri, F. (eds.) Logical foundation for cognitive agents: contributions in honor of Ray Reiter, pp. 86\u2013102. Springer, Berlin (1999)"},{"key":"27_CR15","doi-asserted-by":"crossref","unstructured":"Grosskreutz, H.: Probabilistic projection and belief update in the pgolog framework. In: Proc. CogRob-00 at ECAI-00 (2000)","DOI":"10.1007\/978-3-642-58322-3_20"},{"key":"27_CR16","unstructured":"Hauskrecht, M., Meuleau, N., Kaelbling, L.P., Dean, T., Boutilier, C.: Hierarchical Solution of Markov Decision Processes using Macro-actions. In: Proc. UAI (1998)"},{"issue":"1-2","key":"27_CR17","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0004-3702(99)00052-1","volume":"112","author":"R.S. Sutton","year":"1999","unstructured":"Sutton, R.S., Precup, D., Singh, S.P.: Between MDPs and Semi-MDPs: A Framework for Temporal Abstraction in Reinforcement Learning. Artificial Intelligence\u00a0112(1-2), 181\u2013211 (1999)","journal-title":"Artificial Intelligence"},{"issue":"4-5","key":"27_CR18","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1017\/S1471068405002358","volume":"5","author":"M. Thielscher","year":"2005","unstructured":"Thielscher, M.: FLUX: A logic programming method for reasoning agents. Theory and Practice of Logic Programming\u00a05(4-5), 533\u2013565 (2005)","journal-title":"Theory and Practice of Logic Programming"},{"key":"27_CR19","doi-asserted-by":"crossref","unstructured":"Noda, I., Matsubara, H., Hiraki, K., Frank, I.: Soccer server: a tool for research on multi-agent systems. Applied Artificial Intelligence\u00a012 (1998)","DOI":"10.1080\/088395198117848"}],"container-title":["Lecture Notes in Computer Science","KI 2007: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74565-5_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:24:56Z","timestamp":1619519096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74565-5_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540745648","9783540745655"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74565-5_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}