{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T23:28:29Z","timestamp":1648682909699},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,5,28]],"date-time":"2010-05-28T00:00:00Z","timestamp":1275004800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1007\/s13218-010-0041-3","type":"journal-article","created":{"date-parts":[[2010,6,1]],"date-time":"2010-06-01T11:29:51Z","timestamp":1275391791000},"page":"175-178","source":"Crossref","is-referenced-by-count":5,"title":["Robot Controllers for Highly Dynamic Environments with\u00a0Real-time Constraints"],"prefix":"10.1007","volume":"24","author":[{"given":"Alexander","family":"Ferrein","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,5,28]]},"reference":[{"key":"41_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.575","volume":"11","author":"C Boutilier","year":"1999","unstructured":"Boutilier C, Dean T, Hanks S (1999) Decision-theoretic planning: structural assumptions and computational leverage. J\u00a0Artif Intell Res 11:1\u201394","journal-title":"J\u00a0Artif Intell Res"},{"key":"41_CR2","first-page":"355","volume-title":"Proc. AAAI-00","author":"C Boutilier","year":"2000","unstructured":"Boutilier C, Reiter R, Soutchanski M, Thrun S (2000) Decision-theoretic, high-level agent programming in the situation calculus. In: Proc. AAAI-00. AAAI Press, Menlo Park, pp\u00a0355\u2013362"},{"key":"41_CR3","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 (1999) An incremental interpreter for high-level programs with sensing. In: Levesque H, Pirri F (eds) Logical foundation for cognitive agents: contributions in honor of Ray Reiter. Springer, Berlin, pp\u00a086\u2013102"},{"issue":"1\u20132","key":"41_CR4","doi-asserted-by":"crossref","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 (2000) ConGolog: a\u00a0concurrent programming language based on situation calculus. Artif Intell 121(1\u20132):109\u2013169","journal-title":"Artif Intell"},{"key":"41_CR5","unstructured":"Ferrein A (2008) Robot controllers for highly dynamic environments with real-time constraints. Doctoral dissertation, KBSG, RWTH Aachen University, Germany"},{"key":"41_CR6","doi-asserted-by":"crossref","unstructured":"Grosskreutz H (2000) Probabilistic projection and belief update in the pgolog framework. In: CogRob-00, ECAI-00, pp\u00a034\u201341","DOI":"10.1007\/978-3-642-58322-3_20"},{"key":"41_CR7","volume-title":"Proc. IJCAI-01","author":"H Grosskreutz","year":"2001","unstructured":"Grosskreutz H, Lakemeyer G (2001) On-line execution of cc-Golog plans. In: Nebel B (ed) Proc. IJCAI-01. Kaufmann, Los Altos"},{"key":"41_CR8","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/978-3-642-60211-5_14","volume-title":"Logical foundation for cognitive agents: contributions in honor of Ray Reiter","author":"G Lakemeyer","year":"1999","unstructured":"Lakemeyer G (1999) On sensing and off-line interpreting in GOLOG. In: Levesque H, Pirri F (eds) Logical foundation for cognitive agents: contributions in honor of Ray Reiter. Springer, Berlin, pp\u00a0173\u2013187"},{"issue":"1\u20133","key":"41_CR9","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H Levesque","year":"1997","unstructured":"Levesque H, Reiter R, L\u00e9sperance Y, Lin F, Scherl R (1997) GOLOG: a\u00a0logic programming language for dynamic domains. J\u00a0Log Program 31(1\u20133):59\u201383","journal-title":"J\u00a0Log Program"},{"issue":"1\u20132","key":"41_CR10","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 (1997) How to progress a database. Artif Intell 92(1\u20132):131\u2013167","journal-title":"Artif Intell"},{"key":"41_CR11","series-title":"LNCS","first-page":"382","volume-title":"Proc. EMCL-98","author":"D Precup","year":"1998","unstructured":"Precup D, Sutton R, Singh S (1998) Theoretical results on reinforcement learning with temporally abstract options. In: Proc. EMCL-98. LNCS, vol\u00a01398. Springer, Berlin, pp\u00a0382\u2013393"},{"key":"41_CR12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in action","author":"R Reiter","year":"2001","unstructured":"Reiter R (2001) Knowledge in action. MIT Press, Cambridge"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-010-0041-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13218-010-0041-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-010-0041-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T10:59:46Z","timestamp":1559473186000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13218-010-0041-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5,28]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,7]]}},"alternative-id":["41"],"URL":"https:\/\/doi.org\/10.1007\/s13218-010-0041-3","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"value":"0933-1875","type":"print"},{"value":"1610-1987","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,5,28]]}}}