Handbook of logic in artificial intelligence and logic programming (vol. 3)
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Event Calculus Planning Revisited
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Event Calculus Planning Through Satisfiability
Journal of Logic and Computation
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Artificial intelligence today
Pushing the envelope: planning, propositional logic, and stochastic search
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Noise, non-determinism and spatial uncertainty
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Mobile Agents and Logic Programming
MA '02 Proceedings of the 6th International Conference on Mobile Agents
Programming agent deliberation: an approach illustrated using the 3APL language
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Logic-based subsumption architecture
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
A multi-agent control architecture for large scale multi-robot system
MIC '08 Proceedings of the 27th IASTED International Conference on Modelling, Identification and Control
| Hi-index | 0.00 |
This paper describes the logical foundations of an implemented system which employs resolution-based theorem proving techniques for high-level robot control. The paper offers complementary logical characterizations of perception and planning, and shows how sensing, planning and acting are interleaved to control a real robot.