Reasoning robots the art and science of programming robotic agents - Thielscher, Michael (Springer, 2005)