Koji Mineshima

According to our database, Koji Mineshima authored at least 60 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Building a Large Dataset of Human-Generated Captions for Science Diagrams.

Yuri Sato, Ayaka Suzuki, Koji Mineshima

Proceedings of the Diagrammatic Representation and Inference, 2024

Can Euler Diagrams Improve Syllogistic Reasoning in Large Language Models?

Risako Ando, Kentaro Ozeki, Takanobu Morishita, Hirohiko Abe, Koji Mineshima, Mitsuhiro Okada

Proceedings of the Diagrammatic Representation and Inference, 2024

Annotation of Japanese Discourse Relations Focusing on Concessive Inferences.

Ai Kubota, Takuma Sato, Takayuki Amamoto, Ryota Akiyoshi, Koji Mineshima

Proceedings of the 2024 Joint International Conference on Computational Linguistics, 2024

Exploring Reasoning Biases in Large Language Models Through Syllogism: Insights from the NeuBAROCO Dataset.

Kentaro Ozeki, Risako Ando, Takanobu Morishita, Hirohiko Abe, Koji Mineshima, Mitsuhiro Okada

Proceedings of the Findings of the Association for Computational Linguistics, 2024

2023

Can Negation Be Depicted? Comparing Human and Machine Understanding of Visual Representations.

Yuri Sato, Koji Mineshima, Kazuhiro Ueda

Cogn. Sci., March, 2023

Evaluating Large Language Models with NeuBAROCO: Syllogistic Reasoning Ability and Human-like Biases.

Risako Ando, Takanobu Morishita, Hirohiko Abe, Koji Mineshima, Mitsuhiro Okada

CoRR, 2023

Computational Semantics and Evaluation Benchmark for Interrogative Sentences via Combinatory Categorial Grammar.

Hayate Funakura, Koji Mineshima

Proceedings of the 37th Pacific Asia Conference on Language, 2023

Can Machines and Humans Use Negation When Describing Images?

Yuri Sato, Koji Mineshima

Proceedings of the Human and Artificial Rationalities - Second International Conference, 2023

2022

Compositional Evaluation on Japanese Textual Entailment and Similarity.

Hitomi Yanaka, Koji Mineshima

Trans. Assoc. Comput. Linguistics, 2022

Implementing Natural Language Inference for comparatives.

Izumi Haruta, Koji Mineshima, Daisuke Bekki

J. Lang. Model., 2022

Visually Analyzing Universal Quantifiers in Photograph Captions.

Yuri Sato, Koji Mineshima

Proceedings of the Diagrammatic Representation and Inference, 2022

2021

Building a Video-and-Language Dataset with Human Actions for Multimodal Logical Inference.

Riko Suzuki, Hitomi Yanaka, Koji Mineshima, Daisuke Bekki

CoRR, 2021

Talking with the Theorem Prover to Interactively Solve Natural Language Inference.

Atsushi Sumita, Yusuke Miyao, Koji Mineshima

Proceedings of the 35th Pacific Asia Conference on Language, Information and Computation, 2021

Exploring Transitivity in Neural NLI Models through Veridicality.

Hitomi Yanaka, Koji Mineshima, Kentaro Inui

Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics: Main Volume, 2021

Can Humans and Machines Classify Photographs as Depicting Negation?

Yuri Sato, Koji Mineshima

Proceedings of the Diagrammatic Representation and Inference, 2021

Visual representation of negation: Real world data analysis on comic image design.

Yuri Sato, Koji Mineshima, Kazuhiro Ueda

Proceedings of the 43rd Annual Meeting of the Cognitive Science Society, 2021

Assessing the Generalization Capacity of Pre-trained Language Models through Japanese Adversarial Natural Language Inference.

Hitomi Yanaka, Koji Mineshima

Proceedings of the Fourth BlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLP, 2021

SyGNS: A Systematic Generalization Testbed Based on Natural Language Semantics.

