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 T2 - Proceedings of the Ninth International Workshop pn non-Monotonic Reasoning, Action and Change (NRAC`11) Y1 - 2011 UR - https://opus.bibliothek.fh-aachen.de/opus4/frontdoor/index/index/docId/4586 N1 - Technical Report RMIT-TR-11-02 SP - 15 EP - 22 ER -