TY - JOUR A1 - Ferrein, Alexander A1 - Schiffer, Stefan A1 - Lakemeyer, Gerhard T1 - A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus / Ferrein, Alexander ; Schiffer, Stefan ; Lakemeyer, Gerhard JF - Intelligent Robotics and Applications : First International Conference, ICIRA 2008 Wuhan, China, October 15-17, 2008 Proceedings, Part I Y1 - 2008 N1 - Lecture Notes in Computer Science ; 5314 SP - 498 EP - 509 PB - Springer CY - Berlin 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 - 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 - 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 - 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 - 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 - CHAP A1 - Dylla, Frank A1 - Ferrein, Alexander A1 - Lakemeyer, Gerhard T1 - AllemaniACs 2003 team description T2 - RoboCup 2003 : Robot Soccer World Cup VII Y1 - 2003 SP - 1 EP - 3 ER - TY - JOUR A1 - Vorst, Phillip A1 - Ferrein, Alexander A1 - Lakemeyer, Gerhard T1 - AllemaniACs3D team description Y1 - 2006 SP - 1 EP - 6 ER - TY - CHAP A1 - Ferrein, Alexander A1 - Lakemeyer, Gerhard A1 - Schiffer, Stefan T1 - AllemaniACs@ home 2006 team description Y1 - 2006 SP - 1 EP - 6 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 - CHAP A1 - Niemüller, Tim A1 - Lakemeyer, Gerhard A1 - Ferrein, Alexander T1 - Aspects of integrating diverse software into robotic systems extended abstract T2 - ICRA 2013 - 8th Workshop on Software Development and Integration in Robotics (SDIR), Karlsruhe, Germany Y1 - 2013 SP - 1 EP - 2 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 - Hermanns, Lutz A1 - Lakemeyer, Gerhard T1 - Comparing Sensor Fusion Techniques for Ball Position Estimation / Ferrein, Alexander ; Hermanns, Lutz ; Lakemeyer, Gerhard JF - RoboCup 2005: Robot Soccer World Cup IX Y1 - 2006 SN - 978-3-540-35437-6 N1 - Lecture Notes in Computer Science ; 4020 SP - 154 EP - 165 PB - Springer CY - Berlin ER - TY - CHAP A1 - Hofmann, Till A1 - Mataré, Victor A1 - Schiffer, Stefan A1 - Ferrein, Alexander A1 - Lakemeyer, Gerhard T1 - Constraint-based online transformation of abstract plans into executable robot actions T2 - Proceedings of the 2018 AAAI Spring Symposium on Integrating Representation, Reasoning, Learning, and Execution for Goal Directed Autonomy Y1 - 2018 SP - 549 EP - 553 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Jacobs, Stefan A1 - Lakemeyer, Gerhard T1 - Controlling Unreal Tournament 2004 Bots with the logic-based action language Golog / Jacobs, Stefan ; Ferrein, Alexander ; Lakemeyer, Gerhard JF - Proceedings of the First AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE). Y1 - 2005 SP - 151 EP - 152 ER - TY - CHAP A1 - Niemueller, Tim A1 - Zwilling, Frederik A1 - Lakemeyer, Gerhard A1 - Löbach, Matthias A1 - Reuter, Sebastian A1 - Jeschke, Sabina A1 - Ferrein, Alexander T1 - Cyber-Physical System Intelligence T2 - Industrial Internet of Things N2 - Cyber-physical systems are ever more common in manufacturing industries. Increasing their autonomy has been declared an explicit goal, for example, as part of the Industry 4.0 vision. To achieve this system intelligence, principled and software-driven methods are required to analyze sensing data, make goal-directed decisions, and eventually execute and monitor chosen tasks. In this chapter, we present a number of knowledge-based approaches to these problems and case studies with in-depth evaluation results of several different implementations for groups of autonomous mobile robots performing in-house logistics in a smart factory. We focus on knowledge-based systems because besides providing expressive languages and capable reasoning techniques, they also allow for explaining how a particular sequence of actions came about, for example, in the case of a failure. KW - Smart factory KW - Industry 4.0 KW - Multi-robot systems KW - Autonomous mobile robots KW - RoboCup Y1 - 2017 SN - 978-3-319-42559-7 U6 - http://dx.doi.org/10.1007/978-3-319-42559-7_17 N1 - Springer Series in Wireless Technology SP - 447 EP - 472 PB - Springer CY - Cham ER - TY - CHAP A1 - Niemueller, Tim A1 - Reuter, Sebastian A1 - Ewert, Daniel A1 - Ferrein, Alexander A1 - Jeschke, Sabina A1 - Lakemeyer, Gerhard T1 - Decisive Factors for the Success of the Carologistics RoboCup Team in the RoboCup Logistics League 2014 T2 - RoboCup 2014: Robot World Cup XVIII Y1 - 2015 SN - 978-3-319-18615-3 N1 - Lecture Notes in Computer Science ; 8992 SP - 155 EP - 167 PB - Springer 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 - Ferrein, Alexander A1 - Schiffer, Stefan A1 - Lakemeyer, Gerhard T1 - Embedding fuzzy controllers in golog / Ferrein, Alexander ; Schiffer, Stefan ; Lakemeyer, Gerhard JF - IEEE International Conference on Fuzzy Systems, 2009. FUZZ-IEEE 2009 Y1 - 2009 SN - 978-1-4244-3596-8 SP - 894 EP - 899 PB - IEEE CY - New York ER - TY - CHAP A1 - Hofmann, Till A1 - Mataré, Victor A1 - Neumann, Tobias A1 - Schönitz, Sebastian A1 - Henke, Christoph A1 - Limpert, Nicolas A1 - Niemueller, Tim A1 - Ferrein, Alexander A1 - Jeschke, Sabina A1 - Lakemeyer, Gerhard T1 - Enhancing Software and Hardware Reliability for a Successful Participation in the RoboCup Logistics League 2017 Y1 - 2018 SN - 978-3-030-00308-1 U6 - http://dx.doi.org/10.1007/978-3-030-00308-1_40 N1 - Lecture Notes in Computer Science, vol 11175 SP - 486 EP - 497 PB - Springer CY - Cham ER -