Book

Formalizing common sense

by John McCarthy, Vladimir Lifschitz