( en | de | ru )

 

Disambiguation of "Mineshima, Koji"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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

Exploring Transitivity in Neural NLI Models through Veridicality., , and . EACL, page 920-934. Association for Computational Linguistics, (2021)Development of a General-Purpose Categorial Grammar Treebank., , , and . LREC, page 5195-5201. European Language Resources Association, (2020)Towards Modeling Natural Language Inferences with Part-Whole Relations using Formal Ontology and Lexical Semantics., , and . JOWO@IJCAI, volume 1517 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)A Diagrammatic Inference System with Euler Circles., , and . J. Log. Lang. Inf., 21 (3): 365-391 (2012)Variable Handling and Compositionality: Comparing DRT and DTS., , and . J. Log. Lang. Inf., 28 (2): 261-285 (2019)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)Building a Video-and-Language Dataset with Human Actions for Multimodal Logical Inference., , , and . CoRR, (2021)On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective., , , and . ED@Diagrams, volume 854 of CEUR Workshop Proceedings, page 17-31. CEUR-WS.org, (2012)The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings., , and . Diagrams, volume 6170 of Lecture Notes in Computer Science, page 6-22. Springer, (2010)Evaluating Large Language Models with NeuBAROCO: Syllogistic Reasoning Ability and Human-like Biases., , , , and . CoRR, (2023)