Xavier: experience with a layered robot architecture
ACM SIGART Bulletin
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Projection Using Regression and Sensors
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
cc-Golog: Towards More Realistic Logic-Based Robot Controllers
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot
KI '98 Proceedings of the 22nd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Belief Update in the pGOLOG Framework
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
The domestic robot—a friendly cognitive system takes care of your home
Ambient intelligence
Logic-based robot control in highly dynamic domains
Robotics and Autonomous Systems
A stochastic model for intrusions
RAID'02 Proceedings of the 5th international conference on Recent advances in intrusion detection
A causal perspective to qualitative spatial reasoning in the situation calculus
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
Exploiting qualitative spatial neighborhoods in the situation calculus
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Caesar: an intelligent domestic service robot
Intelligent Service Robotics
| Hi-index | 0.00 |
Previously, the plan language cc-Golog was introduced for the purpose of specifying event-driven behavior typically found in robot controllers. So far, however, cc-Golog is usable only for projecting the outcome of a plan and it is unclear how to actually execute plans on-line on a robot. In this paper, we provide such an execution model for cc-Golog and, in addition, show how to interleave execution with a new kind of time-bounded projection. Along the way we also demonstrate how a typical robot control architecture where a high-level controller communicates with low-level processes via messages can be directly modelled in cc-Golog.