Hitomi Yanaka, Koji Mineshima, Kentaro Inui

Proceedings of the Findings of the Association for Computational Linguistics: ACL/IJCNLP 2021, 2021

2020

Development of a General-Purpose Categorial Grammar Treebank.

Yusuke Kubota, Koji Mineshima, Noritsugu Hayashi, Shinya Okano

Proceedings of The 12th Language Resources and Evaluation Conference, 2020

Depicting Negative Information in Photographs, Videos, and Comics: A Preliminary Analysis.

Yuri Sato, Koji Mineshima

Proceedings of the Diagrammatic Representation and Inference, 2020

Combining Event Semantics and Degree Semantics for Natural Language Inference.

Izumi Haruta, Koji Mineshima, Daisuke Bekki

Proceedings of the 28th International Conference on Computational Linguistics, 2020

Do Neural Models Learn Systematicity of Monotonicity Inference in Natural Language?

Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui

Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, 2020

Logical Inferences with Comparatives and Generalized Quantifiers.

Izumi Haruta, Koji Mineshima, Daisuke Bekki

Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics: Student Research Workshop, 2020

2019

Variable Handling and Compositionality: Comparing DRT and DTS.

Yukiko Yana, Koji Mineshima, Daisuke Bekki

J. Log. Lang. Inf., 2019

A CCG-based Compositional Semantics and Inference System for Comparatives.

Izumi Haruta, Koji Mineshima, Daisuke Bekki

CoRR, 2019

HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning.

Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui, Satoshi Sekine, Lasha Abzianidze, Johan Bos

Proceedings of the Eighth Joint Conference on Lexical and Computational Semantics, 2019

Can Neural Networks Understand Monotonicity Reasoning?

Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui, Satoshi Sekine, Lasha Abzianidze, Johan Bos

Proceedings of the 2019 ACL Workshop BlackboxNLP: Analyzing and Interpreting Neural Networks for NLP, 2019

Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation.

Masashi Yoshikawa, Hiroshi Noji, Koji Mineshima, Daisuke Bekki

Proceedings of the 57th Conference of the Association for Computational Linguistics, 2019

Multimodal Logical Inference System for Visual-Textual Entailment.

Riko Suzuki, Hitomi Yanaka, Masashi Yoshikawa, Koji Mineshima, Daisuke Bekki

Proceedings of the 57th Conference of the Association for Computational Linguistics, 2019

Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference.

Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning.

Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki

Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2018

Acquisition of Phrase Correspondences Using Natural Deduction Proofs.

Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki

Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2018

Neural sentence generation from formal semantics.

Kana Manome, Masashi Yoshikawa, Hitomi Yanaka, Pascual Martínez-Gómez, Koji Mineshima, Daisuke Bekki

Proceedings of the 11th International Conference on Natural Language Generation, 2018

2017

Factivity and presupposition in Dependent Type Semantics.

Ribeka Tanaka, Koji Mineshima, Daisuke Bekki

J. Lang. Model., 2017

The Challenge of Composition in Distributional and Formal Semantics.

Ran Tian, Koji Mineshima, Pascual Martínez-Gómez

Proceedings of the IJCNLP 2017, Taipei, Taiwan, November 27, 2017

Determining Semantic Textual Similarity using Natural Deduction Proofs.

Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki

Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, 2017

Visual Denotations for Recognizing Textual Entailment.

Dan Han, Pascual Martínez-Gómez, Koji Mineshima

Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, 2017

On-demand Injection of Lexical Knowledge for Recognising Textual Entailment.

Pascual Martínez-Gómez, Koji Mineshima, Yusuke Miyao, Daisuke Bekki

Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics, 2017

2016

On the Interpretation of Dependent Plural Anaphora in a Dependently-Typed Setting.

Ribeka Tanaka, Koji Mineshima, Daisuke Bekki

Proceedings of the New Frontiers in Artificial Intelligence, 2016

