conftrace_

Artificial Intelligence › Core AI ›

Automated Reasoning

28 papers

Papers per year

4

1

1

2

3

17

Papers

Reasoning About Inconsistent Formulas IJCAI 2020

GenC: A Fast Tool for Applications Involving Belief Revision IJCAI 2020

SemEval-2020 Task 4: Commonsense Validation and Explanation SEMEVAL 2020