Gavin Rens, Ivan José Varzinczak, Thomas Meyer, Alexander Ferrein. A Logic for Reasoning about Actions and Explicit Observations. In Jiuyong Li, editor, AI 2010: Advances in Artificial Intelligence - 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings. Volume 6464 of Lecture Notes in Computer Science, pages 395-404, Springer, 2010. [doi]
Abstract is missing.