{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:55:24Z","timestamp":1725569724853},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642173189"},{"type":"electronic","value":"9783642173196"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-17319-6_23","type":"book-chapter","created":{"date-parts":[[2010,11,11]],"date-time":"2010-11-11T00:17:11Z","timestamp":1289434631000},"page":"229-240","source":"Crossref","is-referenced-by-count":4,"title":["On the Way to High-Level Programming for Resource-Limited Embedded Systems with Golog"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Ferrein","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerald","family":"Steinbauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"23_CR1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1023\/A:1010014712513","volume":"4","author":"M. Beetz","year":"2001","unstructured":"Beetz, M.: Structured Reactive Controllers. Autonomous Agents and Multi-Agent Systems\u00a04(2), 25\u201355 (2001)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"23_CR2","first-page":"355","volume-title":"Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI 2000) and Twelfth Conference on Innovative Applications of Artificial Intelligence (IAAI 2000)","author":"C. Boutilier","year":"2000","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) and Twelfth Conference on Innovative Applications of Artificial Intelligence (IAAI 2000), pp. 355\u2013362. AAAI Press, Menlo Park (2000)"},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-642-04238-6_29","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"O. Caldiran","year":"2009","unstructured":"Caldiran, O., Haspalamutgil, K., Ok, A., Palaz, C., Erdem, E., Patoglu, V.: Bridging the gap between high-level reasoning and low-level control. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 342\u2013354. Springer, Heidelberg (2009)"},{"issue":"1-2","key":"23_CR4","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G. De Giacomo","year":"2000","unstructured":"De Giacomo, G., L\u00e9sperance, Y., Levesque, H.: ConGolog, A concurrent programming language based on situation calculus. Artificial Intelligence\u00a0121(1-2), 109\u2013169 (2000)","journal-title":"Artificial Intelligence"},{"key":"23_CR5","unstructured":"Ferrein, A.: lua.golog: Towards a non-prolog implementation of golog for embedded systems. In: Lakemeyer, G., Levesque, H., Pirri, F. (eds.) Cognitive Robotics. Dagstuhl Seminar Proceedings, vol.\u00a0100081, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (to appear, 2010)"},{"issue":"11","key":"23_CR6","doi-asserted-by":"publisher","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. Robotics and Autonomous Systems, Special Issue on Semantic Knowledge in Robotics\u00a056(11), 980\u2013991 (2008)","journal-title":"Robotics and Autonomous Systems, Special Issue on Semantic Knowledge in Robotics"},{"key":"23_CR7","unstructured":"Ferrein, A., Steinbauer, G., McPhillips, G., Potgieter, A.: RoboCup Standard Platform League - Team Zadeat - An Intercontinental Research Effort. In: International RoboCup Symposium, Suzhou, China (2008)"},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-0-387-89299-3_2","volume-title":"Multi-Agent Programming: Languages, Tools and Applications","author":"G.D. Giacomo","year":"2009","unstructured":"Giacomo, G.D., L\u00e9sprance, Y., Levesque, H.J., Sardina, S.: Multi-Agent Programming: Languages, Tools and Applications. In: Multi-Agent Programming: Languages, Tools and Applications, pp. 31\u201372. Springer, Heidelberg (2009)"},{"issue":"2","key":"23_CR9","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1093\/jigpal\/11.2.179","volume":"11","author":"H. Grosskreutz","year":"2003","unstructured":"Grosskreutz, H., Lakemeyer, G.: ccgolog \u2013 A logical language dealing with continuous change. Logic Journal of the IGPL\u00a011(2), 179\u2013221 (2003)","journal-title":"Logic Journal of the IGPL"},{"key":"23_CR10","unstructured":"Hempel, R.: pblua \u2013 scripting fot the LEGO NXT (2010), \n                    \n                      http:\/\/www.hempeldesigngroup.com\/lego\/pblua\/\n                    \n                    \n                   (last visited on May 21, 2010)"},{"issue":"5","key":"23_CR11","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/MS.2007.150","volume":"24","author":"A. Hirschi","year":"2007","unstructured":"Hirschi, A.: Traveling Light, the Lua Way. IEEE Software\u00a024(5), 31\u201338 (2007)","journal-title":"IEEE Software"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Ierusalimschy, R., de Figueiredo, L.H., Filho, W.C.: Lua - An Extensible Extension Language. Software: Practice and Experience\u00a026(6), 635-652 (1999)","DOI":"10.1002\/(SICI)1097-024X(199606)26:6<635::AID-SPE26>3.0.CO;2-P"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Ierusalimschy, R., de Figueiredo, L.H., Filho, W.C.: The Evolution of Lua. In: Proceedings of History of Programming Languages III, pp. 2\u20131 \u2013 2\u201326. ACM, New York (2007)","DOI":"10.1145\/1238844.1238846"},{"key":"23_CR14","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1080\/095281397147095","volume":"9","author":"K. Konolige","year":"1997","unstructured":"Konolige, K., Myers, K., Ruspini, E., Saffiotti, A.: The saphira architecture: A design for autonomy. Journal of Experimental and Theoretical Artificial Intelligence\u00a09, 215\u2013235 (1997)","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"23_CR15","unstructured":"Levesque, H.J., Pagnucco, M.: Legolog: Inexpensive experiments in cognitive robotics. In: Proceedings of the Second International Cognitive Robotics Workshop, Berlin, Germany (2000)"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Levesque, H.J., Reiter, R., L\u00e9sprance, Y., Lin, F., Scherl, R.B.: GOLOG: A logic programming language for dynamic domains. The Journal of Logic Programming\u00a031(1-3), 59\u201383 (1997), \n                    \n                      http:\/\/www.sciencedirect.com\/science\/article\/B6V0J-3SNV3TD-4\/2\/11b8202180bb72d91149646db7f4979e\n                    \n                    \n                  , reasoning about Action and Change","DOI":"10.1016\/S0743-1066(96)00121-5"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"McCarthy, J.: Situations, Actions and Causal Laws. Tech. rep., Stanford University (1963)","DOI":"10.21236\/AD0785031"},{"key":"23_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-642-11876-0_21","volume-title":"RoboCup 2009: Robot Soccer World Cup XIII","author":"T. Niem\u00fcller","year":"2010","unstructured":"Niem\u00fcller, T., Ferrein, A., Lakemeyer, G.: A lua-based behavior engine for controlling the humanoid robot nao. In: Baltes, J., et al. (eds.) RoboCup 2009. LNCS, vol.\u00a05949, pp. 240\u2013251. Springer, Heidelberg (2010)"},{"key":"23_CR19","unstructured":"Pham, H.: Applying DTGolog to Large-scale Domains. Master\u2019s thesis, Department of Electrical and Computer Engineering, Ryerson University, Toronot, Canada (2006)"},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"Reiter, R.: Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)","DOI":"10.7551\/mitpress\/4074.001.0001"},{"key":"23_CR21","volume-title":"Artificial Intelligence: A Modern Approach","author":"S. Russell","year":"2003","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice-Hall, Englewood Cliffs (2003)","edition":"2"},{"issue":"3","key":"23_CR22","first-page":"56","volume":"24","author":"P. Talaga","year":"2009","unstructured":"Talaga, P., Oh, J.C.: Combining AIMA and LEGO mindstorms in an artificial intelligence course to build realworldrobots. Journal of Computing Science in Colleges\u00a024(3), 56\u201364 (2009)","journal-title":"Journal of Computing Science in Colleges"},{"key":"23_CR23","unstructured":"The Debian Project: The Computer Language Benchmarks Game, \n                    \n                      http:\/\/shootout.alioth.debian.org\/\n                    \n                    \n                   (retrieved January 30, 2009)"}],"container-title":["Lecture Notes in Computer Science","Simulation, Modeling, and Programming for Autonomous Robots"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17319-6_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T00:43:54Z","timestamp":1553215434000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17319-6_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642173189","9783642173196"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17319-6_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}