Back to Results
First PageMeta Content
Propositional calculus / Philosophical logic / Formal languages / Textual entailment / Entailment / WordNet / Formal proof / Inference / Abductive reasoning / Logic / Logical consequence / Logical syntax


Knowledge and Tree-Edits in Learnable Entailment Proofs Asher Stern1 , Amnon Lotan3 , Shachar Mirkin1 , Eyal Shnarch1 , Lili Kotlerman1 , Jonathan Berant2 , and Ido Dagan1 1 Computer Science Department, Bar-Ilan Univers
Add to Reading List

Document Date: 2014-07-26 23:52:02

Open Document

File Size: 324,23 KB

Share Result on Facebook

City

Ramat Aviv / the cost / /

Company

BIU2 BIU3 Novelty-Detection Score Precision / Justification Score Precision / YaData / Microsoft / Reuters / /

Country

Israel / /

Currency

pence / USD / /

Event

M&A / Product Recall / Product Issues / Reorganization / /

Facility

Bar Ilan University Textual Entailment Engine / Bar-Ilan University / Tel-Aviv University / /

IndustryTerm

entailment rule applications / search process / inference systems / separate post-processing mechanism / search scheme / machine learning algorithm / search problem / linear learning algorithm / supervised linear learning algorithm / search query / above systems / search algorithm / space search scheme / learning algorithm / /

NaturalFeature

Compact Forest / /

Organization

Bar-Ilan University / Department of Linguistics / Tel-Aviv University / Israel School of Computer Science / Bar-Ilan University / Ramat Gan / U.S. Securities and Exchange Commission / Computer Science Department / /

Person

Paula Ted / Ted Table / /

Product

ArkRef / Geographical database BIU2 BIU3 Novelty-Detection Score Precision / /

PublishedMedium

the Reuters news / /

Technology

learning algorithm / linear learning algorithm / search algorithm / machine learning algorithm / supervised linear learning algorithm / http / machine learning / estimated using a machine learning algorithm / /

URL

http /

SocialTag