Author of the publication

Acquisition of Phrase Correspondences Using Natural Deduction Proofs.

, , , and . NAACL-HLT, page 756-766. Association for Computational Linguistics, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Talking with the Theorem Prover to Interactively Solve Natural Language Inference., , and . PACLIC, page 411-420. Association for Computational Lingustics, (2021)The Efficacy of Diagrams in Syllogistic Reasoning: A Case of Linear Diagrams., and . Diagrams, volume 7352 of Lecture Notes in Computer Science, page 352-355. Springer, (2012)Human Reasoning with Proportional Quantifiers and Its Support by Diagrams., and . Diagrams, volume 9781 of Lecture Notes in Computer Science, page 123-138. Springer, (2016)Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser., , , , and . EMNLP, page 2236-2242. The Association for Computational Linguistics, (2016)Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style., , and . Diagrams, volume 6170 of Lecture Notes in Computer Science, page 99-114. Springer, (2010)Visual representation of negation: Real world data analysis on comic image design., , and . CogSci, cognitivesciencesociety.org, (2021)Annotation of Japanese Discourse Relations Focusing on Concessive Inferences., , , , and . LREC/COLING, page 1215-1224. ELRA and ICCL, (2024)An Analysis of Selectional Restrictions with Dependent Type Semantics., , and . JSAI-isAI Workshops, volume 10247 of Lecture Notes in Computer Science, page 19-32. Springer, (2016)Exploring Transitivity in Neural NLI Models through Veridicality., , and . EACL, page 920-934. Association for Computational Linguistics, (2021)Variable Handling and Compositionality: Comparing DRT and DTS., , and . J. Log. Lang. Inf., 28 (2): 261-285 (2019)