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

Craig Boutilier, Raymond Reiter, Mikhail Soutchanski, Sebastian Thrun. Decision-Theoretic, High-Level Agent Programming in the Situation Calculus. In Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30 - August 3, 2000, Austin, Texas, USA. pages 355-362, AAAI Press / The MIT Press, 2000.

Abstract

Abstract is missing.