TY  - JOUR
A1  - Rens, Gavin
A1  - Varzinczak, Ivan
A1  - Meyer, Thomas
A1  - Ferrein, Alexander
T1  - A Logic for Reasoning about Actions and Explicit Observations
JF  - AI 2010: Advances in Artificial Intelligence 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings
Y1  - 2010
SN  - 978-3-642-17431-5
N1  - Lecture Notes in Computer Science ; 6464
SP  - 395
EP  - 404
PB  - Springer
CY  - Berlin
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  - 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
A1  - Niemüller, Tim
A1  - Steinbauer, Gerald
T1  - Team Zadeat 2010 : application for participation
Y1  - 2010
ER  -