( en | de | ru )

 

Disambiguation of "Mineshima, Koji"

Author of the publication

copydeleteadd this publication to your clipboard
Resolving Modal Anaphora in Dependent Type Semantics.

, , and . JSAI-isAI Workshops, volume 9067 of Lecture Notes in Computer Science, page 83-98. Springer, (2014)

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.

Koji Kameo

Koji Onoda

Koji Ota

Tomoko Kojima

Hajime Kojima

 

Other publications of authors with the same name

Evaluating Large Language Models with NeuBAROCO: Syllogistic Reasoning Ability and Human-like Biases., , , , and . CoRR, (2023)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)A CCG-based Compositional Semantics and Inference System for Comparatives., , and . CoRR, (2019)Talking with the Theorem Prover to Interactively Solve Natural Language Inference., , and . PACLIC, page 411-420. Association for Computational Lingustics, (2021)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)Visual representation of negation: Real world data analysis on comic image design., , and . CogSci, cognitivesciencesociety.org, (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)Variable Handling and Compositionality: Comparing DRT and DTS., , and . J. Log. Lang. Inf., 28 (2): 261-285 (2019)A Diagrammatic Inference System with Euler Circles., , and . J. Log. Lang. Inf., 21 (3): 365-391 (2012)