@article{FassbenderVogler1994, author = {Faßbender, Heinz and Vogler, Heiko}, title = {A universal unification algorithm based on unification-driven leftmost outermost narrowing}, series = {Acta Cybernetica. 11 (1994), H. 3}, journal = {Acta Cybernetica. 11 (1994), H. 3}, isbn = {0324-721x}, pages = {139 -- 167}, year = {1994}, language = {en} } @article{Fassbender1995, author = {Faßbender, Heinz}, title = {A verified implementation of narrowing}, series = {Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)}, journal = {Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-60359-X}, pages = {63 -- 80}, year = {1995}, language = {en} } @article{Alt1974, author = {Alt, Helmut}, title = {Ab 1975 Uranerz aus Rabbit-Lake}, series = {Energiewirtschaftliche Tagesfragen}, volume = {24}, journal = {Energiewirtschaftliche Tagesfragen}, number = {1/2}, publisher = {VDE-Verlag}, address = {Berlin}, issn = {0720-6240}, pages = {34}, year = {1974}, language = {de} } @article{FuchsRitz2011, author = {Fuchs, Britta and Ritz, Thomas}, title = {Absatzkan{\"a}le kaum verkn{\"u}pft}, series = {IT-Mittelstand : IT-Business im Mittelstand}, volume = {2011}, journal = {IT-Mittelstand : IT-Business im Mittelstand}, number = {9}, publisher = {Medienhaus-Verlag}, address = {Bergisch-Gladbach}, pages = {16}, year = {2011}, language = {de} } @article{HagemannGeittnerSchnittkeretal.1989, author = {Hagemann, Hans-J{\"u}rgen and Geittner, P. and Schnittker, W. and Warnier, J.}, title = {Abscheidegeschwindigkeiten und Prozeßausbeuten im PCVD-Verfahren. Geittner, P.; Hagemann, H. J.; Schnittker, W.; Warnier, J.; Weling, F.; Wilson, H.}, series = {Philips - Unsere Forschung in Deutschland / Hrsg.: Philips Forschungslaboratorium GmbH Aachen und Hamburg. 4 (1989)}, journal = {Philips - Unsere Forschung in Deutschland / Hrsg.: Philips Forschungslaboratorium GmbH Aachen und Hamburg. 4 (1989)}, pages = {140 -- 143}, year = {1989}, language = {de} } @article{Siepmann1986, author = {Siepmann, Thomas}, title = {Abschlußbericht zum Vorhaben Nr. 22/IV}, series = {Forschungsvereinigung Antriebstechnik: Forschungsreport}, journal = {Forschungsvereinigung Antriebstechnik: Forschungsreport}, publisher = {FVA}, address = {Frankfurt/M.}, year = {1986}, language = {de} } @inproceedings{BitzAlaydrusStreckertetal.2002, author = {Bitz, Andreas and Alaydrus, M. and Streckert, J. and Hansen, V.W.}, title = {Absorption rates inside human body due to radiated electro-magnetic fields of multi-band base station antennas. Boundary value problems with electrically large and high-resolution bodies}, series = {24th BEMS Annual Meeting, Quebec City, Quebec, Canada, 23 - 27 June 2002}, booktitle = {24th BEMS Annual Meeting, Quebec City, Quebec, Canada, 23 - 27 June 2002}, publisher = {Bioelectromagnetics Society}, address = {Frederick, MD}, pages = {40 -- 41}, year = {2002}, language = {en} } @article{SchifferFerreinLakemeyer2015, author = {Schiffer, Stefan and Ferrein, Alexander and Lakemeyer, Gerhard}, title = {Abstracting Away Low-Level Details in Service Robotics with Fuzzy Fluents}, series = {Model-Driven Knowledge Engineering for Improved Software Modularity in Robotics and Automation. Workshop at European Robotics Forum 2015 Vienna, Austria, March 11-13, 2015.}, journal = {Model-Driven Knowledge Engineering for Improved Software Modularity in Robotics and Automation. Workshop at European Robotics Forum 2015 Vienna, Austria, March 11-13, 2015.}, pages = {1 -- 4}, year = {2015}, language = {en} } @article{FerreinDyllaLakemeyer2002, author = {Ferrein, Alexander and Dylla, Frank and Lakemeyer, Gerhard}, title = {Acting and Deliberating using Golog in Robotic Soccer - A Hybrid Architecture / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard}, series = {Proc. 3rd International Cognitive Robotics Workshop (CogRob 2002)}, journal = {Proc. 3rd International Cognitive Robotics Workshop (CogRob 2002)}, pages = {1 -- 7}, year = {2002}, 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} }