Extending Automated Deduction for Commonsense Reasoning

Open in new window