Smith, Barry: Review of Ernest Davis: Representations of Commonsense Knowledge

Minds and Machines 4 (2):245-249. 1994Review of a compendium of alternative formal representations of common-sense knowledge. The book is centered largely on formal representations drawn from first-order logic, and thus lies in the tradition of Kenneth Forbus, Patrick Hayes and Jerry Hobbs. ( direct link )