 A more recent book-length treatment of the formalization of common sense,   Mueller, 2006, follows a similar pattern.  More than half of the book is devoted to reasoning about actions and change.  There are short chapters on space and mental states, and a longer treatment of default reasoning.  Although logical techniques and formalization methods take center stage in this book, it also contains material on nonlogical methods and on implementations related to the  formalizations.