SICK Data
material
ID: sickdata
Related Papers
A Tableau Prover for Natural Logic and Language
Modeling the entailment relation over sen- tences is one of the generic problems of natural language understanding. In or- der to account for this problem, we de- sign a theorem …...