Learning as Abduction: Trainable Natural Logic Theorem Prover for Natural Language Inference Lasha Abzianidze author 2020-12 text Proceedings of the Ninth Joint Conference on Lexical and Computational Semantics Iryna Gurevych editor Marianna Apidianaki editor Manaal Faruqui editor Association for Computational Linguistics Barcelona, Spain (Online) conference publication abzianidze-2020-learning https://aclanthology.org/2020.starsem-1.3/ 2020-12 20 31