Title: Logical Formalizations of Commonsense Reasoning
Subjects: Computer software, Computers