Ernest Davis Patrick Doherty Esra Erdem Organizing Committee. 2011 AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2662 conf/aaaiss/2011-6 db/conf/aaaiss/aaaiss2011-6.html#DavisDE11