TY  - JOUR
A1  - Ferrein, Alexander
A1  - Rens, Gavin
A1  - Meyer, Thomas
A1  - Lakemeyer, Gerhard
T1  - A Logic for Specifying Partially Observable Stochastic Domains / Rens, Gavin ; Meyer, Thomas ; Ferrein, Alexander ; Lakemeyer, Gerhard
JF  - Proceedings of the Ninth International Workshop pn non-Monotonic Reasoning, Action and Change (NRAC`11)
Y1  - 2011
N1  - Technical Report RMIT-TR-11-02
SP  - 15
EP  - 22
ER  - 
TY  - JOUR
A1  - Schiffer, Stefan
A1  - Ferrein, Alexander
A1  - Lakemeyer, Gerhard
T1  - Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus
JF  - Journal of Intelligent & Robotic Systems
Y1  - 2011
SN  - 0921-0296
VL  - 63
IS  - 2
SP  - 273
EP  - 300
PB  - Springer
CY  - Berlin
ER  -