An On-line Decision-Theoretic Golog Interpreter.

Mikhail Soutchanski

Dept. of Computer Science
University of Toronto
Toronto, ON M5S 3H5
mes@cs.toronto.edu

The paper considers the problem of efficient design of complex logic-based controllers for realistic robotics applications.