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
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  -