Book

Logical Formalizations of Commonsense Reasoning

by Ernest Davis, Patrick Doherty, Esra Erdem