Now showing items 1-1 of 1
Robot Controllers for Highly Dynamic Environments with Real-time Constraints
KI - Künstliche Intelligenz: Vol. 24, No. 2
In this extended abstract we describe the robot programming and planning language Readylog, a Golog dialect which was developed to support the decision making of robots acting in dynamic real-time domains like robotic soccer. The formal framework of Readylog, which is based on the situation calculus, features imperative ...