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
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  - Alt, Helmut
T1  - Ab 1975 Uranerz aus Rabbit-Lake
JF  - Energiewirtschaftliche Tagesfragen
Y1  - 1974
SN  - 0720-6240
VL  - 24
IS  - 1/2
SP  - 34
PB  - VDE-Verlag
CY  - Berlin
ER  - 
TY  - JOUR
A1  - Fuchs, Britta
A1  - Ritz, Thomas
T1  - Absatzkanäle kaum verknüpft
JF  - IT-Mittelstand : IT-Business im Mittelstand
Y1  - 2011
VL  - 2011
IS  - 9
SP  - 16
PB  - Medienhaus-Verlag
CY  - Bergisch-Gladbach
ER  - 
TY  - JOUR
A1  - Hagemann, Hans-Jürgen
A1  - Geittner, P.
A1  - Schnittker, W.
A1  - Warnier, J.
T1  - Abscheidegeschwindigkeiten und Prozeßausbeuten im PCVD-Verfahren. Geittner, P.; Hagemann, H. J.; Schnittker, W.; Warnier, J.; Weling, F.; Wilson, H.
JF  - Philips - Unsere Forschung in Deutschland / Hrsg.: Philips Forschungslaboratorium GmbH Aachen und Hamburg. 4 (1989)
Y1  - 1989
SP  - 140
EP  - 143
ER  - 
TY  - JOUR
A1  - Siepmann, Thomas
T1  - Abschlußbericht zum Vorhaben Nr. 22/IV
JF  - Forschungsvereinigung Antriebstechnik: Forschungsreport
Y1  - 1986
PB  - FVA
CY  - Frankfurt/M.
ER  - 
TY  - CHAP
A1  - Bitz, Andreas
A1  - Alaydrus, M.
A1  - Streckert, J.
A1  - Hansen, V.W.
T1  - 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
T2  - 24th BEMS Annual Meeting, Quebec City, Quebec, Canada, 23 - 27 June 2002
Y1  - 2002
SP  - 40
EP  - 41
PB  - Bioelectromagnetics Society
CY  - Frederick, MD
ER  - 
TY  - JOUR
A1  - Schiffer, Stefan
A1  - Ferrein, Alexander
A1  - Lakemeyer, Gerhard
T1  - Abstracting Away Low-Level Details in Service Robotics with Fuzzy Fluents
JF  - Model-Driven Knowledge Engineering for Improved Software Modularity in Robotics and Automation.
Workshop at European Robotics Forum 2015
Vienna, Austria, March 11-13, 2015.
Y1  - 2015
SP  - 1
EP  - 4
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  - Steinbauer, Gerald
A1  - Vassos, Stavros
T1  - Action-Based Imperative Programming with YAGI
N2  - 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.
Y1  - 2012
N1  - Cognitive Robotics
AAAI Technical Report WS-12-06
SP  - 24
EP  - 31
ER  -