TY - JOUR A1 - Ferrein, Alexander A1 - Schiffer, Stefan A1 - Booysen, T. A1 - Stopforth, R. T1 - Why it is harder to run RoboCup in South Africa: Experiences from German South African collaborations JF - International Journal of Advanced Robotic Systems N2 - Robots are widely used as a vehicle to spark interest in science and technology in learners. A number of initiatives focus on this issue, for instance, the Roberta Initiative, the FIRST Lego League, the World Robot Olympiad and RoboCup Junior. Robotic competitions are valuable not only for school learners but also for university students, as the RoboCup initiative shows. Besides technical skills, the students get some project exposure and experience what it means to finish their tasks on time. But qualifying students for future high-tech areas should not only be for students from developed countries. In this article, we present our experiences with research and education in robotics within the RoboCup initiative, in Germany and South Africa; we report on our experiences with trying to get the RoboCup initiative in South Africa going. RoboCup has a huge support base of academic institutions in Germany; this is not the case in South Africa. We present our ‘north–south’ collaboration initiatives in RoboCup between Germany and South Africa and discuss some of the reasons why we think it is harder to run RoboCup in South Africa. Y1 - 2016 U6 - http://dx.doi.org/10.1177/1729881416662789 SN - 1729-8806 VL - 13 IS - 5 SP - 1 EP - 13 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Rens, Gavin A1 - Poel, Etienne van der T1 - A BDI agent architecture for a POMDP planner / Rens, Gavin ; Ferrein, Alexander ; Poel, Etienne van der Y1 - 2009 N1 - 9th International Symposium on Logical Formalization of Commonsense Reasoning: Commonsense 2009, Toronto, Canada, 1-3 June, 2009 SP - 1 EP - 6 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 - Ferrein, Alexander A1 - Niemüller, Tim A1 - Steinbauer, Gerald T1 - Team Zadeat 2010 : application for participation Y1 - 2010 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Mies, Christoph A1 - Lakemeyer, Gerhard T1 - Repairing Decision-Theoretic Policies Using Goal-Oriented Planning / Mies, Christoph ; Ferrein, Alexander ; Lakemeyer, Gerhard JF - KI 2008: Advances in Artificial Intelligence : 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings Y1 - 2008 SN - 978-3-540-85844-7 N1 - Lecture Notes in Computer Science ; 5243 SP - 267 EP - 275 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 - 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 - Konur, Savas A1 - Lakemeyer, Gerhard T1 - Learning Decision Trees for Action Selection in Soccer Agents / Konur, Savas ; Ferrein, Alexander ; Lakemeyer, Gerhard Y1 - 2004 N1 - Proceedings of Workshop on Agents in dynamic and real-time environments SP - 1 EP - 7 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Jacobs, Stefan A1 - Schiffer, Stefan A1 - Beck, Daniel T1 - Robust Collision Avoidance in Unknown Domestic Environments / Jacobs, Stefan ; Ferrein, Alexander ; Schiffer, Stefan ; Beck, Daniel ; Lakemeyer, Gerhard JF - ROBOCUP 2009: ROBOT SOCCER WORLD CUP XIII Y1 - 2009 N1 - Lecture Notes in Computer Science ; 5949 SP - 116 EP - 127 PB - Springer CY - Berlin 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 - JOUR A1 - Ferrein, Alexander A1 - Jacobs, Stefan A1 - Lakemeyer, Gerhard T1 - Unreal Golog Bots / Jacobs, Stefan ; Ferrein, Alexander ; Lakemeyer, Gerhard JF - IJCAI-05 Workshop on Reasoning, Representation, and Learning in Computer Games Y1 - 2005 SP - 31 EP - 36 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 - JOUR A1 - Ferrein, Alexander A1 - Fritz, Christian A1 - Lakemeyer, Gerhard T1 - Using Golog for Deliberation and Team Coordination in Robotic Soccer / Ferrein, Alexander ; Fritz, Christian ; Lakemeyer, Gerhard JF - Künstliche Intelligenz : KI. 19 (2005), H. 1 Y1 - 2005 SN - 0933-1875 SP - 24 EP - 30 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Fritz, Christian A1 - Lakemeyer, Gerhard T1 - On-Line Decision-Theoretic Golog for Unpredictable Domains / Ferrein, Alexander ; Fritz, Christian ; Lakemeyer, Gerhard JF - KI 2004: Advances in Artificial Intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004. Proceedings Y1 - 2004 N1 - Lecture Notes in Computer Science ; 3238 SP - 322 EP - 336 PB - Springer CY - Berlin ER - TY - JOUR A1 - Ferrein, Alexander A1 - Fritz, Christian A1 - Lakemeyer, Gerhard T1 - Extending DTGOLOG with Options / Ferrein, Alexander ; Fritz, Christian ; Lakemeyer, Gerhard JF - IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003 Y1 - 2003 SP - 1391 EP - 1393 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 - Ferrein, Alexander A1 - Dylla, Frank A1 - Lakemeyer, Gerhard A1 - Murray, Jan T1 - Towards a League-Independent Qualitative Soccer Theory for RoboCup / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard ; Murray, Jan ; Obst, Oliver ; Röfer, Thomas ; Stolzenburg, Frieder ; Visser, Ubbo JF - RoboCup 2004: Robot Soccer World Cup VIII / Daniele Nardi ... (ed.). Y1 - 2005 SN - 978-3-540-25046-8 N1 - Lecture Notes in Computer Science ; 3276 SP - 611 EP - 618 PB - Springer CY - Berlin ER - TY - JOUR A1 - Ferrein, Alexander A1 - Dylla, Frank A1 - Lakemeyer, Gerhard T1 - Specifying Multirobot Coordination in ICPGolog - From Simulation towards Real Robots / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard Y1 - 2003 N1 - AOS-4 at IJCAI-03 SP - 1 EP - 10 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 - Ferrein, Alexander A1 - Böhnstedt, Lutz A1 - Lakemeyer, Gerhard T1 - Options in readylog reloaded -- generating decision-theoretic plan libraries in golog / Böhnstedt, Lutz ; Ferrein, Alexander ; Lakemeyer, Gerhard JF - KI 2007: advances in artificial intelligence : 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10 - 13, 2007 ; proceedings Y1 - 2007 SN - 978-3-540-74564-8 N1 - Lecture Notes in Computer Science ; 4667 SP - 352 EP - 366 PB - Springer CY - Berlin ER - TY - JOUR A1 - Ferrein, Alexander A1 - Beck, Daniel A1 - Lakemeyer, Gerhard T1 - Landmark-Based Representations for Navigating Holonomic Soccer Robots / Beck, Daniel ; Ferrein, Alexander ; Lakemeyer, Gerhard JF - RoboCup 2008 : robot soccer world cup XII / Luca Iocchi ... (eds.) Y1 - 2009 SN - 978-3-642-02921-9 N1 - Lecture Notes in Computer Science ; 5399 SP - 25 EP - 36 PB - Springer CY - Heidelberg 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 - Ferrein, Alexander T1 - Logic-based robot control in highly dynamic domains / Ferrein, Alexander ; Lakemeyer, Gerhard JF - Robotics and Autonomous Systems. 56 (2008), H. 11 Y1 - 2008 SN - 0921-8890 SP - 980 EP - 991 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 - 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 - Specifying Soccer Moves with Golog JF - Book of abstracts : Cologne, 15 - 17 September 2004 / 1st International Working Conference IT and Sport & 5th conference DVS-Section Computer Science in Sport Y1 - 2005 SN - 3-00-014576-1 N1 - International Working Conference IT and Sport 1, 2004, Köln ; Deutsche Vereinigung für Sportwissenschaft SP - 161 EP - 165 PB - German Sport Univ. CY - Köln 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 T1 - Towards applying soccer moves in the RoboCup Standard Platform League JF - ÖGAI-Journal Y1 - 2008 SN - 0254-4326 VL - Bd. 27 IS - H. 3 SP - 4 EP - 9 ER - TY - JOUR A1 - Faßbender, Heinz A1 - Vogler, Heiko A1 - Wedel, Andrea T1 - An abstract machine for the E-Unification with macro tree transducer JF - 7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA] Y1 - 1993 ER - TY - JOUR A1 - Faßbender, Heinz A1 - Vogler, Heiko T1 - An implementation of syntax directed functional programming on nested-stack machines JF - Formal Aspects of Computing. 4 (1992), H. 4 Y1 - 1992 SN - 0934-5043 SP - 341 EP - 375 ER - TY - JOUR A1 - Faßbender, Heinz A1 - Vogler, Heiko T1 - A universal unification algorithm based on unification-driven leftmost outermost narrowing JF - Acta Cybernetica. 11 (1994), H. 3 Y1 - 1994 SN - 0324-721x SP - 139 EP - 167 ER - TY - JOUR A1 - Faßbender, Heinz A1 - Vogler, Heiko T1 - A narrowing machine for the functional logic language BABEL, restricted to primitive recursion : abstract JF - Granada Workshop on the Integration of Functional and Logic Programming / Granada Workshop on the Integration of Functional and Logic Programming <1990>. K. Indermark ... (ed.) Y1 - 1991 SP - 95 EP - 96 PB - RWTH, Fachgruppe Informatik CY - Aachen ER - TY - JOUR A1 - Faßbender, Heinz A1 - Mößle, Andrea A1 - Vogler, Heiko T1 - Implementation of a deterministic partial e-unification algorithm for macro tree transducers JF - Journal of functional and logic programming. 1996 (1996), H. 2 Y1 - 1996 SN - 1080-5230 ER - TY - JOUR A1 - Faßbender, Heinz A1 - Maneth, Sebastian T1 - A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian JF - Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.) Y1 - 1996 SN - 3-540-61735-3 N1 - (Lecture notes in computer science ; 1139) SP - 194 EP - 208 PB - Springer CY - Berlin [u.a.] ER - TY - JOUR A1 - Faßbender, Heinz A1 - Maneth, Sebastian T1 - A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian JF - Journal of functional and logic programming. 1998 (1998), H. 4 Y1 - 1998 SN - 1080-5230 ER - TY - JOUR A1 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - Applying Ada, Java and CORBA for making a command and control information system platform independent JF - Proceedings : (SIGAda '99) ; October 17 - 21, 1999 ; Crowne Plaza, Redondo Beach & Marine Hotel, Redondo Beach, CA, USA / ACM SIGAda Annual International Conference Y1 - 1999 SN - 1-58113-127-5 N1 - (Ada letters ; 19,3) SP - 83 EP - 88 PB - ACM CY - New York, NY ER - TY - JOUR A1 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - Making a C2 information system platform independent by using internet and middleware technologies JF - Proceedings of the 1999 Command and Control Research and Technology Symposium, Juni 1999, Newport, USA Y1 - 1999 SP - 1 EP - 11 ER - TY - JOUR A1 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - The join of a geographical situation display system and a platform independent C2 information system JF - Proceedings of the 2000 Command and Control Research and Technology Symposium, Juni 2000, Monterey, USA Y1 - 2000 SP - 1 EP - 7 ER - TY - JOUR A1 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - Modelling command and control information systems by UML JF - Proceedings of the Information Systems Technology Panel Symposium / Information Management Challenges in Achieving Coalition Interoperability, Mai 2001, Quebec City, Kanada Y1 - 2001 SP - 7-1 EP - 7-9 ER - TY - JOUR A1 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - An experimental command and control information system based on Enterprise Java bean technology JF - Proceedings of the 7th International Command and Control Research and Technology Symposium, September 2002, Quebec City, Kanada Y1 - 2002 SP - 1 EP - 8 ER - TY - JOUR A1 - Faßbender, Heinz T1 - Implementation of a universal unification algorithm for macro tree transducers JF - Fundamentals of computation theory : proceedings / 9th International Conference, FCT '93, Szeged, Hungary, August 23 - 27, 1993. Zoltán Ésik (ed.) Y1 - 1993 SN - 3-540-57163-9 N1 - (Lecture notes in computer science ; 710) SP - 222 EP - 233 PB - Springer CY - Berlin [u.a.] ER - TY - JOUR A1 - Faßbender, Heinz T1 - Implementation of a UU-Algorithm for primitive recursive tree functions JF - Fundamentals of computation theory : proceedings / 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.) Y1 - 1995 SN - 3-540-60249-6 N1 - (Lecture notes in computer science ; 965) SP - 233 EP - 242 PB - Springer CY - Berlin [u.a.] ER - TY - JOUR A1 - Faßbender, Heinz T1 - A verified implementation of narrowing JF - Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.) Y1 - 1995 SN - 3-540-60359-X N1 - (Lecture notes in computer science ; 982) SP - 63 EP - 80 PB - Springer CY - Berlin [u.a.] ER - TY - JOUR A1 - Faßbender, Heinz T1 - Reengineering an Ada95-programmed command and control information system by using UML JF - Proceedings : September 30 - October 4, 2001, Twin Cities, Best Western The Thunderbird Hotel & Convention Center, Bloomington, MN, USA / ACM SIGAda Annual International Conference (SIGAda 2001) Y1 - 2001 SN - 1-58113-392-8 N1 - (Ada letters ; 21,4) SP - 53 EP - 60 PB - ACM CY - New York, NY ER - TY - JOUR A1 - Fagan, Andrew J. A1 - Bitz, Andreas A1 - Björkman-Burtscher, Isabella M. A1 - Collins, Christopher M. A1 - Kimbrell, Vera A1 - Raaijmakers, Alexander J. E. T1 - 7T MR Safety JF - Journal of Magnetic Resonance Imaging (JMRI) Y1 - 2021 U6 - http://dx.doi.org/10.1002/jmri.27319 SN - 1522-2586 VL - 53 IS - 2 SP - 333 EP - 346 PB - Wiley CY - Weinheim ER - TY - JOUR A1 - Engels, Elmar A1 - Krauskopf, S. T1 - Innovation in Motion-Logic programming - a versatile interface JF - Proceedings to the 12th International Workshop on Research and Education in Mechatronics, REM 2011, Kocaeli, Turkey, 15.09.-16.09.2011 Y1 - 2011 SN - 978-975-8047-96-3 PB - - ER - TY - JOUR A1 - Engels, Elmar A1 - Doege, E. T1 - Optimizing the number of strokes for punching machines using a fuzzy controlled electrohydraulic damping system / Doege, E. ; Engels, E. JF - ICME 98, CIRP International Seminar on Intelligent Computation in Manufacturing Engineering, Proceedings, Capri, IT, Jul 1-3, 1998 Y1 - 1998 SP - 471 EP - 478 CY - Capri ER - TY - JOUR A1 - Elsen, Ingo A1 - Kraiss, Karl-Friedrich A1 - Krumbiegel, Dirk A1 - Walter, Peter A1 - Wickel, Jochen T1 - Visual information retrieval for 3D product identification: a midterm report JF - KI - Künstliche Intelligenz Y1 - 1999 SN - 1610-1987 SN - 0933-1875 VL - 13 IS - 1 SP - 64 EP - 67 PB - Springer CY - Berlin ER - TY - JOUR A1 - Elsen, Ingo A1 - Kraiss, Karl-Friedrich T1 - System concept and realization of a scalable neurocomputing architecture JF - Systems Analysis Modelling Simulation N2 - This paper describes the realization of a novel neurocomputer which is based on the concepts of a coprocessor. In contrast to existing neurocomputers the main interest was the realization of a scalable, flexible system, which is capable of computing neural networks of arbitrary topology and scale, with full independence of special hardware from the software's point of view. On the other hand, computational power should be added, whenever needed and flexibly adapted to the requirements of the application. Hardware independence is achieved by a run time system which is capable of using all available computing power, including multiple host CPUs and an arbitrary number of neural coprocessors autonomously. The realization of arbitrary neural topologies is provided through the implementation of the elementary operations which can be found in most neural topologies. Y1 - 1999 SN - 0232-9298 SN - 1029-4902 VL - 35 IS - 4 SP - 399 EP - 419 PB - Gordon and Breach Science Publishers CY - Amsterdam ER - TY - JOUR A1 - Elsen, Ingo A1 - Hartung, Frank A1 - Horn, Uwe A1 - Kampmann, Markus A1 - Peters, Liliane ED - Voas, Jeffrey T1 - Streaming technology in 3G mobile communication systems JF - Computer : innovative technology for computer professionals N2 - Third-generation mobile communication systems will combine standardized streaming with a range of unique services to provide high-quality Internet content that meets the specific needs of the rapidly growing mobile market. Y1 - 2001 SN - 0018-9162 SN - 1558-0814 VL - 34 IS - 9 Seiten SP - 46 EP - 52 PB - IEEE CY - New York ER -