Koji Mineshima

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 58

Top Topics

Logical Inference

Compositional Semantics

Natural Language

Top Venues

JSAI-isAI Workshops

Publications

Ai Kubota, Takuma Sato, Takayuki Amamoto, Ryota Akiyoshi, Koji Mineshima
Annotation of Japanese Discourse Relations Focusing on Concessive Inferences. LREC/COLING (2024)
Kentaro Ozeki, Risako Ando, Takanobu Morishita, Hirohiko Abe, Koji Mineshima, Mitsuhiro Okada
Exploring Reasoning Biases in Large Language Models Through Syllogism: Insights from the NeuBAROCO Dataset. ACL (Findings) (2024)
Yuri Sato, Koji Mineshima, Kazuhiro Ueda
Can Negation Be Depicted? Comparing Human and Machine Understanding of Visual Representations. Cogn. Sci. 47 (3) (2023)
Risako Ando, Takanobu Morishita, Hirohiko Abe, Koji Mineshima, Mitsuhiro Okada
Evaluating Large Language Models with NeuBAROCO: Syllogistic Reasoning Ability and Human-like Biases. CoRR (2023)
Hayate Funakura, Koji Mineshima
Computational Semantics and Evaluation Benchmark for Interrogative Sentences via Combinatory Categorial Grammar. CoRR (2023)
Hayate Funakura, Koji Mineshima
Computational Semantics and Evaluation Benchmark for Interrogative Sentences via Combinatory Categorial Grammar. PACLIC (2023)
Yuri Sato, Koji Mineshima
Can Machines and Humans Use Negation When Describing Images? HAR (2023)
Hitomi Yanaka, Koji Mineshima
Compositional Evaluation on Japanese Textual Entailment and Similarity. CoRR (2022)
Yuri Sato, Koji Mineshima
Visually Analyzing Universal Quantifiers in Photograph Captions. Diagrams (2022)
Izumi Haruta, Koji Mineshima, Daisuke Bekki
Implementing Natural Language Inference for comparatives. J. Lang. Model. 10 (1) (2022)
Hitomi Yanaka, Koji Mineshima
Compositional Evaluation on Japanese Textual Entailment and Similarity. Trans. Assoc. Comput. Linguistics 10 (2022)
Hitomi Yanaka, Koji Mineshima, Kentaro Inui
SyGNS: A Systematic Generalization Testbed Based on Natural Language Semantics. CoRR (2021)
Yuri Sato, Koji Mineshima
Can Humans and Machines Classify Photographs as Depicting Negation? Diagrams (2021)
Hitomi Yanaka, Koji Mineshima, Kentaro Inui
Exploring Transitivity in Neural NLI Models through Veridicality. CoRR (2021)
Yuri Sato, Koji Mineshima, Kazuhiro Ueda
Visual representation of negation: Real world data analysis on comic image design. CogSci (2021)
Atsushi Sumita, Yusuke Miyao, Koji Mineshima
Talking with the Theorem Prover to Interactively Solve Natural Language Inference. PACLIC (2021)
Riko Suzuki, Hitomi Yanaka, Koji Mineshima, Daisuke Bekki
Building a Video-and-Language Dataset with Human Actions for Multimodal Logical Inference. CoRR (2021)
Yuri Sato, Koji Mineshima, Kazuhiro Ueda
Visual representation of negation: Real world data analysis on comic image design. CoRR (2021)
Hitomi Yanaka, Koji Mineshima, Kentaro Inui
Exploring Transitivity in Neural NLI Models through Veridicality. EACL (2021)
Hitomi Yanaka, Koji Mineshima, Kentaro Inui
SyGNS: A Systematic Generalization Testbed Based on Natural Language Semantics. ACL/IJCNLP (Findings) (2021)
Hitomi Yanaka, Koji Mineshima
Assessing the Generalization Capacity of Pre-trained Language Models through Japanese Adversarial Natural Language Inference. BlackboxNLP@EMNLP (2021)
Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui
Do Neural Models Learn Systematicity of Monotonicity Inference in Natural Language? CoRR (2020)
Izumi Haruta, Koji Mineshima, Daisuke Bekki
Combining Event Semantics and Degree Semantics for Natural Language Inference. CoRR (2020)
Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui
Do Neural Models Learn Systematicity of Monotonicity Inference in Natural Language? ACL (2020)
Izumi Haruta, Koji Mineshima, Daisuke Bekki
Logical Inferences with Comparatives and Generalized Quantifiers. ACL (student) (2020)
Izumi Haruta, Koji Mineshima, Daisuke Bekki
Logical Inferences with Comparatives and Generalized Quantifiers. CoRR (2020)
Yusuke Kubota, Koji Mineshima, Noritsugu Hayashi, Shinya Okano
Development of a General-Purpose Categorial Grammar Treebank. LREC (2020)
Izumi Haruta, Koji Mineshima, Daisuke Bekki
Combining Event Semantics and Degree Semantics for Natural Language Inference. COLING (2020)
Yuri Sato, Koji Mineshima
Depicting Negative Information in Photographs, Videos, and Comics: A Preliminary Analysis. Diagrams (2020)
Riko Suzuki, Hitomi Yanaka, Masashi Yoshikawa, Koji Mineshima, Daisuke Bekki
Multimodal Logical Inference System for Visual-Textual Entailment. ACL (2) (2019)
Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui, Satoshi Sekine, Lasha Abzianidze, Johan Bos
Can neural networks understand monotonicity reasoning? CoRR (2019)
Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui, Satoshi Sekine, Lasha Abzianidze, Johan Bos
HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning. CoRR (2019)
Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui, Satoshi Sekine, Lasha Abzianidze, Johan Bos
Can Neural Networks Understand Monotonicity Reasoning? BlackboxNLP@ACL (2019)
Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui, Satoshi Sekine, Lasha Abzianidze, Johan Bos
HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning. *SEM@NAACL-HLT (2019)
Izumi Haruta, Koji Mineshima, Daisuke Bekki
A CCG-based Compositional Semantics and Inference System for Comparatives. CoRR (2019)
Masashi Yoshikawa, Hiroshi Noji, Koji Mineshima, Daisuke Bekki
Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation. ACL (1) (2019)
Yukiko Yana, Koji Mineshima, Daisuke Bekki
Variable Handling and Compositionality: Comparing DRT and DTS. J. Log. Lang. Inf. 28 (2) (2019)
Riko Suzuki, Hitomi Yanaka, Masashi Yoshikawa, Koji Mineshima, Daisuke Bekki
Multimodal Logical Inference System for Visual-Textual Entailment. CoRR (2019)
Masashi Yoshikawa, Hiroshi Noji, Koji Mineshima, Daisuke Bekki
Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation. CoRR (2019)
Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki
Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference. AAAI (2019)
Kana Manome, Masashi Yoshikawa, Hitomi Yanaka, Pascual Martínez-Gómez, Koji Mineshima, Daisuke Bekki
Neural sentence generation from formal semantics. INLG (2018)
Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki
Acquisition of Phrase Correspondences Using Natural Deduction Proofs. NAACL-HLT (2018)
Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki
Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning. CoRR (2018)
Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki
Acquisition of Phrase Correspondences using Natural Deduction Proofs. CoRR (2018)
Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki
Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning. NAACL-HLT (2) (2018)
Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki
Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference. CoRR (2018)
Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki
Determining Semantic Textual Similarity using Natural Deduction Proofs. EMNLP (2017)
Ran Tian, Koji Mineshima, Pascual Martínez-Gómez
The Challenge of Composition in Distributional and Formal Semantics. IJCNLP (Tutorial Abstracts) (2017)
Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki
Determining Semantic Textual Similarity using Natural Deduction Proofs. CoRR (2017)
Dan Han, Pascual Martínez-Gómez, Koji Mineshima
Visual Denotations for Recognizing Textual Entailment. EMNLP (2017)
Ribeka Tanaka, Koji Mineshima, Daisuke Bekki
Factivity and presupposition in Dependent Type Semantics. J. Lang. Model. 5 (2) (2017)
Pascual Martínez-Gómez, Koji Mineshima, Yusuke Miyao, Daisuke Bekki
On-demand Injection of Lexical Knowledge for Recognising Textual Entailment. EACL (1) (2017)
Kimi Kaneko, Saku Sugawara, Koji Mineshima, Daisuke Bekki
Annotation and Analysis of Discourse Relations, Temporal Relations and Multi-Layered Situational Relations in Japanese Texts. ALR@COLING (2016)
Koji Mineshima, Ribeka Tanaka, Pascual Martínez-Gómez, Yusuke Miyao, Daisuke Bekki
Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser. EMNLP (2016)
Pascual Martínez-Gómez, Koji Mineshima, Yusuke Miyao, Daisuke Bekki
ccg2lambda: A Compositional Semantics System. ACL (System Demonstrations) (2016)
Ribeka Tanaka, Koji Mineshima, Daisuke Bekki
On the Interpretation of Dependent Plural Anaphora in a Dependently-Typed Setting. JSAI-isAI Workshops (2016)
Yuri Sato, Koji Mineshima
Human Reasoning with Proportional Quantifiers and Its Support by Diagrams. Diagrams (2016)
Eriko Kinoshita, Koji Mineshima, Daisuke Bekki
An Analysis of Selectional Restrictions with Dependent Type Semantics. JSAI-isAI Workshops (2016)
Ai Kawazoe, Ribeka Tanaka, Koji Mineshima, Daisuke Bekki
An Inference Problem Set for Evaluating Semantic Theories and Semantic Processing Systems for Japanese. JSAI-isAI Workshops (2015)
Yuri Sato, Koji Mineshima
How Diagrams Can Support Syllogistic Reasoning: An Experimental Study. J. Log. Lang. Inf. 24 (4) (2015)
Koji Mineshima, Pascual Martínez-Gómez, Yusuke Miyao, Daisuke Bekki
Higher-order logical inference with compositional semantics. EMNLP (2015)
Ayako Nakamura, Koji Mineshima, Daisuke Bekki
Towards Modeling Natural Language Inferences with Part-Whole Relations using Formal Ontology and Lexical Semantics. JOWO@IJCAI (2015)
Koji Mineshima, Yuri Sato, Ryo Takemura, Mitsuhiro Okada
Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective. J. Vis. Lang. Comput. 25 (3) (2014)
Koji Mineshima
Logic and Engineering of Natural Language Semantics (LENLS) 11. JSAI-isAI Workshops (2014)
Ribeka Tanaka, Koji Mineshima, Daisuke Bekki
Resolving Modal Anaphora in Dependent Type Semantics. JSAI-isAI Workshops (2014)
Koji Mineshima, Mitsuhiro Okada, Ryo Takemura
A Diagrammatic Inference System with Euler Circles. J. Log. Lang. Inf. 21 (3) (2012)
Koji Mineshima, Mitsuhiro Okada, Ryo Takemura
A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations. Stud Logica 100 (4) (2012)
Yuri Sato, Koji Mineshima, Ryo Takemura, Mitsuhiro Okada
On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective. ED@Diagrams (2012)
Yuri Sato, Koji Mineshima
The Efficacy of Diagrams in Syllogistic Reasoning: A Case of Linear Diagrams. Diagrams (2012)
Yuri Sato, Koji Mineshima, Ryo Takemura
Interpreting logic diagrams: a comparison of two formulations of diagrammatic representations. CogSci (2011)
Yuri Sato, Koji Mineshima, Ryo Takemura
The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings. Diagrams (2010)
Koji Mineshima, Mitsuhiro Okada, Ryo Takemura
Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style. Diagrams (2010)
Koji Mineshima, Mitsuhiro Okada, Yuri Sato, Ryo Takemura
Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design. Diagrams (2008)
Koji Mineshima
A Presuppositional Analysis of Definite Descriptions in Proof Theory. JSAI (2007)