Login / Signup
Automatic Theorem Proving for Natural Logic: a Case Study on Textual Entailment.
José de Jesús Lavalle-Martínez
Manuel Montes-y-Gómez
Héctor Jiménez-Salazar
Luis Villaseñor Pineda
Beatríz Beltrán Martínez
Published in:
Computación y Sistemas (2018)
Keyphrases
</>
textual entailment
automatic theorem proving
answer validation exercise
answer validation
recognizing textual entailment
machine learning
lexico syntactic
natural language processing
wordnet
semantic features
latent semantic indexing
information retrieval