Reasoning Robots: The Art and Science of Programming Robotic ...
Michael Thielscher
[Shanahan and Witkowski, 2000] Murray Shanahan and Mark Witkowski. High- level robot control through logic. In C. Castelfranchi and Y. Lespérance, editors, ́ Proceedings of the International Workshop on Agent Theories Architectures and ...