@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} } @article{Ferrein2010, author = {Ferrein, Alexander}, title = {golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems}, pages = {20 -- 28}, year = {2010}, language = {en} } @article{Ferrein2010, author = {Ferrein, Alexander}, title = {golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems}, series = {Cognitive Robotics / Lakemeyer, Gerhard (ed.)}, journal = {Cognitive Robotics / Lakemeyer, Gerhard (ed.)}, pages = {1 -- 15}, year = {2010}, language = {en} } @article{FerreinNiemuellerSteinbauer2010, author = {Ferrein, Alexander and Niem{\"u}ller, Tim and Steinbauer, Gerald}, title = {Team Zadeat 2010 : application for participation}, pages = {5 Seiten}, year = {2010}, language = {en} } @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{SchifferFerreinLakemeyer2011, author = {Schiffer, Stefan and Ferrein, Alexander and Lakemeyer, Gerhard}, title = {Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus}, series = {Journal of Intelligent \& Robotic Systems}, volume = {63}, journal = {Journal of Intelligent \& Robotic Systems}, number = {2}, publisher = {Springer}, address = {Berlin}, isbn = {0921-0296}, pages = {273 -- 300}, year = {2011}, language = {en} } @article{NiemuellerFerreinEckeletal.2011, author = {Niem{\"u}ller, Tim and Ferrein, Alexander and Eckel, Gerhard and Pirro, David and Podbregar, Patrick and Kellner, Tobias and Rath, Christoph and Steinbauer, Gerald}, title = {Providing Ground-truth Data for the Nao Robot Platform}, series = {RoboCup 2010: Robot Soccer World Cup XIV}, journal = {RoboCup 2010: Robot Soccer World Cup XIV}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-642-20217-9}, pages = {133 -- 144}, year = {2011}, language = {en} } @article{BooysenRiegerFerrein2011, author = {Booysen, Tracy and Rieger, Michael and Ferrein, Alexander}, title = {Towards inexpensive robots for science \& technology teaching and education in Africa}, publisher = {IEEE}, address = {New York}, isbn = {978-1-61284-992-8}, pages = {1 -- 6}, year = {2011}, language = {en} } @article{FerreinMaraisPotgieteretal.2011, author = {Ferrein, Alexander and Marais, Stephen and Potgieter, Anet and Steinbauer, Gerald}, title = {RoboCup Junior: A vehicle for S\&T education in Africa?}, publisher = {IEEE}, address = {New York}, isbn = {978-1-61284-992-8}, pages = {1 -- 6}, year = {2011}, 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} } @inproceedings{SchifferFerreinLakemeyer2011, author = {Schiffer, Stefan and Ferrein, Alexander and Lakemeyer, Gerhard}, title = {Fuzzy representations and control for domestic service robots in Golog}, series = {Intelligent robotics and applications : 4th International conference, ICIRA 2011, Aachen, Germany, December 6-8, 2011, proceedings, part I. (Lecture notes in computer science ; 7102)}, booktitle = {Intelligent robotics and applications : 4th International conference, ICIRA 2011, Aachen, Germany, December 6-8, 2011, proceedings, part I. (Lecture notes in computer science ; 7102)}, isbn = {978-3-642-25486-4}, pages = {241 -- 250}, year = {2011}, 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{SchifferFerreinLakemeyer2012, author = {Schiffer, Stefan and Ferrein, Alexander and Lakemeyer, Gerhard}, title = {Caesar: an intelligent domestic service robot}, series = {Intelligent service robotics}, volume = {5}, journal = {Intelligent service robotics}, number = {4}, publisher = {Springer}, address = {Berlin}, issn = {1861-2776}, doi = {10.1007/s11370-012-0118-y}, pages = {259 -- 276}, year = {2012}, abstract = {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}, language = {en} } @article{FerreinMeyer2012, author = {Ferrein, Alexander and Meyer, Thomas}, title = {A Brief Overview of Artificial Intelligence in South Africa}, series = {AI Magazine}, volume = {33}, journal = {AI Magazine}, number = {1}, publisher = {AAAI}, address = {Menlo Park}, issn = {0738-4602}, doi = {10.1609/aimag.v33i1.2357}, pages = {99 -- 101}, year = {2012}, abstract = {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.}, language = {en} } @article{RensFerrein2013, author = {Rens, Gavin and Ferrein, Alexander}, title = {Belief-node condensation for online POMDP algorithms}, publisher = {IEEE}, address = {New York}, pages = {1 -- 7}, year = {2013}, abstract = {Slightly extended version of the paper accepted at the Robotics and Artificial Intelligence Workshop, a special track of IEEE AFRICON-2013, held in Mauritius, 9-12 September 2013}, language = {en} } @inproceedings{NiemuellerLakemeyerFerrein2013, author = {Niem{\"u}ller, Tim and Lakemeyer, Gerhard and Ferrein, Alexander}, title = {Aspects of integrating diverse software into robotic systems extended abstract}, series = {ICRA 2013 - 8th Workshop on Software Development and Integration in Robotics (SDIR), Karlsruhe, Germany}, booktitle = {ICRA 2013 - 8th Workshop on Software Development and Integration in Robotics (SDIR), Karlsruhe, Germany}, pages = {1 -- 2}, year = {2013}, language = {en} } @article{NiemuellerLakemeyerFerreinetal.2013, author = {Niem{\"u}ller, Tim and Lakemeyer, Gerhard and Ferrein, Alexander and Reuter, S. and Ewert, D. and Jeschke, S. and Pensky, D. and Karras, Ulrich}, title = {Proposal for advancements to the LLSF in 2014 and beyond}, pages = {Publ. online}, year = {2013}, language = {en} } @inproceedings{NiemuellerEwertReuteretal.2013, author = {Niem{\"u}ller, Tim and Ewert, Daniel and Reuter, Sebastian and Karras, Ulrich and Ferrein, Alexander}, title = {Towards benchmarking cyber-physical systems in factory automation scenarios}, series = {KI 2013: advances in artificial intelligence : 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013 ; proceedings / Ingo J. Timm ... (ed.). (Lecture notes in computer science ; 8077)}, booktitle = {KI 2013: advances in artificial intelligence : 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013 ; proceedings / Ingo J. Timm ... (ed.). (Lecture notes in computer science ; 8077)}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-642-40941-7}, pages = {296 -- 299}, year = {2013}, language = {en} } @inproceedings{LeingartnerMaurerSteinbaueretal.2013, author = {Leingartner, Max and Maurer, Johannes and Steinbauer, Gerald and Ferrein, Alexander}, title = {Evaluation of sensors and mapping approaches for disasters in tunnels}, series = {IEEE International Symposium on Safety, Security, and Rescue Robotics : SSRR : 21-26 Oct. 2013, Linkoping, Sweden}, booktitle = {IEEE International Symposium on Safety, Security, and Rescue Robotics : SSRR : 21-26 Oct. 2013, Linkoping, Sweden}, organization = {Institute of Electrical and Electronics Engineers}, isbn = {978-1-4799-0879-0}, pages = {1 -- 7}, year = {2013}, language = {en} } @inproceedings{NiemuellerEwertReuteretal.2013, author = {Niem{\"u}ller, Tim and Ewert, Daniel and Reuter, Sebastian and Ferrein, Alexander and Jeschke, Sabina and Lakemeyer, Gerhard}, title = {The Carologistics RoboCup Logistics Team 2013}, series = {RoboCup 2013 : Eindhoven}, booktitle = {RoboCup 2013 : Eindhoven}, organization = {Robocup <2013, Eindhoven>}, pages = {1 -- 8}, year = {2013}, language = {en} }