×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [proof cost]
Home >
proof cost
A Confidence Model for Syntactically-Motivated Entailment Proofs Asher Stern & Ido Dagan ISCOL June 2011, Israel 1.
212 views
Knowledge and Tree-Edits in Learnable Entailment Proofs Asher Stern and Ido Dagan (earlier partial version by Roy Bar-Haim) Download at: nlp/downloads/biutee.
220 views