@article{Ferrein2008,
  author    = {Ferrein, Alexander},
  title     = {Logic-based robot control in highly dynamic domains / Ferrein, Alexander ; Lakemeyer, Gerhard},
  series = {Robotics and Autonomous Systems. 56 (2008), H. 11},
  journal   = {Robotics and Autonomous Systems. 56 (2008), H. 11},
  isbn      = {0921-8890},
  pages     = {980 -- 991},
  year      = {2008},
  language  = {en}
}
@book{Ferrein2008,
  author    = {Ferrein, Alexander},
  title     = {Robot controllers for highly dynamic environments with real-time constraints},
  pages     = {XVI; 247 S. : Ill., graph. Darst},
  year      = {2008},
  language  = {en}
}
@article{Ferrein2005,
  author    = {Ferrein, Alexander},
  title     = {Specifying Soccer Moves with Golog},
  series = {Book of abstracts : Cologne, 15 - 17 September 2004 / 1st International Working Conference IT and Sport \& 5th conference DVS-Section Computer Science in Sport},
  journal   = {Book of abstracts : Cologne, 15 - 17 September 2004 / 1st International Working Conference IT and Sport \& 5th conference DVS-Section Computer Science in Sport},
  publisher = {German Sport Univ.},
  address   = {K{\"o}ln},
  isbn      = {3-00-014576-1},
  pages     = {161 -- 165},
  year      = {2005},
  language  = {en}
}
@article{Ferrein2004,
  author    = {Ferrein, Alexander},
  title     = {Planwirtschaft},
  series = {Linux Magazin (2004)},
  journal   = {Linux Magazin (2004)},
  isbn      = {1432-640X},
  pages     = {50 -- 53},
  year      = {2004},
  language  = {de}
}
@article{Ferrein2010,
  author    = {Ferrein, Alexander},
  title     = {Robot controllers for highly dynamic environments with real-time constraints},
  series = {K{\"u}nstliche Intelligenz : KI},
  volume    = {24},
  journal   = {K{\"u}nstliche Intelligenz : KI},
  number    = {2},
  publisher = {Springer},
  address   = {Heidelberg},
  issn      = {1610-1987},
  doi       = {10.1007/s13218-010-0041-3},
  pages     = {175 -- 178},
  year      = {2010},
  abstract  = {In this extended abstract we describe the robot programming and planning language READYLOG, a GOLOG dialect which was developed to support the decision making of robots acting in dynamic real-time domains like robotic soccer. The formal framework of READYLOG, which is based on the situation calculus, features imperative control structures like loops and procedures, allows for decision-theoretic planning, and accounts for a continuously changing world. We developed high-level controllers in READYLOG for our soccer robots in RoboCup's Middle-size league, but also for service robots and for autonomous agents in interactive computer games.},
  language  = {en}
}
@article{Ferrein2010,
  author    = {Ferrein, Alexander},
  title     = {golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems},
  publisher = {AAAI},
  address   = {Menlo Park},
  pages     = {20 -- 28},
  year      = {2010},
  language  = {en}
}
@article{FassbenderWedel1992,
  author    = {Faßbender, Heinz and Wedel, Andrea},
  title     = {E-Unifikation mit macro tree transducer},
  series = {2. Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen / Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen <2, 1992, Oberjoch>. Herbert Klaeren},
  journal   = {2. Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen / Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen <2, 1992, Oberjoch>. Herbert Klaeren},
  publisher = {Wilhelm-Schickard-Inst. f{\"u}r Informatik, Univ.},
  address   = {T{\"u}bingen},
  isbn      = {0946-3852},
  pages     = {5 S.},
  year      = {1992},
  language  = {de}
}
@article{FassbenderVoglerWedel1993,
  author    = {Faßbender, Heinz and Vogler, Heiko and Wedel, Andrea},
  title     = {An abstract machine for the E-Unification with macro tree transducer},
  series = {7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA]},
  journal   = {7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA]},
  year      = {1993},
  language  = {en}
}
@book{FassbenderVoglerWedel1994,
  author    = {Faßbender, Heinz and Vogler, Heiko and Wedel, Andrea},
  title     = {Implementation of a deterministic partial E-unification algorithm for macro tree transducers},
  publisher = {Univ. Ulm, Fak. f{\"u}r Informatik},
  address   = {Ulm},
  pages     = {62 S.},
  year      = {1994},
  language  = {en}
}
@article{FassbenderVogler1991,
  author    = {Faßbender, Heinz and Vogler, Heiko},
  title     = {A narrowing machine for the functional logic language BABEL, restricted to primitive recursion : abstract},
  series = {Granada Workshop on the Integration of Functional and Logic Programming / Granada Workshop on the Integration of Functional and Logic Programming <1990>. K. Indermark ... (ed.)},
  journal   = {Granada Workshop on the Integration of Functional and Logic Programming / Granada Workshop on the Integration of Functional and Logic Programming <1990>. K. Indermark ... (ed.)},
  publisher = {RWTH, Fachgruppe Informatik},
  address   = {Aachen},
  pages     = {95 -- 96},
  year      = {1991},
  language  = {en}
}