Craig Boutilier Raymond Reiter Mikhail Soutchanski Sebastian Thrun Decision-Theoretic, High-Level Agent Programming in the Situation Calculus. 355-362 2000 conf/aaai/2000 AAAI/IAAI db/conf/aaai/aaai2000.html#BoutilierRST00