Higher-order logical inference with compositional semantics Koji Mineshima author Pascual Martínez-Gómez author Yusuke Miyao author Daisuke Bekki author 2015-09 text Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing Lluís Màrquez editor Chris Callison-Burch editor Jian Su editor Association for Computational Linguistics Lisbon, Portugal conference publication mineshima-etal-2015-higher 10.18653/v1/D15-1244 https://aclanthology.org/D15-1244/ 2015-09 2055 2061