![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Koji Mineshima
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c45]Ai Kubota, Takuma Sato, Takayuki Amamoto, Ryota Akiyoshi, Koji Mineshima:
Annotation of Japanese Discourse Relations Focusing on Concessive Inferences. LREC/COLING 2024: 1215-1224 - [e8]Daisuke Bekki
, Koji Mineshima
, Elin McCready:
Logic and Engineering of Natural Language Semantics - 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14569, Springer 2024, ISBN 978-3-031-60877-3 [contents] - 2023
- [j9]Yuri Sato, Koji Mineshima, Kazuhiro Ueda
:
Can Negation Be Depicted? Comparing Human and Machine Understanding of Visual Representations. Cogn. Sci. 47(3) (2023) - [c44]Yuri Sato
, Koji Mineshima
:
Can Machines and Humans Use Negation When Describing Images? HAR 2023: 39-47 - [c43]Hayate Funakura, Koji Mineshima:
Computational Semantics and Evaluation Benchmark for Interrogative Sentences via Combinatory Categorial Grammar. PACLIC 2023: 764-774 - [e7]Katsutoshi Yada
, Yasufumi Takama
, Koji Mineshima
, Ken Satoh
:
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. Lecture Notes in Computer Science 13856, Springer 2023, ISBN 978-3-031-36189-0 [contents] - [e6]Daisuke Bekki, Koji Mineshima
, Eric McCready:
Logic and Engineering of Natural Language Semantics - 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers. Lecture Notes in Computer Science 14213, Springer 2023, ISBN 978-3-031-43976-6 [contents] - [i19]Risako Ando, Takanobu Morishita, Hirohiko Abe, Koji Mineshima, Mitsuhiro Okada:
Evaluating Large Language Models with NeuBAROCO: Syllogistic Reasoning Ability and Human-like Biases. CoRR abs/2306.12567 (2023) - [i18]Hayate Funakura, Koji Mineshima:
Computational Semantics and Evaluation Benchmark for Interrogative Sentences via Combinatory Categorial Grammar. CoRR abs/2312.14737 (2023) - 2022
- [j8]Izumi Haruta, Koji Mineshima, Daisuke Bekki:
Implementing Natural Language Inference for comparatives. J. Lang. Model. 10(1) (2022) - [j7]Hitomi Yanaka, Koji Mineshima:
Compositional Evaluation on Japanese Textual Entailment and Similarity. Trans. Assoc. Comput. Linguistics 10: 1266-1284 (2022) - [c42]Yuri Sato
, Koji Mineshima:
Visually Analyzing Universal Quantifiers in Photograph Captions. Diagrams 2022: 373-377 - [i17]Hitomi Yanaka, Koji Mineshima:
Compositional Evaluation on Japanese Textual Entailment and Similarity. CoRR abs/2208.04826 (2022) - 2021
- [c41]Hitomi Yanaka, Koji Mineshima, Kentaro Inui:
SyGNS: A Systematic Generalization Testbed Based on Natural Language Semantics. ACL/IJCNLP (Findings) 2021: 103-119 - [c40]Hitomi Yanaka, Koji Mineshima:
Assessing the Generalization Capacity of Pre-trained Language Models through Japanese Adversarial Natural Language Inference. BlackboxNLP@EMNLP 2021: 337-349 - [c39]Yuri Sato, Koji Mineshima, Kazuhiro Ueda:
Visual representation of negation: Real world data analysis on comic image design. CogSci 2021 - [c38]Yuri Sato
, Koji Mineshima:
Can Humans and Machines Classify Photographs as Depicting Negation? Diagrams 2021: 348-352 - [c37]Hitomi Yanaka, Koji Mineshima, Kentaro Inui:
Exploring Transitivity in Neural NLI Models through Veridicality. EACL 2021: 920-934 - [c36]Atsushi Sumita, Yusuke Miyao, Koji Mineshima:
Talking with the Theorem Prover to Interactively Solve Natural Language Inference. PACLIC 2021: 411-420 - [e5]Naoaki Okazaki, Katsutoshi Yada, Ken Satoh, Koji Mineshima:
New Frontiers in Artificial Intelligence - JSAI-isAI 2020 Workshops, JURISIN, LENLS 2020 Workshops, Virtual Event, November 15-17, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12758, Springer 2021, ISBN 978-3-030-79941-0 [contents] - [i16]Hitomi Yanaka, Koji Mineshima, Kentaro Inui:
Exploring Transitivity in Neural NLI Models through Veridicality. CoRR abs/2101.10713 (2021) - [i15]Yuri Sato, Koji Mineshima, Kazuhiro Ueda:
Visual representation of negation: Real world data analysis on comic image design. CoRR abs/2105.10131 (2021) - [i14]Hitomi Yanaka, Koji Mineshima, Kentaro Inui:
SyGNS: A Systematic Generalization Testbed Based on Natural Language Semantics. CoRR abs/2106.01077 (2021) - [i13]Riko Suzuki, Hitomi Yanaka, Koji Mineshima, Daisuke Bekki:
Building a Video-and-Language Dataset with Human Actions for Multimodal Logical Inference. CoRR abs/2106.14137 (2021) - 2020
- [c35]Izumi Haruta, Koji Mineshima, Daisuke Bekki:
Logical Inferences with Comparatives and Generalized Quantifiers. ACL (student) 2020: 263-270 - [c34]Hitomi Yanaka
, Koji Mineshima, Daisuke Bekki, Kentaro Inui:
Do Neural Models Learn Systematicity of Monotonicity Inference in Natural Language? ACL 2020: 6105-6117 - [c33]Izumi Haruta, Koji Mineshima, Daisuke Bekki:
Combining Event Semantics and Degree Semantics for Natural Language Inference. COLING 2020: 1758-1764 - [c32]Yuri Sato
, Koji Mineshima:
Depicting Negative Information in Photographs, Videos, and Comics: A Preliminary Analysis. Diagrams 2020: 485-489 - [c31]Yusuke Kubota, Koji Mineshima, Noritsugu Hayashi, Shinya Okano:
Development of a General-Purpose Categorial Grammar Treebank. LREC 2020: 5195-5201 - [e4]Maki Sakamoto, Naoaki Okazaki, Koji Mineshima, Ken Satoh:
New Frontiers in Artificial Intelligence - JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November 10-12, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12331, Springer 2020, ISBN 978-3-030-58789-5 [contents] - [i12]Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui:
Do Neural Models Learn Systematicity of Monotonicity Inference in Natural Language? CoRR abs/2004.14839 (2020) - [i11]Izumi Haruta, Koji Mineshima, Daisuke Bekki:
Logical Inferences with Comparatives and Generalized Quantifiers. CoRR abs/2005.07954 (2020) - [i10]Izumi Haruta, Koji Mineshima, Daisuke Bekki:
Combining Event Semantics and Degree Semantics for Natural Language Inference. CoRR abs/2011.00961 (2020)
2010 – 2019
- 2019
- [j6]Yukiko Yana, Koji Mineshima, Daisuke Bekki:
Variable Handling and Compositionality: Comparing DRT and DTS. J. Log. Lang. Inf. 28(2): 261-285 (2019) - [c30]Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji
, Daisuke Bekki:
Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference. AAAI 2019: 7410-7417 - [c29]Masashi Yoshikawa, Hiroshi Noji
, Koji Mineshima, Daisuke Bekki:
Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation. ACL (1) 2019: 129-139 - [c28]Riko Suzuki, Hitomi Yanaka, Masashi Yoshikawa, Koji Mineshima, Daisuke Bekki:
Multimodal Logical Inference System for Visual-Textual Entailment. ACL (2) 2019: 386-392 - [c27]Hitomi Yanaka
, Koji Mineshima, Daisuke Bekki, Kentaro Inui, Satoshi Sekine, Lasha Abzianidze, Johan Bos:
Can Neural Networks Understand Monotonicity Reasoning? BlackboxNLP@ACL 2019: 31-40 - [c26]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: 250-255 - [e3]Kazuhiro Kojima, Maki Sakamoto, Koji Mineshima, Ken Satoh:
New Frontiers in Artificial Intelligence - JSAI-isAI 2018 Workshops, JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12-14, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11717, Springer 2019, ISBN 978-3-030-31604-4 [contents] - [i9]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 abs/1904.12166 (2019) - [i8]Masashi Yoshikawa, Hiroshi Noji, Koji Mineshima, Daisuke Bekki:
Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation. CoRR abs/1906.01834 (2019) - [i7]Riko Suzuki, Hitomi Yanaka, Masashi Yoshikawa, Koji Mineshima, Daisuke Bekki:
Multimodal Logical Inference System for Visual-Textual Entailment. CoRR abs/1906.03952 (2019) - [i6]Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui, Satoshi Sekine, Lasha Abzianidze, Johan Bos:
Can neural networks understand monotonicity reasoning? CoRR abs/1906.06448 (2019) - [i5]Izumi Haruta, Koji Mineshima, Daisuke Bekki:
A CCG-based Compositional Semantics and Inference System for Comparatives. CoRR abs/1910.00930 (2019) - 2018
- [c25]Kana Manome, Masashi Yoshikawa, Hitomi Yanaka, Pascual Martínez-Gómez, Koji Mineshima, Daisuke Bekki:
Neural sentence generation from formal semantics. INLG 2018: 408-414 - [c24]Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki:
Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning. NAACL-HLT (2) 2018: 407-412 - [c23]Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki:
Acquisition of Phrase Correspondences Using Natural Deduction Proofs. NAACL-HLT 2018: 756-766 - [e2]Sachiyo Arai, Kazuhiro Kojima, Koji Mineshima, Daisuke Bekki, Ken Satoh, Yuiko Ohta:
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. Lecture Notes in Computer Science 10838, Springer 2018, ISBN 978-3-319-93793-9 [contents] - [i4]Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki:
Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning. CoRR abs/1804.07068 (2018) - [i3]Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki:
Acquisition of Phrase Correspondences using Natural Deduction Proofs. CoRR abs/1804.07656 (2018) - [i2]Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki:
Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference. CoRR abs/1811.06203 (2018) - 2017
- [j5]Ribeka Tanaka, Koji Mineshima, Daisuke Bekki:
Factivity and presupposition in Dependent Type Semantics. J. Lang. Model. 5(2): 385-420 (2017) - [c22]Pascual Martínez-Gómez, Koji Mineshima, Yusuke Miyao, Daisuke Bekki:
On-demand Injection of Lexical Knowledge for Recognising Textual Entailment. EACL (1) 2017: 710-720 - [c21]Hitomi Yanaka
, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki:
Determining Semantic Textual Similarity using Natural Deduction Proofs. EMNLP 2017: 681-691 - [c20]Dan Han, Pascual Martínez-Gómez, Koji Mineshima:
Visual Denotations for Recognizing Textual Entailment. EMNLP 2017: 2853-2859 - [c19]Ran Tian, Koji Mineshima, Pascual Martínez-Gómez:
The Challenge of Composition in Distributional and Formal Semantics. IJCNLP (Tutorial Abstracts) 2017: 16-17 - [i1]Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki:
Determining Semantic Textual Similarity using Natural Deduction Proofs. CoRR abs/1707.08713 (2017) - 2016
- [c18]Pascual Martínez-Gómez, Koji Mineshima, Yusuke Miyao, Daisuke Bekki:
ccg2lambda: A Compositional Semantics System. ACL (System Demonstrations) 2016: 85-90 - [c17]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: 10-19 - [c16]Yuri Sato, Koji Mineshima:
Human Reasoning with Proportional Quantifiers and Its Support by Diagrams. Diagrams 2016: 123-138 - [c15]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: 2236-2242 - [c14]Eriko Kinoshita, Koji Mineshima, Daisuke Bekki:
An Analysis of Selectional Restrictions with Dependent Type Semantics. JSAI-isAI Workshops 2016: 19-32 - [c13]Ribeka Tanaka, Koji Mineshima, Daisuke Bekki:
On the Interpretation of Dependent Plural Anaphora in a Dependently-Typed Setting. JSAI-isAI Workshops 2016: 123-137 - 2015
- [j4]Yuri Sato, Koji Mineshima:
How Diagrams Can Support Syllogistic Reasoning: An Experimental Study. J. Log. Lang. Inf. 24(4): 409-455 (2015) - [c12]Koji Mineshima, Pascual Martínez-Gómez, Yusuke Miyao, Daisuke Bekki:
Higher-order logical inference with compositional semantics. EMNLP 2015: 2055-2061 - [c11]Ayako Nakamura, Koji Mineshima, Daisuke Bekki:
Towards Modeling Natural Language Inferences with Part-Whole Relations using Formal Ontology and Lexical Semantics. JOWO@IJCAI 2015 - [c10]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: 58-65 - [e1]Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki:
New Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers. Lecture Notes in Computer Science 9067, Springer 2015, ISBN 978-3-662-48118-9 [contents] - 2014
- [j3]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): 156-169 (2014) - [c9]Koji Mineshima:
Logic and Engineering of Natural Language Semantics (LENLS) 11. JSAI-isAI Workshops 2014: 3-5 - [c8]Ribeka Tanaka, Koji Mineshima, Daisuke Bekki:
Resolving Modal Anaphora in Dependent Type Semantics. JSAI-isAI Workshops 2014: 83-98 - 2012
- [j2]Koji Mineshima, Mitsuhiro Okada, Ryo Takemura:
A Diagrammatic Inference System with Euler Circles. J. Log. Lang. Inf. 21(3): 365-391 (2012) - [j1]Koji Mineshima, Mitsuhiro Okada, Ryo Takemura:
A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations. Stud Logica 100(4): 753-785 (2012) - [c7]Yuri Sato, Koji Mineshima, Ryo Takemura, Mitsuhiro Okada:
On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective. ED@Diagrams 2012: 17-31 - [c6]Yuri Sato, Koji Mineshima:
The Efficacy of Diagrams in Syllogistic Reasoning: A Case of Linear Diagrams. Diagrams 2012: 352-355 - 2011
- [c5]Yuri Sato, Koji Mineshima, Ryo Takemura:
Interpreting logic diagrams: a comparison of two formulations of diagrammatic representations. CogSci 2011 - 2010
- [c4]Yuri Sato, Koji Mineshima, Ryo Takemura:
The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings. Diagrams 2010: 6-22 - [c3]Koji Mineshima, Mitsuhiro Okada, Ryo Takemura:
Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style. Diagrams 2010: 99-114
2000 – 2009
- 2008
- [c2]Koji Mineshima, Mitsuhiro Okada, Yuri Sato, Ryo Takemura:
Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design. Diagrams 2008: 188-205 - 2007
- [c1]Koji Mineshima:
A Presuppositional Analysis of Definite Descriptions in Proof Theory. JSAI 2007: 214-227
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-20 21:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint