Inference Problems

This paper presents a system that compo- sitionally maps outputs of a wide-coverage Japanese CCG parser onto semantic represen- tations and performs automated inference in higher-order logic. The system is …...