Reasoning Robots by Michael Thielscher