Higher-order logical inference with compositional semantics.

Koji Mineshima Pascual Martínez-Gómez Yusuke Miyao Daisuke Bekki

Published in: EMNLP (2015)

Keyphrases

logical inference
compositional semantics
higher order
natural language
theorem proving
logical structure
discourse structure
pairwise
natural images
probabilistic inference
markov random field
knowledge compilation
semantic parser
semantic representation