Jiménez Salazar, Héctor, Universidad Autónoma Metropolitana, Unidad Cuajimalpa, 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