Lavalle Martínez, José de Jesús, Instituto Nacional de Astrofísica, Óptica y Electrónica. Benemérita Universidad Autónoma de Puebla, Mexico

• Vol 22, No 1 (2018): Thematic Issue on Language & Knowledge Engineering (Guest Editors: D. Pinto, D. Vilariño, B. Beltrán) - Articles of the Thematic Issue
  Automatic Theorem Proving for Natural Logic: a Case Study on Textual Entailment
  Abstract  PDF