Gavin Rens, Gerhard Lakemeyer, Thomas Meyer. A Logic for Specifying Agent Actions and Observations with Probability. In Kristian Kersting, Marc Toussaint, editors, STAIRS 2012 - Proceedings of the Sixth Starting AI Researchers' Symposium, Montpellier, France, 27-28 August 2012. Volume 241 of Frontiers in Artificial Intelligence and Applications, pages 252-263, IOS Press, 2012. [doi]
Abstract is missing.