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  -