Koji Mineshima Publications

Koji Mineshima

Associate Professor, Department of Philosophy, Faculty of Letters, Keio University

mailing address: 2-15-45 Mita, Minato-ku, Tokyo 108-8345, Japan
e-mail: minesima [at] abelard.flet.keio.ac.jp

Upcoming talks/events

Logic Seminar: Prof. Giovanni Sambin, "From Constructive Topology to Dynamics in Foundations, and Back" , Keio University, September 10, 2024.
The 14th International Conference on the Theory and Application of Diagrams, Münster, Germany, September 27 - October 1, 2024.
The 3rd International Conference on Human and Artificial Rationalities (HAR 2024), Paris, France, September 17-20, 2024.

Recent talks/events

The 62nd Annual Meeting of the Association for Computational Linguistics (ACL 2024), Bangkok, Thailand, August 11-16, 2024.
CogSci 2024: Annual Meeting of the Cognitive Science Society, Rotterdam, the Netherlands, July 24-27, 2024.
The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024), Torino, Italy, May 20-25, 2024.
Two lectures and discussion by Prof. Mark van Atten on various issues in Brouwer and Husserl's logic, Keio University, April 16, 2024.
Koji Mineshima, Expressing Disagreement and Concession, French-Japanese Colloquium, Disagreement in Logic and Reasoning, IHPST, Paris, France, March 25-26, 2024.
Koji Mineshima, Is Reasoning Without Logic Viable? An Evaluation of Large Language Models using the NeuBAROCO dataset, Seminar at IHPST and Université Paris 1, Paris, France, March 22, 2024.
France-Japan Workshop on "Disagreement in Logic and Reasoning" and a Special Session on "A Humanity and Social Science Approach to Cybersecurity Research: An EU Horizon 2020 Project", Keio University, March 2, 2024.
Workshop with Jocelyn Benoist: Discussions on Wittgenstein and Beyond, Keio University, February 29, 2024.
6th Asian Workshop on Philosophical Logic (AWPL2024), Hokkaido University, March 4-6, 2024.
Pacific Asia Conference on Language, Information and Computation (PACLIC 37), Hong Kong, December 2–5, 2023.
Logic and Engineering of Natural Language Semantics 20 (LENLS20), Hybrid (Osaka University Nakanoshima Center | Online), November 18-20, 2023.
Yuri Sato and Koji Mineshima, "Can machines and humans use negation when describing images?", 2nd International Conference on Human and Artificial Rationalities, Hybrid (Paris, France), September 19-22, 2023.
CIPSH Tokyo International Conference, Humanities in the Global and Digital Age: The Role of Humanities Research Traditions and Interactions in Contemporary Society, The University of Tokyo (August 23), Keio University (August 24), 2023.
Hitomi Yanaka and Koji Mineshima, "Compositional Evaluation on Japanese Textual Entailment and Similarity", Presentation of a paper accepted by TACL, The 61st Annual Meeting of the Association for Computational Linguistics (ACL2023), Toronto, Canada, July 12, 2023.
Yuji Nishiyama and Koji Mineshima, "Concealed Questions and Free Enrichment", The 18th International Pragmatics Conference (IPrA 2023), Brussels, Belgium, July 9-14, 2023.
Risako Ando, Takanobu Morishita, Hirohiko Abe, Koji Mineshima, Mitsuhiro Okada, "Evaluating Large Language Models with NeuBAROCO: Syllogistic Reasoning Ability and Human-like Biases", Natural Logic Meets Machine Learning IV, Workshop at IWCS2023, Nancy, France, June 20, 2023.
Gaëtan Margueritte, Koji Mineshima, Daisuke Bekki, "Multi-purpose neural network for French categorial grammars", The 15th International Conference on Computational Semantics (IWCS 2023), Nancy, France, June 20-23, 2023.
Past Events

Software/language resources

ccg2lambda: An open-source CCG-based semantic parser and inference system for English and Japanese
ABC Treebank: An open-source categorial grammar treebank for Japanese

Japanese Page

Publications [Google Scholar] [DBLP] [ACL Anthology] [Semantic Scholar]

2024

