Title: Progress in Robotics and Intelligent Systems
Subjects: Robotics, Artificial intelligence, Logic machines, Simulation methods