<--- Back to Details
First PageDocument Content
Computational linguistics / Knowledge / Natural language processing / Textual entailment / SemEval / Entailment / Inference / Machine learning / WordNet / Logic / Science / Logical consequence
Date: 2013-05-27 02:52:27
Computational linguistics
Knowledge
Natural language processing
Textual entailment
SemEval
Entailment
Inference
Machine learning
WordNet
Logic
Science
Logical consequence

Recognizing Partial Textual Entailment Omer Levy†

Add to Reading List

Source URL: www.tk.informatik.tu-darmstadt.de

Download Document from Source Website

File Size: 135,56 KB

Share Document on Facebook

Similar Documents

Automated Documentation Inference to Explain Failed Tests Sai Zhang1 Cheng Zhang2

DocID: 1xW1K - View Document

Bayonet: Probabilistic Inference for Networks Timon Gehr Sasa Misailovic Petar Tsankov

DocID: 1xW0p - View Document

Software engineering / Formal methods / Mathematical logic / Type theory / Theoretical computer science / Type systems / Edsger W. Dijkstra / Predicate transformer semantics / Extended static checking / ESC/Java / Type inference / HindleyMilner type system

1 Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, U.S.A.

DocID: 1xW0d - View Document

Inférence d’invariants pour le model checking de systèmes paramétrés Alain Mebsout LRI, Université Paris-Sud Soutenance de thèse

DocID: 1xVrt - View Document

Observational astronomy / Astronomy / Parallel computing / Bayesian network / Sloan Digital Sky Survey / Computing / Bayesian inference / Astronomical survey / Gravitational lens / Computer cluster

Cataloging the Visible Universe through Bayesian Inference at Petascale Jeffrey Regier∗ , Kiran Pamnany† , Keno Fischer‡ , Andreas Noack§ , Maximilian Lam∗ , Jarrett Revels§ , Steve Howard¶ , Ryan Giordano¶ ,

DocID: 1xVn9 - View Document