Hirohiko Abe, Risako Ando, Takanobu Morishita, Kentaro Ozeki, Koji Mineshima, and Mitsuhiro Okada, Abductive Reasoning with Syllogistic Forms in Large Language Models. To apearar in Proceedings of the 3rd International Conference on Human and Artificial Rationalities (HAR 2024), Lecture Notes in Computer Science (LNCS).
Kentaro Ozeki, Risako Ando, Takanobu Morishita, Hirohiko Abe, Koji Mineshima, and Mitsuhiro Okada, Exploring Reasoning Biases in Large Language Models Through Syllogism: Insights from the NeuBAROCO Dataset. Findings of the Association for Computational Linguistics ACL 2024, 16063-16077. [Paper] [arXiv] [Data]
Yuri Sato, Ayaka Suzuki, and Koji Mineshima, Capturing stage-level and individual-level information from photographs: Human-AI comparison. Proceedings of the 46th Annual Conference of the Cognitive Science Society (CogSci2024), 803-810, 2024. [Paper]
Yuri Sato, Ayaka Suzuki and Koji Mineshima, Building a large dataset of human-generated captions for science diagrams. Diagrammatic Representation and Inference: Proceedings of 14th International Conference on the Theory and Application of Diagrams (Diagrams 2024), Lecture Notes in Computer Science (LNAI 14981), Springer, 393-401, 2024. [Paper]
Risako Ando, Kentaro Ozeki, Takanobu Morishita, Hirohiko Abe, Koji Mineshima, and Mitsuhiro Okada, Can Euler Diagrams Improve Syllogistic Reasoning in Large Language Models?, Diagrammatic Representation and Inference: Proceedings of 14th International Conference on the Theory and Application of Diagrams (Diagrams 2024), Lecture Notes in Computer Science (LNAI 14981), Springer, 232-248, 2024. [Paper] [Data]
Ai Kubota, Takuma Sato, Takayuki Amamoto, Ryota Akiyoshi, and Koji Mineshima, Annotation of Japanese Discourse Relations Focusing on Concessive Inferences. Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024), 1215–1224, 2024. [Paper] [Data]
Yuri Sato and Koji Mineshima, Can Machines and Humans Use Negation When Describing Images? Human and Artificial Rationalities (HAR 2023). Lecture Notes in Computer Science (LNCS) 14522, 39-47, Springer, 2024. [Link]
Yukiko Yana, Koji Mineshima and Daisuke Bekki, A Proof-Theoretic Approach to the Binding Problem. Proceedings of 6th Asian Workshop on Philosophical Logic (AWPL2024), 129-139, 2024

2023

Hayate Funakura and Koji Mineshima, Computational Semantics and Evaluation Benchmark for Interrogative Sentences via Combinatory Categorial Grammar. Proceedings of Pacific Asia Conference on Language, Information and Computation (PACLIC 37), 764-774, 2023. [Paper] [arXiv]
Risako Ando, Takanobu Morishita, Hirohiko Abe, Koji Mineshima, and Mitsuhiro Okada, Evaluating Large Language Models with NeuBAROCO: Syllogistic Reasoning Ability and Human-like Biases. Proceedings of the 4th Natural Logic Meets Machine Learning (NALOMA) Workshop, 1-11, 2023. [Paper] [arXiv] [Data]
Gaëtan Margueritte, Koji Mineshima, and Daisuke Bekki, Multi-purpose neural network for French categorial grammars. Proceedings of the 15th International Conference on Computational Semantics (IWCS 2023), 78-82, 2023. [Paper]
Yuri Sato, Koji Mineshima, and Kazuhiro Ueda. Can Negation Be Depicted? Comparing Human and Machine Understanding of Visual Representations. Cognitive Science, Volume 47, Issue 3, e13258, 2023. [Paper]

2022

