Solving the Frame Problem: A Mathematical Investigation of ...
Murray Shanahan
Shanahan's book provides a clear and comprehensive treatment of this work. It will be appreciated by everyone interested in the logical foundations of artificial intelligence.