Higher Order Inference System
method
ID: higherorderinferencesystem
Related Papers
Higher-order logical inference with compositional semantics
We present a higher-order inference sys- tem based on a formal compositional semantics and the wide-coverage CCG parser. We develop an improved method to bridge between the parser and seman- …...