Izumi Haruta, Koji Mineshima, and Daisuke Bekki. Implementing Natural Language Inference for Comparatives. Journal of Language Modelling, Vol.10, No.1, 139-191, 2022. [Paper]
Hitomi Yanaka and Koji Mineshima. Compositional Evaluation on Japanese Textual Entailment and Similarity. Transactions of the Association for Computational Linguistics (TACL) 10: 1266–1284. [Paper] [arXiv] [Data]
Yuri Sato and Koji Mineshima. Visually Analyzing Universal Quantifiers in Photograph Captions. Proceedings of the 13th International Conference on the Theory and Application of Diagrams (Diagrams2022), Lecture Notes in Artificial Intelligence (LNAI) 13462, 373–377, 2022. [Link]
Kana Koyano, Hitomi Yanaka, Koji Mineshima, and Daisuke Bekki. Annotating Japanese Numeral Expressions for a Logical and Pragmatic Inference Dataset. Proceedings of the 18th Joint ACL-ISO Workshop on Interoperable Semantic Annotation (ISA-18), 127-132, 2022. [Paper]

2021

Yukiko Yana, Koji Mineshima, and Daisuke Bekki. The Proviso Problem from a Proof-Theoretic Perspective. Proceedings of Logical Aspects of Computational Linguistics 2021 (LACL2021). 159-176, 2021.
Atsushi Sumita, Koji Mineshima, and Yusuke Miyao. Talking with the Theorem Prover to Interactively Solve Natural Language Inference. Proceedings of the 35th Pacific Asia Conference on Language, Information and Computation (PACLIC35), 415-424, 2021. [Paper]
Hitomi Yanaka and Koji Mineshima. Assessing the Generalization Capacity of Pre-trained Language Models through Japanese Adversarial Natural Language Inference. Proceedings of BlackboxNLP 2021: Analyzing and interpreting neural networks for NLP, Workshop at EMNLP2021, 337-349, 2021. [Paper] [Code]
Yuri Sato and Koji Mineshima. Can Humans and Machines Classify Photographs as Depicting Negation? Diagrammatic Representation and Inference (Diagrams 2021), Lecture Notes in Computer Science, Volume 12909, 348-352, 2021. [Link]
Hitomi Yanaka, Koji Mineshima, and Kentaro Inui. SyGNS: A Systematic Generalization Testbed Based on Natural Language Semantics. Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021, 103-119, 2021. [Paper] [arXiv] [Code]
Yuri Sato, Koji Mineshima, and Kazuhiro Ueda. Visual Representation of Negation: Real World Data Analysis on Comic Image Design. Proceedings of the 43rd Annual Conference of the Cognitive Science Society (CogSci2021), 1166-1172, 2021. [Paper] [arXiv]
Riko Suzuki, Hitomi Yanaka, Koji Mineshima, and Daisuke Bekki. Building a Video-and-Language Dataset with Human Actions for Multimodal Logical Inference. Proceedings of the 1st Workshop on Multimodal Semantic Representations (MMSR), 102-107, 2021. [Paper]
Hitomi Yanaka, Koji Mineshima, and Kentaro Inui. Exploring Transitivity in Neural NLI Models through Veridicality. Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics (EACL2021), 920-934, 2021. [Paper] [arXiv] [Code]

2020

Izumi Haruta, Koji Mineshima, and Daisuke Bekki. Combining Event Semantics and Degree Semantics for Natural Language Inference. Proceedings of the 28th International Conference on Computational Linguistics (Coling2020), 1758–1764, 2020. [Paper] [arXiv] [Code]
Yuri Sato and Koji Mineshima. Depicting Negative Information in Photographs, Videos, and Comics: A Preliminary Analysis. Diagrammatic Representation and Inference (Diagrams 2020), Lecture Notes in Computer Science, Volume 12169, 485-489, 2020. [Link]
Izumi Haruta, Koji Mineshima, and Daisuke Bekki. Logical Inferences with Comparatives and Generalized Quantifiers. Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics: Student Research Workshop (ACL-SRW2020), 263-270, 2020. [Paper] [arXiv] [Code]
Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, and Kentaro Inui. Do Neural Models Learn Systematicity of Monotonicity Inference in Natural Language? Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics (ACL2020), 6105-6117, 2020. [Paper] [arXiv] [Code]
Yusuke Kubota, Koji Mineshima, Noritsugu Hayashi, Shinya Okano. Development of a General-Purpose Categorial Grammar Treebank. Proceedings of the 12th Conference on Language Resources and Evaluation (LREC 2020), 5195-5201, 2020. [Paper]

2019

