Decision-Theoretic, High-Level Agent Programming in the Situation Calculus (2000)

by C Boutilier, R Reiter, M Soutchanski, S Thrun
Venue:In Proceedings of the Seventeenth National Conference on Artificial Intelligence, 355– 362. Menlo Park