Reasoning Robots: The Art and Science of Programming Robotic Agents: (Applied Logic Series, Volume 33) by: Michael Thielscher Year : 2005 Number of pages : 334 Download Link