Title: Formalizing common sense
Subjects: Artificial intelligence