 Minker 2000b is a comprehensive collection of survey papers and original contributions to the field of logic-based AI, with extensive references to the literature.  Jack Minker’s introduction, Minker 2000a, is a useful orientation to the field. This volume is  a good beginning point for readers who wish to pursue this topic further.  Brachman &amp; Levesque 2004a provides an introduction to the field of knowledge representation in textbook form.   Davis 1991a and Mueller 2006a are book-length treatments of the challenging problem of formalizing commonsense reasoning.   Antonelli 2012a is a good entry point for readers interested in nonmonotonic logic, and Shanahan 2009a is a useful discussion of the frame problem.   Wooldridge 2000a deals with logical formalizations of rational agents.  