Reasoning Robots - Thielscher, Michael (Springer Netherlands, 2005)