An Analysis of Selectional Restrictions with Dependent Type Semantics.

Eriko Kinoshita, Koji Mineshima, Daisuke Bekki

Proceedings of the New Frontiers in Artificial Intelligence, 2016

Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser.

Koji Mineshima, Ribeka Tanaka, Pascual Martínez-Gómez, Yusuke Miyao, Daisuke Bekki

Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing, 2016

Human Reasoning with Proportional Quantifiers and Its Support by Diagrams.

Yuri Sato, Koji Mineshima

Proceedings of the Diagrammatic Representation and Inference, 2016

ccg2lambda: A Compositional Semantics System.

Pascual Martínez-Gómez, Koji Mineshima, Yusuke Miyao, Daisuke Bekki

Proceedings of ACL-2016 System Demonstrations, Berlin, Germany, August 7-12, 2016, 2016

Annotation and Analysis of Discourse Relations, Temporal Relations and Multi-Layered Situational Relations in Japanese Texts.

Kimi Kaneko, Saku Sugawara, Koji Mineshima, Daisuke Bekki

Proceedings of the 12th Workshop on Asian Language Resources, 2016

2015

How Diagrams Can Support Syllogistic Reasoning: An Experimental Study.

Yuri Sato, Koji Mineshima

J. Log. Lang. Inf., 2015

An Inference Problem Set for Evaluating Semantic Theories and Semantic Processing Systems for Japanese.

Ai Kawazoe, Ribeka Tanaka, Koji Mineshima, Daisuke Bekki

Proceedings of the New Frontiers in Artificial Intelligence, 2015

Towards Modeling Natural Language Inferences with Part-Whole Relations using Formal Ontology and Lexical Semantics.

Ayako Nakamura, Koji Mineshima, Daisuke Bekki

Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

Higher-order logical inference with compositional semantics.

Koji Mineshima, Pascual Martínez-Gómez, Yusuke Miyao, Daisuke Bekki

Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, 2015

2014

Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective.

Koji Mineshima, Yuri Sato, Ryo Takemura, Mitsuhiro Okada

J. Vis. Lang. Comput., 2014

Resolving Modal Anaphora in Dependent Type Semantics.

Ribeka Tanaka, Koji Mineshima, Daisuke Bekki

Proceedings of the New Frontiers in Artificial Intelligence, 2014

Logic and Engineering of Natural Language Semantics (LENLS) 11.

Koji Mineshima

Proceedings of the New Frontiers in Artificial Intelligence, 2014

2012

A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations.

Koji Mineshima, Mitsuhiro Okada, Ryo Takemura

Stud Logica, 2012

A Diagrammatic Inference System with Euler Circles.

Koji Mineshima, Mitsuhiro Okada, Ryo Takemura

J. Log. Lang. Inf., 2012

On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective.

Yuri Sato, Koji Mineshima, Ryo Takemura, Mitsuhiro Okada

Proceedings of the 3rd International Workshop on Euler Diagrams, 2012

The Efficacy of Diagrams in Syllogistic Reasoning: A Case of Linear Diagrams.

Yuri Sato, Koji Mineshima

Proceedings of the Diagrammatic Representation and Inference, 2012

2011

Interpreting logic diagrams: a comparison of two formulations of diagrammatic representations.

Yuri Sato, Koji Mineshima, Ryo Takemura

Proceedings of the 33th Annual Meeting of the Cognitive Science Society, 2011

2010

The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings.

Yuri Sato, Koji Mineshima, Ryo Takemura

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style.

Koji Mineshima, Mitsuhiro Okada, Ryo Takemura

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

2008

Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design.

Koji Mineshima, Mitsuhiro Okada, Yuri Sato, Ryo Takemura

Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

2007

A Presuppositional Analysis of Definite Descriptions in Proof Theory.

Koji Mineshima

Proceedings of the New Frontiers in Artificial Intelligence, 2007