A Framework for Decision-Theoretic Planning I: Combining the Situation Calculus, Conditional Plans, Probability and Utility
Planning and Acting in Partially Observable Stochastic Domains