A Presuppositional Analysis of Definite Descriptions in Proof Theory. - Koji Mineshima (JSAI, 2007)

Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design. - Koji Mineshima; Mitsuhiro Okada; Yuri Sato 001; Ryo Takemura (Diagrams, 2008)

Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style. - Koji Mineshima; Mitsuhiro Okada; Ryo Takemura (Diagrams, 2010)

The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings. - Yuri Sato 001; Koji Mineshima; Ryo Takemura (Diagrams, 2010)

Interpreting logic diagrams: a comparison of two formulations of diagrammatic representations. - Yuri Sato 001; Koji Mineshima; Ryo Takemura (CogSci, 2011)

The Efficacy of Diagrams in Syllogistic Reasoning: A Case of Linear Diagrams. - Yuri Sato 001; Koji Mineshima (Diagrams, 2012)

On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective. - Yuri Sato 001; Koji Mineshima; Ryo Takemura; Mitsuhiro Okada (ED@Diagrams, 2012)

A Diagrammatic Inference System with Euler Circles. - Koji Mineshima; Mitsuhiro Okada; Ryo Takemura (J. Log. Lang. Inf., 2012)

A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations. - Koji Mineshima; Mitsuhiro Okada; Ryo Takemura (Stud Logica, 2012)

Logic and Engineering of Natural Language Semantics (LENLS) 11. - Koji Mineshima (JSAI-isAI Workshops, 2014)

Resolving Modal Anaphora in Dependent Type Semantics. - Ribeka Tanaka; Koji Mineshima; Daisuke Bekki (JSAI-isAI Workshops, 2014)

Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective. - Koji Mineshima; Yuri Sato 001; Ryo Takemura; Mitsuhiro Okada (J. Vis. Lang. Comput., 2014)

Higher-order logical inference with compositional semantics. - Koji Mineshima; Pascual Martínez-Gómez; Yusuke Miyao; Daisuke Bekki (EMNLP, 2015)

Towards Modeling Natural Language Inferences with Part-Whole Relations using Formal Ontology and Lexical Semantics. - Ayako Nakamura; Koji Mineshima; Daisuke Bekki (JOWO@IJCAI, 2015)

An Inference Problem Set for Evaluating Semantic Theories and Semantic Processing Systems for Japanese. - Ai Kawazoe; Ribeka Tanaka; Koji Mineshima; Daisuke Bekki (JSAI-isAI Workshops, 2015)

How Diagrams Can Support Syllogistic Reasoning: An Experimental Study. - Yuri Sato 001; Koji Mineshima (J. Log. Lang. Inf., 2015)

Annotation and Analysis of Discourse Relations, Temporal Relations and Multi-Layered Situational Relations in Japanese Texts. - Kimi Kaneko; Saku Sugawara; Koji Mineshima; Daisuke Bekki (ALR@COLING, 2016)

ccg2lambda: A Compositional Semantics System. - Pascual Martínez-Gómez; Koji Mineshima; Yusuke Miyao; Daisuke Bekki (ACL (System Demonstrations), 2016)