Izumi Haruta, Koji Mineshima and Daisuke Bekki. A CCG-based Compositional Semantics and Inference System for Comparatives. Proceedings of the 33rd Pacific Asia Conference on Language, Information and Computation (PACLIC 33), 47-56, 2019. [Paper] [arXiv] [Code]
Masashi Yoshikawa, Hiroshi Noji, Koji Mineshima and Daisuke Bekki. Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation. Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics (ACL2019), 129-139, 2019. [Paper] [arXiv] [Code]
Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui, Satoshi Sekine, Lasha Abzianidze and Johan Bos. Can Neural Networks Understand Monotonicity Reasoning? Proceedings of BlackboxNLP 2019: Analyzing and interpreting neural networks for NLP, Workshop at ACL2019, 31–40, 2019. [Paper] [arXiv] [Code]
Riko Suzuki, Hitomi Yanaka, Masashi Yoshikawa, Koji Mineshima and Daisuke Bekki. Multimodal Logical Inference System for Visual-Textual Entailment. Proceedings of the 2019 ACL Student Research Workshop (ACL-SRW), 386–392, 2019. [Paper] [arXiv] [Code]
Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui, Satoshi Sekine, Lasha Abzianidze and Johan Bos. HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning. Proceedings of the Eighth Joint Conference on Lexical and Computational Semantics (*SEM 2019), Workshop at NAACL-HLT2019, 250–255, 2019. [Paper] [arXiv] [Code]
Riko Suzuki, Hitomi Yanaka, Masashi Yoshikawa, Koji Mineshima and Daisuke Bekki. Towards building a logical inference system for image retrieval. (Extended abstract), Workshop on Shortcomings in Vision and Language (SiVL), Workshop at NAACL-HLT2019.
Yusuke Kubota, Koji Mineshima, Robert Levine and Daisuke Bekki. Underspecification and interpretive parallelism in Dependent Type Semantics. Proceedings of Computing Semantics with Types, Frames and Related Structures (CSTFRS), IWCS 2019 Workshop, 1-9, 2019. [Paper]
Kazuki Watanabe, Koji Mineshima and Daisuke Bekki. Questions in Dependent Type Semantics. Proceedings of the Sixth Natural Language and Computer Science 6 (NLCS 2019), Workshop at the 13th International Conference on Computational Semantics (IWCS 2019), 23–33, 2019. [Paper]
Yukiko Yana, Koji Mineshima and Daisuke Bekki. Variable Handling and Compositionality: Comparing DRT and DTS. Journal of Logic, Language and Information, Volume 28, Issue 2, 261–285, 2019. [Paper]
Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, and Daisuke Bekki. Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference. Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19), 7410-7417, 2019. [Paper] [arXiv] [Code]

2018

Eriko Kinoshita, Koji Mineshima, and Daisuke Bekki. Coercion as Proof Search in Dependent Type Semantics. Alexandra Anna Spalek and Matthew Gotham (eds.) Approaches to Coercion and Polysemy, Oslo Studies in Language 10(2), 143–162, 2018. [Paper]
Kana Manome, Masashi Yoshikawa, Hitomi Yanaka, Pascual Martínez-Gómez, Koji Mineshima and Daisuke Bekki. Neural sentence generation from formal semantics. Proceedings of the 11th International Conference on Natural Language Generation (INLG 2018), 408-414, 2018. [Paper]
Ribeka Tanaka, Koji Mineshima and Daisuke Bekki. Paychecks, presupposition, and dependent types. Proceedings of the Fifth Natural Language and Computer Science (NLCS 2018) , Oxford University, Oxford, UK, July 7-8, 2018. [Paper]
Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez and Daisuke Bekki. Acquisition of phrase correspondences using natural deduction proofs. Proceedings of the 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL-HLT2018), 756–766, New Orleans, USA, June 1-6, 2018. [arXiv] [Paper]
Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji and Daisuke Bekki. Consistent CCG parsing over multiple sentences for improved logical reasoning. Proceedings of the 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL-HLT2018), 407–412, New Orleans, USA, June 1-6, 2018. [arXiv] [Paper]

2017

