Automated Reasoning
843 papers
Papers per year
3
4
3
5
3
7
3
1
45
49
76
83
96
105
117
115
118
10
'10
'20
'25
Papers
Case-Based Abductive Natural Language Inference
COLING 2022
DCT-Centered Temporal Relation Extraction
COLING 2022