Decision-Theoretic, High-Level Agent Programming in the Situation Calculus.

Craig Boutilier, Raymond Reiter, Mikhail Soutchanski, Sebastian Thrun

Browse the full AAAI paper archive.