The semantics of programming languages: an elementary introduction using structural operational semantics
An algorithm for probabilistic planning
Artificial Intelligence - Special volume on planning and scheduling
The independent choice logic for modelling multiple agents under uncertainty
Artificial Intelligence - Special issue on economic principles of multi-agent systems
Planning and acting in partially observable stochastic domains
Artificial Intelligence
Reasoning about noisy sensors and effectors in the situation calculus
Artificial Intelligence
Experiences with an interactive museum tour-guide robot
Artificial Intelligence - Special issue on applications of artificial intelligence
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
A Possibilistic Planner that Deals with Non-Determinism and Contingency
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Reasoning about Noisy Sensors (and Effectors) in the Situation Calculus
RUR '95 Proceedings of the International Workshop on Reasoning with Uncertainty in Robotics
Decision-Theoretic, High-Level Agent Programming in the Situation Calculus
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
COLBERT: A Language for Reactive Control in Sapphira
KI '97 Proceedings of the 21st Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Probabilistic Planning in the Graphplan Framework
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Knowledge, action, and the frame problem
Artificial Intelligence
Languages which capture complexity classes
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
What is planning in the presence of sensing?
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Journal of Intelligent Information Systems
ESP: a logic of only-knowing, noisy sensing and acting
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |
Uncertainty seems to be inherent in most robotic applications. This is because a robot's sensors and actuators are in general imprecise and prone to error. The logic-based action language GOLOG was introduced for the purpose of high-level robot control, but its usefulness was limited because it did not address uncertainty. In this paper we show how this deficiency can be overcome.