Ribeka Tanaka, Koji Mineshima and Daisuke Bekki. Factivity and Presupposition in Dependent Type Semantics. Journal of Language Modelling. Vol.5, No.2, 385–420, 2017. [Paper]
Ran Tian, Koji Mineshima and Pascual Martínez-Gómez. The Challenge of Composition in Distributional and Formal Semantics. Proceedings of the 8th International Joint Conference on Natural Language Processing (IJCNLP2017), 16-17, Taipei, Taiwan, November 27 – December 1, 2017. [Link] [Slides I] [Slides II]
Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez and Daisuke Bekki. Determining Semantic Textual Similarity using Natural Deduction Proofs. Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing (EMNLP2017), 681–691, Copenhagen, Denmark, September 7–11, 2017. [arXiv] [paper]
Dan Han, Pascual Martínez-Gómez and Koji Mineshima. Visual Denotations for Recognizing Textual Entailment. Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing (EMNLP2017), 2843–2849. Copenhagen, Denmark, September 7–11, 2017. [paper]
Yukiko Yana, Koji Mineshima and Daisuke Bekki. Variable Handling in DRT and DTS. Proceedings of the Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017), 131–159. Stockholm, August 16–19, 2017. [Proceedings]
Pascual Martínez-Gómez, Koji Mineshima, Yusuke Miyao, and Daisuke Bekki. On-demand Injection of Lexical Knowledge for Recognising Textual Entailment. Proceedings of European Chapter of the Association for Computational Linguistics (EACL2017), 710–720, 2017. [Paper]
Daisuke Bekki and Koji Mineshima. Context-Passing and Underspecification in Dependent Type Semantics. In S. Chatzikyriakidis and Z. Luo (eds.), Modern Perspectives in Type Theoretical Semantics, Studies of Linguistics and Philosophy, Springer, 11–41, 2017. [Link]

2016

Kimi Kaneko, Saku Sugawara, Koji Mineshima and Daisuke Bekki. Annotation and Analysis of Discourse Relations, Temporal Relations and Multi-Layered Situational Relations in Japanese Texts. Proceedings of the 12th Workshop on Asian Language Resources (ALR12), 10–19, Coling2016 Workshop, Osaka, Japan, December 12, 2016. [Paper]
Ribeka Tanaka, Koji Mineshima, and Daisuke Bekki. On the interpretation of dependent plural anaphora in a dependently-typed setting. Proceedings of the 13th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS13), 86–99, 2016. [Proceedings]
Eriko Kinoshita, Koji Mineshima, and Daisuke Bekki. An analysis of selectional restrictions with Dependent Type Semantics. Proceedings of the 13th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS13), 100–113, 2016. [Proceedings]
Koji Mineshima, Ribeka Tanaka, Pascual Martínez-Gómez, Yusuke Miyao, and Daisuke Bekki. Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser. Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP2016), 2236–2242, Austin, Texas, November 1-5, 2016. [Paper] [Code]
Yuri Sato and Koji Mineshima. Human reasoning with proportional quantifiers and its support by diagrams. Diagrammatic Representation and Inference, Lecture Notes in Computer Science, Volume 9781, 123–138, Springer-Verlag. 2016. [Link]
Pascual Martínez-Gómez, Koji Mineshima, Yusuke Miyao, and Daisuke Bekki. ccg2lambda: a compositional semantics system. Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics (ACL2016), System Demonstrations, 85–90, Berlin, Germany, August 7-12, 2016. [Paper] [Code]

2015

