@article{GspandlPillReipetal.2011, author = {Gspandl, Stephan and Pill, Ingo and Reip, Michael and Steinbauer, Gerald and Ferrein, Alexander}, title = {Belief Management for High-Level Robot Programs}, series = {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}, journal = {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}, pages = {900 -- 905}, year = {2011}, language = {en} } @article{FerreinDyllaLakemeyeretal.2008, author = {Ferrein, Alexander and Dylla, Frank and Lakemeyer, Gerhard and Murray, Jan}, title = {Approaching a formal soccer theory from behaviour specifications in robotic soccer / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard ; Murray, Jan ; Obst, Oliver ; R{\"o}fer, Thomas ; Schiffer, Stefan ; Stolzenburg, Frieder ; Visser, Ubbo ; Wagner, Tho}, series = {Computers in sport / editors: P Dabnichki}, journal = {Computers in sport / editors: P Dabnichki}, publisher = {WIT Press}, address = {Southampton}, isbn = {978-1-8456-4064-4}, pages = {161 -- 185}, year = {2008}, language = {en} } @article{VorstFerreinLakemeyer2006, author = {Vorst, Phillip and Ferrein, Alexander and Lakemeyer, Gerhard}, title = {AllemaniACs3D team description}, pages = {1 -- 6}, year = {2006}, language = {en} } @article{FerreinSteinbauerVassos2012, author = {Ferrein, Alexander and Steinbauer, Gerald and Vassos, Stavros}, title = {Action-Based Imperative Programming with YAGI}, pages = {24 -- 31}, year = {2012}, abstract = {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.}, language = {en} } @article{FerreinDyllaLakemeyer2002, author = {Ferrein, Alexander and Dylla, Frank and Lakemeyer, Gerhard}, title = {Acting and Deliberating using Golog in Robotic Soccer - A Hybrid Architecture / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard}, series = {Proc. 3rd International Cognitive Robotics Workshop (CogRob 2002)}, journal = {Proc. 3rd International Cognitive Robotics Workshop (CogRob 2002)}, pages = {1 -- 7}, year = {2002}, language = {en} } @article{SchifferFerreinLakemeyer2015, author = {Schiffer, Stefan and Ferrein, Alexander and Lakemeyer, Gerhard}, title = {Abstracting Away Low-Level Details in Service Robotics with Fuzzy Fluents}, series = {Model-Driven Knowledge Engineering for Improved Software Modularity in Robotics and Automation. Workshop at European Robotics Forum 2015 Vienna, Austria, March 11-13, 2015.}, journal = {Model-Driven Knowledge Engineering for Improved Software Modularity in Robotics and Automation. Workshop at European Robotics Forum 2015 Vienna, Austria, March 11-13, 2015.}, pages = {1 -- 4}, year = {2015}, language = {en} } @article{FerreinBeckLakemeyer2007, author = {Ferrein, Alexander and Beck, Daniel and Lakemeyer, Gerhard}, title = {A Simulation Environment for Middle-Size Robots with Multi-level Abstraction / Beck, Daniel ; Ferrein, Alexander ; Lakemeyer, Gerhard}, series = {RoboCup 2007: Robot Soccer World Cup XI}, journal = {RoboCup 2007: Robot Soccer World Cup XI}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-540-68846-4}, pages = {136 -- 147}, year = {2007}, language = {en} } @article{NiemuellerFerreinLakemeyer2010, author = {Niem{\"u}ller, Tim and Ferrein, Alexander and Lakemeyer, Gerhard}, title = {A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao}, series = {RoboCup 2009: Robot Soccer World Cup XIII}, journal = {RoboCup 2009: Robot Soccer World Cup XIII}, pages = {240 -- 251}, year = {2010}, language = {en} } @article{FerreinRensMeyeretal.2011, author = {Ferrein, Alexander and Rens, Gavin and Meyer, Thomas and Lakemeyer, Gerhard}, title = {A Logic for Specifying Partially Observable Stochastic Domains / Rens, Gavin ; Meyer, Thomas ; Ferrein, Alexander ; Lakemeyer, Gerhard}, series = {Proceedings of the Ninth International Workshop pn non-Monotonic Reasoning, Action and Change (NRAC`11)}, journal = {Proceedings of the Ninth International Workshop pn non-Monotonic Reasoning, Action and Change (NRAC`11)}, pages = {15 -- 22}, year = {2011}, language = {en} } @article{RensVarzinczakMeyeretal.2010, author = {Rens, Gavin and Varzinczak, Ivan and Meyer, Thomas and Ferrein, Alexander}, title = {A Logic for Reasoning about Actions and Explicit Observations}, series = {AI 2010: Advances in Artificial Intelligence 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings}, journal = {AI 2010: Advances in Artificial Intelligence 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-642-17431-5}, pages = {395 -- 404}, year = {2010}, language = {en} }