Book

Logical Formalizations of Commonsense Reasoning

by Eyal Amir, Vladimir Lifschitz, Rob Miller