Yuri Sato and Koji Mineshima. How diagrams can support syllogistic reasoning: an experimental study. Journal of Logic, Language and Information. Volume 24, Issue 4, 409–455. 2015. [Link]
Tsuyoshi Murata, Koji Mineshima, and Daisuke Bekki. (eds.) 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, Volume 9067, 2015. Springer-Verlag. [Link]
Ai Kawazoe, Ribeka Tanaka, Koji Mineshima and Daisuke Bekki. An inference problem set for evaluating semantic theories and semantic processing systems for Japanese. Proceedings of the Eleventh International Workshop on Logic and Engineering of Natural Language Semantics (LENLS12), 67–73, 2015. [Paper] [Dataset]
Koji Mineshima, Pascual Martínez-Gómez, Yusuke Miyao, and Daisuke Bekki. Higher-order logical inference with compositional semantics. Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing (EMNLP 2015), September 17-21, 2015, Lisbon, Portugal. 2055–2061. [Paper] [Code]
Ribeka Tanaka, Koji Mineshima and Daisuke Bekki. Factivity and presupposition in dependent type semantics. Proceedings of TYpe Theory and LExical Semantics (TYTLES) in the 27th European Summer School in Logic, Language and Information (ESSLLI 2015), Barcelona, Spain. 2015. A revised and expanded version will appear in Journal of Language Modelling.
Ayako Nakamura, Koji Mineshima, and Daisuke Bekki. Towards modeling natural language inferences with part-whole relations using formal ontology and lexical semantics. Proceedings of the FOfAI session of the Joint Ontology Workshops (JOWO), July 25-27th, Buenos Aires. 2015. [Paper]

2014

Ribeka Tanaka, Koji Mineshima and Daisuke Bekki. Resolving modal anaphora in dependent type semantics. In Proceedings of the Eleventh International Workshop on Logic and Engineering of Natural Language Semantics (LENLS11), 54–67. 2014. A revised and expanded version appeared in Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki (eds.), New Frontiers in Artificial Intelligence, Lecture Notes in Computer Science, Vol. 9067, 83–98. 2015. [Link]
Koji Mineshima, Yuri Sato, Ryo Takemura and Mitsuhiro Okada. Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: a relational perspective. Journal of Visual Languages and Computing. Volume 25, Issue 3. 156–169. 2014. [Link]

2013

Koji Mineshima. Aspects of Inference in Natural Language. PhD thesis, Keio University, 2013.

2012

Koji Mineshima, Mitsuhiro Okada and Ryo Takemura. A generalized syllogistic inference system based on inclusion and exclusion relations. Studia Logica, Volume 100, Issue 4. (Special issue, Logic and Natural Language, edited by Nissim Francez and Ian Pratt-Hartmann.) 753–785. 2012. [Link]
Koji Mineshima, Yuri Sato, Ryo Takemura and Mitsuhiro Okada. On the cognitive efficacy of Euler diagrams in syllogistic reasoning: a relational perspective. In P. Chapman and L. Micallef (eds.), Proceedings of the 3rd International Workshop on Euler Diagrams (Euler Diagrams 2012), CEUR Workshop Proceedings, Vol. 854, 17–31. 2012. Best Paper Award. [Link]
Koji Mineshima, Mitsuhiro Okada and Ryo Takemura. A diagrammatic inference system with Euler circles. Journal of Logic, Language and Information, Volume 21, Issue 3. 365–391. 2012. [Link]
Yuri Sato and Koji Mineshima. The efficacy of diagrams in syllogistic reasoning: a case of linear diagrams. In P. Rodgers, P. Cox and B. Plimmer (eds.), Proceedings of the 7th International Conference on the Theory and Application of Diagrams (Diagrams 2012), Lecture Notes in Computer Science, Vol. 7352, 352–355, Springer-Verlag, 2012. [Link]

2011

Yuri Sato, Koji Mineshima and Ryo Takemura. Interpreting logic diagrams: a comparison of two formulations of diagrammatic representations. Proceedings of 33rd Annual Conference of the Cognitive Science Society, 2182–2187, 2011. [Link]

2010

Yuri Sato, Koji Mineshima and Ryo Takemura. The efficacy of Euler and Venn diagrams in deductive reasoning: empirical findings. In A.K. Goel, M. Jamnik, and N.H. Narayanan (eds.), Proceedings of the 6th International Conference on the Theory and Application of Diagrams (Diagrams 2010), Lecture Notes in Computer Science, Vol. 6170, 6–22, Springer-Verlag, 2010. [Link]
Koji Mineshima, Mitsuhiro Okada and Ryo Takemura. Two types of diagrammatic inference system: natural deduction style and resolution style. In A.K. Goel, M. Jamnik, and N.H. Narayanan (eds.), Proceedings of the 6th International Conference on the Theory and Application of Diagrams (Diagrams 2010), Lecture Notes in Computer Science, Vol. 6170, 99–114, Springer-Verlag, 2010. [Link]
Yuri Sato, Koji Mineshima and Ryo Takemura. Constructing internal diagrammatic proofs from external logic diagrams. Proceedings of 32nd Annual Conference of the Cognitive Science Society, 2668–2673, 2010. [Link]
Yuri Sato, Koji Mineshima, and Ryo Takemura. Children's reasoning with logic diagrams. In David N. Rapp (ed.), Spatial Cognition 2010: Poster Presentations SFB/TR 8 Report No. 024-07/2010, 81–84. 2010. [Paper]
Yuji Nishiyama and Koji Mineshima. Free enrichment and the over-generation problem. In Ewa Walaszewska et al. (eds.), In the Mind and Across Minds: A Relevance-Theoretic Perspective on Communication and Translation. Cambridge Scholars Publishing, 22–42, 2010.

