Koji Mineshima

94 papers A* 6A 1B 6C 12Journal 34Unranked 27

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Abductive Reasoning with Syllogistic Forms in Large Language Models. CoRR Hirohiko Abe, Risako Ando, Takanobu Morishita, Kentaro Ozeki, Koji Mineshima, Mitsuhiro Okada
2026	—	`conf`	Evaluation of Deontic Conditional Reasoning in Large Language Models: The Case of Wason's Selection Task. EACL (Volume 2: Short Papers) Hirohiko Abe, Kentaro Ozeki, Risako Ando, Takanobu Morishita, Koji Mineshima, Mitsuhiro Okada
2026	J	`jnl`	Evaluation of Deontic Conditional Reasoning in Large Language Models: The Case of Wason's Selection Task. CoRR Hirohiko Abe, Kentaro Ozeki, Risako Ando, Takanobu Morishita, Koji Mineshima, Mitsuhiro Okada
2025	J	`jnl`	A Theorem-Proving-Based Evaluation of Neural Semantic Parsing. CoRR Hayate Funakura, Hyunsoo Kim, Koji Mineshima
2025	—	`conf`	Is Partial Linguistic Information Sufficient for Discourse Connective Disambiguation? A Case Study of Concession. ACL (4) Takuma Sato, Ai Kubota, Koji Mineshima
2025	J	`jnl`	Normative Reasoning in Large Language Models: A Comparative Benchmark from Logical and Modal Perspectives. CoRR Kentaro Ozeki, Risako Ando, Takanobu Morishita, Hirohiko Abe, Koji Mineshima, Mitsuhiro Okada
2024	—	`conf`	Abductive Reasoning with Syllogistic Forms in Large Language Models. HAR Hirohiko Abe, Risako Ando, Takanobu Morishita, Kentaro Ozeki, Koji Mineshima, Mitsuhiro Okada
2024	—	`conf`	Annotation of Japanese Discourse Relations Focusing on Concessive Inferences. LREC/COLING Ai Kubota, Takuma Sato, Takayuki Amamoto, Ryota Akiyoshi, Koji Mineshima
2024	C	`conf`	Building a Large Dataset of Human-Generated Captions for Science Diagrams. Diagrams Yuri Sato, Ayaka Suzuki, Koji Mineshima
2024	C	`conf`	Can Euler Diagrams Improve Syllogistic Reasoning in Large Language Models? Diagrams Risako Ando, Kentaro Ozeki, Takanobu Morishita, Hirohiko Abe, Koji Mineshima, Mitsuhiro Okada
2024	B	`conf`	Capturing stage-level and individual-level information from photographs: Human-AI comparison. CogSci Yuri Sato, Ayaka Suzuki, Koji Mineshima
2024	—	`conf`	Exploring Reasoning Biases in Large Language Models Through Syllogism: Insights from the NeuBAROCO Dataset. ACL (Findings) Kentaro Ozeki, Risako Ando, Takanobu Morishita, Hirohiko Abe, Koji Mineshima, Mitsuhiro Okada
2024	J	`jnl`	Exploring Reasoning Biases in Large Language Models Through Syllogism: Insights from the NeuBAROCO Dataset. CoRR Kentaro Ozeki, Risako Ando, Takanobu Morishita, Hirohiko Abe, Koji Mineshima, Mitsuhiro Okada
2024	—	`ed.`	Logic and Engineering of Natural Language Semantics - 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers LENLS Daisuke Bekki, Koji Mineshima, Elin McCready
2023	—	`conf`	Can Machines and Humans Use Negation When Describing Images? HAR Yuri Sato, Koji Mineshima
2023	J	`jnl`	Can Negation Be Depicted? Comparing Human and Machine Understanding of Visual Representations. Cogn. Sci. Yuri Sato, Koji Mineshima, Kazuhiro Ueda
2023	C	`conf`	Computational Semantics and Evaluation Benchmark for Interrogative Sentences via Combinatory Categorial Grammar. PACLIC Hayate Funakura, Koji Mineshima
2023	J	`jnl`	Computational Semantics and Evaluation Benchmark for Interrogative Sentences via Combinatory Categorial Grammar. CoRR Hayate Funakura, Koji Mineshima
2023	J	`jnl`	Constructing an Annotated Corpus and Inference Dataset for Japanese Numeral Expressions. J. Nat. Lang. Process. Kana Koyano, Hitomi Yanaka, Koji Mineshima, Daisuke Bekki
2023	J	`jnl`	Evaluating Large Language Models with NeuBAROCO: Syllogistic Reasoning Ability and Human-like Biases. CoRR Risako Ando, Takanobu Morishita, Hirohiko Abe, Koji Mineshima, Mitsuhiro Okada
2023	—	`ed.`	Logic and Engineering of Natural Language Semantics - 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers LENLS Daisuke Bekki, Koji Mineshima, Eric McCready
2023	—	`ed.`	New Frontiers in Artificial Intelligence - JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13-15, 2021, Revised Selected Papers JSAI-isAI Workshops Katsutoshi Yada, Yasufumi Takama, Koji Mineshima, Ken Satoh
2022	J	`jnl`	Compositional Evaluation on Japanese Textual Entailment and Similarity. CoRR Hitomi Yanaka, Koji Mineshima
2022	J	`jnl`	Compositional Evaluation on Japanese Textual Entailment and Similarity. Trans. Assoc. Comput. Linguistics Hitomi Yanaka, Koji Mineshima
2022	J	`jnl`	Implementing Natural Language Inference for comparatives. J. Lang. Model. Izumi Haruta, Koji Mineshima, Daisuke Bekki
2022	C	`conf`	Visually Analyzing Universal Quantifiers in Photograph Captions. Diagrams Yuri Sato, Koji Mineshima
2021	—	`conf`	Assessing the Generalization Capacity of Pre-trained Language Models through Japanese Adversarial Natural Language Inference. BlackboxNLP@EMNLP Hitomi Yanaka, Koji Mineshima
2021	J	`jnl`	Building a Video-and-Language Dataset with Human Actions for Multimodal Logical Inference. CoRR Riko Suzuki, Hitomi Yanaka, Koji Mineshima, Daisuke Bekki
2021	C	`conf`	Can Humans and Machines Classify Photographs as Depicting Negation? Diagrams Yuri Sato, Koji Mineshima
2021	A	`conf`	Exploring Transitivity in Neural NLI Models through Veridicality. EACL Hitomi Yanaka, Koji Mineshima, Kentaro Inui
2021	J	`jnl`	Exploring Transitivity in Neural NLI Models through Veridicality. CoRR Hitomi Yanaka, Koji Mineshima, Kentaro Inui
2021	—	`ed.`	New Frontiers in Artificial Intelligence - JSAI-isAI 2020 Workshops, JURISIN, LENLS 2020 Workshops, Virtual Event, November 15-17, 2020, Revised Selected Papers JSAI-isAI Workshops Naoaki Okazaki, Katsutoshi Yada, Ken Satoh, Koji Mineshima
2021	—	`conf`	SyGNS: A Systematic Generalization Testbed Based on Natural Language Semantics. ACL/IJCNLP (Findings) Hitomi Yanaka, Koji Mineshima, Kentaro Inui
2021	J	`jnl`	SyGNS: A Systematic Generalization Testbed Based on Natural Language Semantics. CoRR Hitomi Yanaka, Koji Mineshima, Kentaro Inui
2021	C	`conf`	Talking with the Theorem Prover to Interactively Solve Natural Language Inference. PACLIC Atsushi Sumita, Yusuke Miyao, Koji Mineshima
2021	B	`conf`	Visual representation of negation: Real world data analysis on comic image design. CogSci Yuri Sato, Koji Mineshima, Kazuhiro Ueda
2021	J	`jnl`	Visual representation of negation: Real world data analysis on comic image design. CoRR Yuri Sato, Koji Mineshima, Kazuhiro Ueda
2020	B	`conf`	Combining Event Semantics and Degree Semantics for Natural Language Inference. COLING Izumi Haruta, Koji Mineshima, Daisuke Bekki
2020	J	`jnl`	Combining Event Semantics and Degree Semantics for Natural Language Inference. CoRR Izumi Haruta, Koji Mineshima, Daisuke Bekki
2020	C	`conf`	Depicting Negative Information in Photographs, Videos, and Comics: A Preliminary Analysis. Diagrams Yuri Sato, Koji Mineshima
2020	B	`conf`	Development of a General-Purpose Categorial Grammar Treebank. LREC Yusuke Kubota, Koji Mineshima, Noritsugu Hayashi, Shinya Okano
2020	A*	`conf`	Do Neural Models Learn Systematicity of Monotonicity Inference in Natural Language? ACL Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui
2020	J	`jnl`	Do Neural Models Learn Systematicity of Monotonicity Inference in Natural Language? CoRR Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui
2020	—	`conf`	Logical Inferences with Comparatives and Generalized Quantifiers. ACL (student) Izumi Haruta, Koji Mineshima, Daisuke Bekki
2020	J	`jnl`	Logical Inferences with Comparatives and Generalized Quantifiers. CoRR Izumi Haruta, Koji Mineshima, Daisuke Bekki
2020	—	`ed.`	New Frontiers in Artificial Intelligence - JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November 10-12, 2019, Revised Selected Papers JSAI-isAI Workshops Maki Sakamoto, Naoaki Okazaki, Koji Mineshima, Ken Satoh
2019	J	`jnl`	A CCG-based Compositional Semantics and Inference System for Comparatives. CoRR Izumi Haruta, Koji Mineshima, Daisuke Bekki
2019	—	`conf`	Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation. ACL (1) Masashi Yoshikawa, Hiroshi Noji, Koji Mineshima, Daisuke Bekki
2019	J	`jnl`	Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation. CoRR Masashi Yoshikawa, Hiroshi Noji, Koji Mineshima, Daisuke Bekki
2019	—	`conf`	Can Neural Networks Understand Monotonicity Reasoning? BlackboxNLP@ACL Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui, Satoshi Sekine, Lasha Abzianidze, Johan Bos
2019	J	`jnl`	Can neural networks understand monotonicity reasoning? CoRR Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui, Satoshi Sekine, Lasha Abzianidze, Johan Bos
2019	A*	`conf`	Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference. AAAI Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki
2019	—	`conf`	HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning. *SEM@NAACL-HLT Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui, Satoshi Sekine, Lasha Abzianidze, Johan Bos
2019	J	`jnl`	HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning. CoRR Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui, Satoshi Sekine, Lasha Abzianidze, Johan Bos
2019	—	`conf`	Multimodal Logical Inference System for Visual-Textual Entailment. ACL (2) Riko Suzuki, Hitomi Yanaka, Masashi Yoshikawa, Koji Mineshima, Daisuke Bekki
2019	J	`jnl`	Multimodal Logical Inference System for Visual-Textual Entailment. CoRR Riko Suzuki, Hitomi Yanaka, Masashi Yoshikawa, Koji Mineshima, Daisuke Bekki
2019	—	`ed.`	New Frontiers in Artificial Intelligence - JSAI-isAI 2018 Workshops, JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12-14, 2018, Revised Selected Papers JSAI-isAI Workshops Kazuhiro Kojima, Maki Sakamoto, Koji Mineshima, Ken Satoh
2019	J	`jnl`	Variable Handling and Compositionality: Comparing DRT and DTS. J. Log. Lang. Inf. Yukiko Yana, Koji Mineshima, Daisuke Bekki
2018	—	`conf`	Acquisition of Phrase Correspondences Using Natural Deduction Proofs. NAACL-HLT Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki
2018	J	`jnl`	Acquisition of Phrase Correspondences using Natural Deduction Proofs. CoRR Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki
2018	J	`jnl`	Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference. CoRR Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki
2018	—	`conf`	Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning. NAACL-HLT (2) Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki
2018	J	`jnl`	Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning. CoRR Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki
2018	B	`conf`	Neural sentence generation from formal semantics. INLG Kana Manome, Masashi Yoshikawa, Hitomi Yanaka, Pascual Martínez-Gómez, Koji Mineshima, Daisuke Bekki
2018	—	`ed.`	New Frontiers in Artificial Intelligence - JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, Japan, November 13-15, 2017, Revised Selected Papers JSAI-isAI Workshops Sachiyo Arai, Kazuhiro Kojima, Koji Mineshima, Daisuke Bekki, Ken Satoh, Yuiko Ohta
2017	A*	`conf`	Determining Semantic Textual Similarity using Natural Deduction Proofs. EMNLP Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki
2017	J	`jnl`	Determining Semantic Textual Similarity using Natural Deduction Proofs. CoRR Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki
2017	J	`jnl`	Factivity and presupposition in Dependent Type Semantics. J. Lang. Model. Ribeka Tanaka, Koji Mineshima, Daisuke Bekki
2017	—	`conf`	On-demand Injection of Lexical Knowledge for Recognising Textual Entailment. EACL (1) Pascual Martínez-Gómez, Koji Mineshima, Yusuke Miyao, Daisuke Bekki
2017	—	`conf`	The Challenge of Composition in Distributional and Formal Semantics. IJCNLP (Tutorial Abstracts) Ran Tian, Koji Mineshima, Pascual Martínez-Gómez
2017	A*	`conf`	Visual Denotations for Recognizing Textual Entailment. EMNLP Dan Han, Pascual Martínez-Gómez, Koji Mineshima
2016	—	`conf`	An Analysis of Selectional Restrictions with Dependent Type Semantics. JSAI-isAI Workshops Eriko Kinoshita, Koji Mineshima, Daisuke Bekki
2016	—	`conf`	Annotation and Analysis of Discourse Relations, Temporal Relations and Multi-Layered Situational Relations in Japanese Texts. ALR@COLING Kimi Kaneko, Saku Sugawara, Koji Mineshima, Daisuke Bekki
2016	A*	`conf`	Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser. EMNLP Koji Mineshima, Ribeka Tanaka, Pascual Martínez-Gómez, Yusuke Miyao, Daisuke Bekki
2016	C	`conf`	Human Reasoning with Proportional Quantifiers and Its Support by Diagrams. Diagrams Yuri Sato, Koji Mineshima
2016	—	`conf`	On the Interpretation of Dependent Plural Anaphora in a Dependently-Typed Setting. JSAI-isAI Workshops Ribeka Tanaka, Koji Mineshima, Daisuke Bekki
2016	—	`conf`	ccg2lambda: A Compositional Semantics System. ACL (System Demonstrations) Pascual Martínez-Gómez, Koji Mineshima, Yusuke Miyao, Daisuke Bekki
2015	—	`conf`	An Inference Problem Set for Evaluating Semantic Theories and Semantic Processing Systems for Japanese. JSAI-isAI Workshops Ai Kawazoe, Ribeka Tanaka, Koji Mineshima, Daisuke Bekki
2015	A*	`conf`	Higher-order logical inference with compositional semantics. EMNLP Koji Mineshima, Pascual Martínez-Gómez, Yusuke Miyao, Daisuke Bekki
2015	J	`jnl`	How Diagrams Can Support Syllogistic Reasoning: An Experimental Study. J. Log. Lang. Inf. Yuri Sato, Koji Mineshima
2015	—	`ed.`	New Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers JSAI-isAI Workshops Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki
2015	—	`conf`	Towards Modeling Natural Language Inferences with Part-Whole Relations using Formal Ontology and Lexical Semantics. JOWO@IJCAI Ayako Nakamura, Koji Mineshima, Daisuke Bekki
2014	—	`conf`	Logic and Engineering of Natural Language Semantics (LENLS) 11. JSAI-isAI Workshops Koji Mineshima
2014	—	`conf`	Resolving Modal Anaphora in Dependent Type Semantics. JSAI-isAI Workshops Ribeka Tanaka, Koji Mineshima, Daisuke Bekki
2014	J	`jnl`	Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective. J. Vis. Lang. Comput. Koji Mineshima, Yuri Sato, Ryo Takemura, Mitsuhiro Okada
2012	J	`jnl`	A Diagrammatic Inference System with Euler Circles. J. Log. Lang. Inf. Koji Mineshima, Mitsuhiro Okada, Ryo Takemura
2012	J	`jnl`	A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations. Stud Logica Koji Mineshima, Mitsuhiro Okada, Ryo Takemura
2012	—	`conf`	On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective. ED@Diagrams Yuri Sato, Koji Mineshima, Ryo Takemura, Mitsuhiro Okada
2012	C	`conf`	The Efficacy of Diagrams in Syllogistic Reasoning: A Case of Linear Diagrams. Diagrams Yuri Sato, Koji Mineshima
2011	B	`conf`	Interpreting logic diagrams: a comparison of two formulations of diagrammatic representations. CogSci Yuri Sato, Koji Mineshima, Ryo Takemura
2010	C	`conf`	The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings. Diagrams Yuri Sato, Koji Mineshima, Ryo Takemura
2010	C	`conf`	Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style. Diagrams Koji Mineshima, Mitsuhiro Okada, Ryo Takemura
2008	C	`conf`	Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design. Diagrams Koji Mineshima, Mitsuhiro Okada, Yuri Sato, Ryo Takemura
2007	—	`conf`	A Presuppositional Analysis of Definite Descriptions in Proof Theory. JSAI Koji Mineshima