TY - JOUR A1 - Gspandl, Stephan A1 - Pill, Ingo A1 - Reip, Michael A1 - Steinbauer, Gerald A1 - Ferrein, Alexander T1 - Belief Management for High-Level Robot Programs JF - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence [electronic resource] : Barcelona, Catalonia, Spain, 16 - 22 July 2011 / sponsored by International Joint Conferences on Artificial Intelligence (IJCAI) and the Association for the Advancement of Artificial Intelligence (AAAI). Ed. by Toby Walsh Y1 - 2011 N1 - International Joint Conference on Artificial Intelligence ; (22 : ; 2011.07.16-22 : ; Barcelona, Spain) ; IJCAI ; (22 : ; 2011.07.16-22 : ; Barcelona, Spain) SP - 900 EP - 905 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Dylla, Frank A1 - Lakemeyer, Gerhard A1 - Murray, Jan T1 - Approaching a formal soccer theory from behaviour specifications in robotic soccer / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard ; Murray, Jan ; Obst, Oliver ; Röfer, Thomas ; Schiffer, Stefan ; Stolzenburg, Frieder ; Visser, Ubbo ; Wagner, Tho JF - Computers in sport / editors: P Dabnichki Y1 - 2008 SN - 978-1-8456-4064-4 SP - 161 EP - 185 PB - WIT Press CY - Southampton ER - TY - JOUR A1 - Vorst, Phillip A1 - Ferrein, Alexander A1 - Lakemeyer, Gerhard T1 - AllemaniACs3D team description Y1 - 2006 SP - 1 EP - 6 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Steinbauer, Gerald A1 - Vassos, Stavros T1 - Action-Based Imperative Programming with YAGI N2 - Many tasks for autonomous agents or robots are best described by a specification of the environment and a specification of the available actions the agent or robot can perform. Combining such a specification with the possibility to imperatively program a robot or agent is what we call the actionbased imperative programming. One of the most successful such approaches is Golog. In this paper, we draft a proposal for a new robot programming language YAGI, which is based on the action-based imperative programming paradigm. Our goal is to design a small, portable stand-alone YAGI interpreter. We combine the benefits of a principled domain specification with a clean, small and simple programming language, which does not exploit any side-effects from the implementation language. We discuss general requirements of action-based programming languages and outline YAGI, our action-based language approach which particularly aims at embeddability. Y1 - 2012 N1 - Cognitive Robotics AAAI Technical Report WS-12-06 SP - 24 EP - 31 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Dylla, Frank A1 - Lakemeyer, Gerhard T1 - Acting and Deliberating using Golog in Robotic Soccer - A Hybrid Architecture / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard JF - Proc. 3rd International Cognitive Robotics Workshop (CogRob 2002) Y1 - 2002 SP - 1 EP - 7 ER - TY - JOUR A1 - Schiffer, Stefan A1 - Ferrein, Alexander A1 - Lakemeyer, Gerhard T1 - Abstracting Away Low-Level Details in Service Robotics with Fuzzy Fluents JF - Model-Driven Knowledge Engineering for Improved Software Modularity in Robotics and Automation. Workshop at European Robotics Forum 2015 Vienna, Austria, March 11-13, 2015. Y1 - 2015 SP - 1 EP - 4 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Beck, Daniel A1 - Lakemeyer, Gerhard T1 - A Simulation Environment for Middle-Size Robots with Multi-level Abstraction / Beck, Daniel ; Ferrein, Alexander ; Lakemeyer, Gerhard JF - RoboCup 2007: Robot Soccer World Cup XI Y1 - 2007 SN - 978-3-540-68846-4 N1 - Lecture Notes in Computer Science ; 5001 SP - 136 EP - 147 PB - Springer CY - Berlin ER - TY - JOUR A1 - Niemüller, Tim A1 - Ferrein, Alexander A1 - Lakemeyer, Gerhard T1 - A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao JF - RoboCup 2009: Robot Soccer World Cup XIII Y1 - 2010 N1 - Lecture Notes in Computer Science ; 5949 SP - 240 EP - 251 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Rens, Gavin A1 - Meyer, Thomas A1 - Lakemeyer, Gerhard T1 - A Logic for Specifying Partially Observable Stochastic Domains / Rens, Gavin ; Meyer, Thomas ; Ferrein, Alexander ; Lakemeyer, Gerhard JF - Proceedings of the Ninth International Workshop pn non-Monotonic Reasoning, Action and Change (NRAC`11) Y1 - 2011 N1 - Technical Report RMIT-TR-11-02 SP - 15 EP - 22 ER - TY - JOUR A1 - Rens, Gavin A1 - Varzinczak, Ivan A1 - Meyer, Thomas A1 - Ferrein, Alexander T1 - A Logic for Reasoning about Actions and Explicit Observations JF - AI 2010: Advances in Artificial Intelligence 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings Y1 - 2010 SN - 978-3-642-17431-5 N1 - Lecture Notes in Computer Science ; 6464 SP - 395 EP - 404 PB - Springer CY - Berlin ER -