Reasoning about Noisy Sensors in the Situation Calculus

By Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque. 1995

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Scott Sanner
2. Craig Boutilier
3. Bob Price
4. Raymond Reiter
5. Martijn van Otterlo
6. Peter Stone
7. Vaishak Belle
8. Matthew E. Taylor

Citations in the corpus

• Symbolic Dynamic Programming for First-Order MDPs (2001, methodology): “We then formulate situation calculus domain axioms using these deterministic choices [Bacchus et al., 1995; Reiter, 2001; Boutilier et al., 2000b].”
• Practical solution techniques for first-order MDPs (2009, methodology): “As a consequence we need only formulate SSAs using the deterministicNature’s choices(Bacchus et al., 1995; Poole, 1997; Boutilier et al., 2000; Reiter, 2001), thus obviating the need for a special treatment of stochastic actions in SSAs.”