DecisionTheoretic, High-level Agent Programming in the Situation Calculus (2000)

by Craig Boutilier, Ray Reiter, Mikhail Soutchanski, Sebastian Thrun
Venue:In Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI-2000