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  - 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  - BOOK
A1  - Faßbender, Heinz
A1  - Gladtz, Katia
A1  - Vogler, Heiko
T1  - Compiler based implementation of syntax directed functional programming
Y1  - 1991
N1  - (Aachener Informatik-Berichte ; 91,10)
PB  - RWTH, Fachgruppe Informatik
CY  - Aachen
ER  - 
TY  - BOOK
A1  - Faßbender, Heinz
A1  - Maneth, Sebastian
T1  - A strict border for the decidability of e-unification for recursive functions
Y1  - 1996
N1  - (Technische Berichte ; 96,21)
PB  - TU, Fak. Informatik
CY  - Dresden
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  - 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  - BOOK
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - A universal unification algorithm based on unification driven leftmost outermost narrowing
Y1  - 1992
N1  - (Ulmer Informatik-Berichte ; 92,7)
PB  - Univ. Ulm, Fak. für Informatik
CY  - Ulm
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  - BOOK
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - A call-by-need implementation of syntax directed functional programming
Y1  - 1990
N1  - (Aachener Informatik-Berichte ; 90,22)
PB  - RWTH, Fachgruppe Informatik
CY  - Aachen
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  - BOOK
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
A1  - Wedel, Andrea
T1  - Implementation of a deterministic partial E-unification algorithm for macro tree transducers
Y1  - 1994
N1  - (Ulmer Informatik-Berichte ; 94,4)
PB  - Univ. Ulm, Fak. für Informatik
CY  - Ulm
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  - BOOK
A1  - Ferrein, Alexander
T1  - Robot controllers for highly dynamic environments with real-time constraints
Y1  - 2008
N1  - Aachen, Techn. Hochsch., Diss., 2007
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  - 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  - CHAP
A1  - Ferrein, Alexander
A1  - Bharatheesha, Mukunda
A1  - Schiffer, Stefan
A1  - Corbato, Carlos Hernandez
T1  - TRROS 2018 :  Teaching Robotics with ROS Workshop at ERF 2018;  Proceedings of the Workshop on Teaching Robotics with ROS (held at ERF 2018), co-located with European Robotics Forum 2018 (ERF 2018), Tampere, Finland, March 15th, 2018
T2  - CEUR Workshop Proceedings
Y1  - 2019
SN  - 1613-0073
IS  - Vol-2329
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  - 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  - 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  - 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  - 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  - 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  - 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  - 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  - CHAP
A1  - Ferrein, Alexander
A1  - Lakemeyer, Gerhard
A1  - Schiffer, Stefan
T1  - AllemaniACs@ home 2006 team description
Y1  - 2006
SP  - 1
EP  - 6
ER  - 
TY  - CHAP
A1  - Ferrein, Alexander
A1  - Maier, Christopher
A1  - Mühlbacher, Clemens
A1  - Niemueller, Tim
A1  - Steinbauer, Gerald
A1  - Vassos, Stravros
T1  - Controlling Logistics Robots with the Action-based Language YAGI
T2  - Proceedings of the 2015 IROS Workshop on Workshop on Task Planning for Intelligent Robots in Service and Manufacturing
Y1  - 2015
ER  - 
TY  - CHAP
A1  - Ferrein, Alexander
A1  - Maier, Christopher
A1  - Mühlbacher, Clemens
A1  - Niemüller, Tim
A1  - Steinbauer, Gerald
A1  - Vassos, Stravros
T1  - Controlling logistics robots with the action-based language YAGI
T2  - Intelligent Robotics and Applications: 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part I
Y1  - 2016
SN  - 978-3-319-43505-3 (Print)
SN  - 978-3-319-43506-0 (Online)
U6  - http://dx.doi.org/10.1007/978-3-319-43506-0_46
N1  - Series: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
VL  - 9834
SP  - 525
EP  - 537
PB  - Springer
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  - CHAP
A1  - Ferrein, Alexander
A1  - Meeßen, Marcus
A1  - Limpert, Nicolas
A1  - Schiffer, Stefan
ED  - Lepuschitz, Wilfried
T1  - Compiling ROS Schooling Curricula via Contentual Taxonomies
T2  - Robotics in Education
Y1  - 2021
SN  - 978-3-030-67411-3
U6  - http://dx.doi.org/10.1007/978-3-030-67411-3_5
N1  - RiE: International Conference on Robotics in Education (RiE);
Advances in Intelligent Systems and Computing book series (AISC, volume 1316)
SP  - 49
EP  - 60
PB  - Springer
CY  - Cham
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  - 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  - CHAP
A1  - Ferrein, Alexander
A1  - Niemüller, Tim
A1  - Schiffer, Stefan
A1  - Lakemeyer, Gerhard
ED  - Boots, Byron
T1  - Lessons learnt from developing the embodied AI platform CAESAR for domestic service robotics
T2  - Designing intelligent robots : reintegrating AI II ; papers from the AAAI spring symposium ; [held March 25 - 27, 2013 in Palo Alto, California, USA, on the campus of Stanford University]. (Technical Report / Association for the Advancement of Artificial Intelligence ; 2013,4)
Y1  - 2013
SN  - 9781577356011
SP  - 21
EP  - 26
ER  -