Conference paperReasoning about Noisy Sensors in the Situation CalculusFahiem Bacchus, Joseph Y. Halpern, et al.IJCAI 1995