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