TY - JOUR A1 - Schiffer, Stefan A1 - Ferrein, Alexander A1 - Lakemeyer, Gerhard T1 - Proceedings of the Fourth International Conference on Intelligent Robotics and Applications (ICIRA 2011) JF - Proceedings of the Fourth International Conference on Intelligent Robotics and Applications (ICIRA 2011) Y1 - 2010 SP - 1 EP - 10 ER - TY - JOUR A1 - Niemüller, Tim A1 - Ferrein, Alexander A1 - Beck, Daniel A1 - Lakemeyer, Gerhard T1 - Design Principles of the Component-Based Robot Software Framework Fawkes JF - Simulation, Modeling, and Programming for Autonomous Robots Y1 - 2010 N1 - Lecture Notes in Computer Science ; 6472 ; Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings SP - 300 EP - 311 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 - Siebel, Nils T. A1 - Steinbauer, Gerald T1 - Hybrid control for autonomous systems — Integrating learning, deliberation and reactive control JF - Robotics and Autonomous Systems Y1 - 2010 SN - 0921-8890 VL - 58 IS - 9 SP - 1037 EP - 1038 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Steinbauer, Gerald T1 - On the Way to High-Level Programming for Resource-Limited Embedded Systems with Golog JF - Simulation, Modeling, and Programming for Autonomous Robots Y1 - 2010 N1 - Lecture Notes in Computer Science ; 6472 ; Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings SP - 229 EP - 240 ER - TY - JOUR A1 - Ferrein, Alexander T1 - Robot controllers for highly dynamic environments with real-time constraints JF - Künstliche Intelligenz : KI. 24 (2010), H. 2 Y1 - 2010 SN - 1610-1987 SP - 175 EP - 178 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 - TY - JOUR A1 - Ferrein, Alexander T1 - golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems Y1 - 2010 SP - 20 EP - 28 ER - TY - JOUR A1 - Ferrein, Alexander T1 - golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems JF - Cognitive Robotics / Lakemeyer, Gerhard (ed.) Y1 - 2010 N1 - Dagstuhl Seminar Proceedings ; 10081 SP - 1 EP - 15 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Niemüller, Tim A1 - Steinbauer, Gerald T1 - Team Zadeat 2010 : application for participation Y1 - 2010 ER - 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 - Schiffer, Stefan A1 - Ferrein, Alexander A1 - Lakemeyer, Gerhard T1 - Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus JF - Journal of Intelligent & Robotic Systems Y1 - 2011 SN - 0921-0296 VL - 63 IS - 2 SP - 273 EP - 300 PB - Springer CY - Berlin ER - TY - JOUR A1 - Niemüller, Tim A1 - Ferrein, Alexander A1 - Eckel, Gerhard A1 - Pirro, David A1 - Podbregar, Patrick A1 - Kellner, Tobias A1 - Rath, Christoph A1 - Steinbauer, Gerald T1 - Providing Ground-truth Data for the Nao Robot Platform JF - RoboCup 2010: Robot Soccer World Cup XIV Y1 - 2011 SN - 978-3-642-20217-9 N1 - Lecture Notes in Computer Science ; 6556 SP - 133 EP - 144 PB - Springer CY - Berlin ER - TY - JOUR A1 - Booysen, Tracy A1 - Rieger, Michael A1 - Ferrein, Alexander T1 - Towards inexpensive robots for science & technology teaching and education in Africa Y1 - 2011 SN - 978-1-61284-992-8 N1 - AFRICON, 2011 SP - 1 EP - 6 PB - IEEE CY - New York ER - TY - JOUR A1 - Ferrein, Alexander A1 - Marais, Stephen A1 - Potgieter, Anet A1 - Steinbauer, Gerald T1 - RoboCup Junior: A vehicle for S&T education in Africa? Y1 - 2011 SN - 978-1-61284-992-8 N1 - AFRICON, 2011 SP - 1 EP - 6 PB - IEEE CY - New York 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 - CHAP A1 - Schiffer, Stefan A1 - Ferrein, Alexander A1 - Lakemeyer, Gerhard T1 - Fuzzy representations and control for domestic service robots in Golog T2 - Intelligent robotics and applications : 4th International conference, ICIRA 2011, Aachen, Germany, December 6-8, 2011, proceedings, part I. (Lecture notes in computer science ; 7102) Y1 - 2011 SN - 978-3-642-25486-4 SP - 241 EP - 250 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 - Schiffer, Stefan A1 - Ferrein, Alexander A1 - Lakemeyer, Gerhard T1 - Caesar: an intelligent domestic service robot JF - Intelligent service robotics N2 - In this paper we present CAESAR, an intelligent domestic service robot. In domestic settings for service robots complex tasks have to be accomplished. Those tasks benefit from deliberation, from robust action execution and from flexible methods for human–robot interaction that account for qualitative notions used in natural language as well as human fallibility. Our robot CAESAR deploys AI techniques on several levels of its system architecture. On the low-level side, system modules for localization or navigation make, for instance, use of path-planning methods, heuristic search, and Bayesian filters. For face recognition and human–machine interaction, random trees and well-known methods from natural language processing are deployed. For deliberation, we use the robot programming and plan language READYLOG, which was developed for the high-level control of agents and robots; it allows combining programming the behaviour using planning to find a course of action. READYLOG is a variant of the robot programming language Golog. We extended READYLOG to be able to cope with qualitative notions of space frequently used by humans, such as “near” and “far”. This facilitates human–robot interaction by bridging the gap between human natural language and the numerical values needed by the robot. Further, we use READYLOG to increase the flexible interpretation of human commands with decision-theoretic planning. We give an overview of the different methods deployed in CAESAR and show the applicability of a system equipped with these AI techniques in domestic service robotics Y1 - 2012 U6 - http://dx.doi.org/10.1007/s11370-012-0118-y SN - 1861-2776 N1 - Special Issue on Artificial Intelligence Techniques for Robotics: Sensing, Representation and Action, Part I VL - 5 IS - 4 SP - 259 EP - 276 PB - Springer CY - Berlin ER - TY - JOUR A1 - Ferrein, Alexander A1 - Meyer, Thomas T1 - A Brief Overview of Artificial Intelligence in South Africa JF - AI Magazine N2 - South Africa in recent years is the establishment of a number of research hubs involved in AI activities ranging from mobile robotics and computational intelligence, to knowledge representation and reasoning, and human language technologies. In this survey we take the reader through a quick tour of the research being conducted at these hubs, and touch on an initiative to maintain and extend the current level of interest in AI research in the country. Y1 - 2012 U6 - http://dx.doi.org/10.1609/aimag.v33i1.2357 SN - 0738-4602 VL - 33 IS - 1 SP - 99 EP - 101 PB - AAAI CY - Menlo Park ER -