Title: Commonsense reasoning
Subjects: Artificial intelligence, Automation, Commonsense reasoning, Data processing, Mathematics, Symbolic and mathematical Logic, Logic, symbolic and mathematical