Reasoning Robots The Art and Science of Programming Robotic Agents

From the reviews:

"This book presents the ‘fluent calculus’ as one possible approach to solve the frame problem in artificial intelligence. … The book is very understandable and recommendable for anybody who wants to solve AI problems by means of predicate logics and logic programming. It shows that this approach is more and more applicable to the solution of real-world problems. It will be an excellent textbook for appropriate AI or robotics courses and very appropriate for graduate students." (Christian Posthoff, Zentralblatt MATH, Vol. 1092 (18), 2006)