2007 - 2009

Koji Mineshima, Mitsuhiro Okada and Ryo Takemura. Conservativity for a hierarchy of Euler and Venn reasoning systems. Proceedings of Visual Languages and Logic 2009. CEUR Series Vol. 510, 37–61, 2009. [Link]
Koji Mineshima. A presuppositional analysis of definite descriptions in proof theory. In Ken Satoh et al. (eds.), New Frontiers in Artificial Intelligence: JSAI 2007 Conference and Workshops, Revised Selected Papers, Lecture Notes in Computer Science Vol. 4914, 214–227, Springer-Verlag. 2008. [Link]
Koji Mineshima, Mitsuhiro Okada, Yuri Sato and Ryo Takemura. Diagrammatic reasoning system with Euler circles: theory and experiment design. G. Stapleton et al. (eds.), Proceedings of the 5th international conference on Diagrammatic Representation and Inference (Diagrams 2008), Lecture Notes in Computer Science, Vol. 5223, 188–205, Springer-Verlag, 2008. [Link]
Yuji Nishiyama and Koji Mineshima. Property expressions and the semantics-pragmatics interface. In Piotr Cap and Joanna Nijakowska (eds.), Current Trends in Pragmatics, Cambridge Scholars Publishing, 130–151. 2007.

In Japanese

Koji Mineshima. The hierarchy of NPIVs. (In Japanese). In Yuji Nishiyama (ed.), On Noun Phrases: The Mystery of Meaning and Interpretation. Hituji Shobo, pp. 407-430. 2013. [Link]
Koji Mineshima. How to constrain free enrichment. (In Japanese). In Yuji Nishiyama (ed.), On Noun Phrases: The Mystery of Meaning and Interpretation. Hituji Shobo, pp. 513-557. 2013. [Link]
Koji Mineshima. The logic of natural language and the semantics of Japanese. (In Japanese). Iwanami Lectures on Philosophy, Vol. 3, Philosophy of Language/Thought. Iwanami Syoten, pp. 139-170. 2009.
Yuji Nishiyama and Koji Mineshima. Predicate Nominals and Pragmatic Interpretations: Semantic Constraints on Free Enrichment. (In Japanese). In Takashi Iida (ed.), Language, Culture and European Tradition III: Tradition and Innovation. The Keio Institute of Cultural and Linguistic Studies, pp. 21-50. 2006.
Koji Mineshima. Natural language and logic. (In Japanese). In Takashi Iida (ed.), The Philosophy of Logic. Kodansha, pp. 213-241. 2005.

Encyclopedia Entries

Mitsuhiro Okada and Koji Mineshima. 'Model-theoretic semantics and completeness theorem,' 'Intuitionistic logic and type theory,' 'Logic and computation,' 'Dynamic state transition and logic,' 'Logic and philosophy.' (In Japanese). In Shun Ishizaki et al. (eds.), Gengo Shori-Gaku Jiten (Encyclopedia of Language Processing). Tokyo: Kyoritu Syuppan, 2009.

Japanese Translation

William Lycan, Philosophy of Language: A Contemporary Introduction (Routledge, 2000). Tokyo: Keiso Shobo, 2005. (with T. Araiso, Y. Kawaguchi, and I. Suzuki) [Link]

Link

Okada Lab, Department of Philosophy, Keio University
Bekki Lab, Department of Information Science, Ochanomizu University
Class