Title: Logical Formalizations of Commonsense Reasoning
Subjects: Artificial intelligence, Reasoning