Human Reasoning with Proportional Quantifiers and Its Support by Diagrams. - Yuri Sato 001; Koji Mineshima (Diagrams, 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 (EMNLP, 2016)

An Analysis of Selectional Restrictions with Dependent Type Semantics. - Eriko Kinoshita; Koji Mineshima; Daisuke Bekki (JSAI-isAI Workshops, 2016)

On the Interpretation of Dependent Plural Anaphora in a Dependently-Typed Setting. - Ribeka Tanaka; Koji Mineshima; Daisuke Bekki (JSAI-isAI Workshops, 2016)

On-demand Injection of Lexical Knowledge for Recognising Textual Entailment. - Pascual Martínez-Gómez; Koji Mineshima; Yusuke Miyao; Daisuke Bekki (EACL (1), 2017)

Visual Denotations for Recognizing Textual Entailment. - Dan Han; Pascual Martínez-Gómez; Koji Mineshima (EMNLP, 2017)

Determining Semantic Textual Similarity using Natural Deduction Proofs. - Hitomi Yanaka; Koji Mineshima; Pascual Martínez-Gómez; Daisuke Bekki (EMNLP, 2017)

The Challenge of Composition in Distributional and Formal Semantics. - Ran Tian; Koji Mineshima; Pascual Martínez-Gómez (IJCNLP (Tutorial Abstracts), 2017)

Factivity and presupposition in Dependent Type Semantics. - Ribeka Tanaka; Koji Mineshima; Daisuke Bekki (J. Lang. Model., 2017)

Neural sentence generation from formal semantics. - Kana Manome; Masashi Yoshikawa; Hitomi Yanaka; Pascual Martínez-Gómez; Koji Mineshima; Daisuke Bekki (INLG, 2018)

Acquisition of Phrase Correspondences Using Natural Deduction Proofs. - Hitomi Yanaka; Koji Mineshima; Pascual Martínez-Gómez; Daisuke Bekki (NAACL-HLT, 2018)

Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning. - Masashi Yoshikawa; Koji Mineshima; Hiroshi Noji; Daisuke Bekki (NAACL-HLT (2), 2018)

Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference. - Masashi Yoshikawa; Koji Mineshima; Hiroshi Noji; Daisuke Bekki (AAAI, 2019)

Multimodal Logical Inference System for Visual-Textual Entailment. - Riko Suzuki; Hitomi Yanaka; Masashi Yoshikawa; Koji Mineshima; Daisuke Bekki (ACL (2), 2019)

Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation. - Masashi Yoshikawa; Hiroshi Noji; Koji Mineshima; Daisuke Bekki (ACL (1), 2019)

Can Neural Networks Understand Monotonicity Reasoning? - Hitomi Yanaka; Koji Mineshima; Daisuke Bekki; Kentaro Inui; Satoshi Sekine; Lasha Abzianidze; Johan Bos (BlackboxNLP@ACL, 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 (*SEM@NAACL-HLT, 2019)

A CCG-based Compositional Semantics and Inference System for Comparatives. - Izumi Haruta; Koji Mineshima; Daisuke Bekki (CoRR, 2019)

Variable Handling and Compositionality: Comparing DRT and DTS. - Yukiko Yana; Koji Mineshima; Daisuke Bekki (J. Log. Lang. Inf., 2019)

Logical Inferences with Comparatives and Generalized Quantifiers. - Izumi Haruta; Koji Mineshima; Daisuke Bekki (ACL (student), 2020)

Do Neural Models Learn Systematicity of Monotonicity Inference in Natural Language? - Hitomi Yanaka; Koji Mineshima; Daisuke Bekki; Kentaro Inui (ACL, 2020)

Combining Event Semantics and Degree Semantics for Natural Language Inference. - Izumi Haruta; Koji Mineshima; Daisuke Bekki (COLING, 2020)

Depicting Negative Information in Photographs, Videos, and Comics: A Preliminary Analysis. - Yuri Sato 001; Koji Mineshima (Diagrams, 2020)

Development of a General-Purpose Categorial Grammar Treebank. - Yusuke Kubota; Koji Mineshima; Noritsugu Hayashi; Shinya Okano (LREC, 2020)

SyGNS: A Systematic Generalization Testbed Based on Natural Language Semantics. - Hitomi Yanaka; Koji Mineshima; Kentaro Inui (ACL/IJCNLP (Findings), 2021)

Assessing the Generalization Capacity of Pre-trained Language Models through Japanese Adversarial Natural Language Inference. - Hitomi Yanaka; Koji Mineshima (BlackboxNLP@EMNLP, 2021)

Visual representation of negation: Real world data analysis on comic image design. - Yuri Sato 001; Koji Mineshima; Kazuhiro Ueda (CogSci, 2021)

Can Humans and Machines Classify Photographs as Depicting Negation? - Yuri Sato 001; Koji Mineshima (Diagrams, 2021)

Exploring Transitivity in Neural NLI Models through Veridicality. - Hitomi Yanaka; Koji Mineshima; Kentaro Inui (EACL, 2021)

Talking with the Theorem Prover to Interactively Solve Natural Language Inference. - Atsushi Sumita; Yusuke Miyao; Koji Mineshima (PACLIC, 2021)

Building a Video-and-Language Dataset with Human Actions for Multimodal Logical Inference. - Riko Suzuki; Hitomi Yanaka; Koji Mineshima; Daisuke Bekki (CoRR, 2021)

Visually Analyzing Universal Quantifiers in Photograph Captions. - Yuri Sato 001; Koji Mineshima (Diagrams, 2022)

Implementing Natural Language Inference for comparatives. - Izumi Haruta; Koji Mineshima; Daisuke Bekki (J. Lang. Model., 2022)

Compositional Evaluation on Japanese Textual Entailment and Similarity. - Hitomi Yanaka; Koji Mineshima (Trans. Assoc. Comput. Linguistics, 2022)

Can Machines and Humans Use Negation When Describing Images? - Yuri Sato 001; Koji Mineshima (HAR, 2023)

Computational Semantics and Evaluation Benchmark for Interrogative Sentences via Combinatory Categorial Grammar. - Hayate Funakura; Koji Mineshima (PACLIC, 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)

Can Negation Be Depicted? Comparing Human and Machine Understanding of Visual Representations. - Yuri Sato 001; Koji Mineshima; Kazuhiro Ueda (Cogn. Sci., 2023)

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 (ACL (Findings), 2024)

Annotation of Japanese Discourse Relations Focusing on Concessive Inferences. - Ai Kubota; Takuma Sato; Takayuki Amamoto; Ryota Akiyoshi; Koji Mineshima (LREC/COLING, 2024)

Can Euler Diagrams Improve Syllogistic Reasoning in Large Language Models? - Risako Ando; Kentaro Ozeki; Takanobu Morishita; Hirohiko Abe; Koji Mineshima; Mitsuhiro Okada (Diagrams, 2024)

Building a Large Dataset of Human-Generated Captions for Science Diagrams. - Yuri Sato 001; Ayaka Suzuki; Koji Mineshima (Diagrams, 2024)

Abductive Reasoning with Syllogistic Forms in Large Language Models. - Hirohiko Abe; Risako Ando; Takanobu Morishita; Kentaro Ozeki; Koji Mineshima; Mitsuhiro Okada (HAR, 2024)