Reasoning Robots The Art and Science of Programming Robotic Agents - Thielscher, Michael (Springer, 2005)