Automatic Theorem Proving for Natural Logic: a Case Study on Textual Entailment
-
Published:2018-03-30
Issue:1
Volume:22
Page:
-
ISSN:2007-9737
-
Container-title:Computación y Sistemas
-
language:
-
Short-container-title:CyS
Author:
Lavalle Martínez José de Jesús,Montes y Gómez Manuel,Jiménez Salazar Héctor,Villaseñor Pineda Luis,Beltrán Martínez Beatriz
Publisher
Instituto Politecnico Nacional/Centro de Investigacion en Computacion
Subject
General Computer Science