Bekki Laboratory — Daisuke Bekki

Publications in English: Reviewed papers; Edited books; Invited talks; Reviewed conf. talks; Other papers

Publications in English

Reviewed Papers

A Proof-theoretic Analysis of VP Ellipsis in Dependent Type Semantics
Bekki,Daisuke; (2025)
In Proceedings of the 21th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS21), pp.83-89.
Functional indefinites as conventional implicatures
Matsuoka,Daiki; Yanaka,Hitomi; Bekki,Daisuke; (2025)
To appear in Proceedings of NELS56, New York, USA.
Natural Language Inference with CCG Parser and Automated Theorem Prover for DTS
Tomita,Asa; Matsubara,Mai; Daido,Hinari; Bekki,Daisuke; (2025)
In Proceedings of the Second Workshop on the Bridges and Gaps between Formal and Computational Linguistics (BriGap-2), Workshop in IWCS 2025, pp.1-7, Dusseldorf, Germany, 24 September.pdf
Modal Subordination in Dependent Type Semantics
Iimura,Aoi; Mizuno,Teruyuki; Bekki,Daisuke; (2025)
In Proceedings of the Second Workshop on the Bridges and Gaps between Formal and Computational Linguistics (BriGap-2), Workshop in IWCS 2025, pp.15-19, Dusseldorf, Germany, 24 September.pdf
Automatic Evaluation of Linguistic Validity in Japanese CCG Treebanks
Tomita,Asa; Yanaka,Hitomi; Bekki,Daisuke; (2025)
In Proceedings of the 23rd International Workshop on Treebanks and Linguistic Theories (TLT), Workshop in Syntax Fest 2025, pp.74-80, Ljubljana, Slovenia, August 28-29.pdf
A propositions-as-types approach to the generalized crossover effect
Matsuoka,Daiki; Bekki,Daisuke; Yanaka,Hitomi; (2025)
In Proceedings of Sinn und Bedeutung 29, pp.986-1003, Siracusa, italy.doi
Relative Tense in Japanese: A Case of Multiply Embedded Relative Clauses
Matsuoka,Daiki; Bekki,Daisuke; Yanaka,Hitomi; (2025)
In Proceedings of the 31st Japanese-Korean Linguistic Conference (JK31), pp.463-473, Melborne, Australia.doi
A Proof-Theoretic Approach to the Binding Problem
Yana,Yukiko; Mineshima,Koji; Bekki,Daisuke; (2024)
Proceedings of 6th Asian Workshop on Philosophical Logic (AWPL2024), pp.129-139.
Matrix and relative weak crossover effects in Japanese: An experimental investigation
Fukushima,Haruka; Plesniak,Daniel; Bekki,Daisuke; (2024)
Proceedings of the 2024 SMOG International Conference on Syntax and Semantics, Andong, Korea.pdf
Reforging : A Method for Constructing Linguistically Valid Japanese CCG Treebank
Tomita,Asa; Yanaka,Hitomi; Bekki,Daisuke; (2024)
In Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics (EACL2024): Student Research Workshop, pp.196-207, St. Julian's, Malta, March 17-22, 2024pdf
A Proof-Theoretic Approach to the Binding Problem
Yana,Yukiko; Mineshima,Koji; Bekki,Daisuke; (2024)
In Proceedings of the 6th Asian Workshop on Philosophical Logic (AWPL 2024), Hokkaido University in Sapporo, Japan on 4-6 March 2024.
Matrix and Relative Weak Crossover on the Level of the Individual: A Proposed Experimental Investigation
Fukushima,Haruka; Plesniak,Daniel; Bekki,Daisuke; (2023)
In Proceedings of the 20th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS20), pp.93-98, Osaka, Japan.
Appositive Projection as Implicit Context Extension in Dependent Type Semantics
Matsuoka,Daiki; Yanaka,Hitomi; Bekki,Daisuke; (2023)
In Proceedings of the 20th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS20), pp.82-87, Osaka, Japan.
A Proof-theoretic Analysis of Weak Crossover
Bekki,Daisuke; (2023)
In 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), LNAI 13856, pp.228-241, Springer.doi bookstore
Neural DTS: A hybrid NLI system combining two procedural approaches
Iinuma,Mizuki; Takahashi,Yuta; Tagami,Sora; Bekki,Daisuke; (2023)
Proceedings of Procedural and computational models of semantic and pragmatic processes, ESSLLI2023 workshop, Ljubljana, Slovenia.pdf
Knowledge Injection for Disease Names in Logical Inference between Japanese Clinical Texts
Murakami,Natsuki; Ishida,Mana; Takahashi,Yuta; Yanaka,Hitomi; Bekki,Daisuke; (2023)
In Proceedings of the 5th Clinical Natural Language Processing Workshop, pages 108-117, Toronto, Canada. Association for Computational Linguistics.doi pdf
Recurrent Neural Network CCG Parser
Tagami,Sora; Bekki,Daisuke; (2023)
Proceedings of Natural Logic Meets Machine Learning IV (NALOMA23), IWCS2023 workshop, short paper, Nancy, France, pp.35-40, Association of Computational Linguistics.pdf
Multi-purpose neural network for French categorial grammars
Margueritte,G\"aetan; Bekki,Daisuke; Mineshima,Koji; (2023)
Proceedings of IWCS2023, poster session, pp.78-82, Nancy, France.pdf
Integrating Deep Neural Network with Dependent Type Semantics
Bekki,Daisuke; Tanaka,Ribeka; Takahashi,Yuta; (2023)
In Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021), Roussanka Loukanova, Peter LeFanu Lumsdaine, Reinhard Muskens (eds.), Studies in Computational Intelligence, vol.1081. pp.261-284, Springer.doi
Temporal relation identification applied to requirements specifications towards more efficient software development
Onishi,Maiko; Ogata,Shinpei; Okano,Kozo; Bekki,Daisuke; (2023)
Proceedings of 27th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems (KES2023), Procedia Computer Science, Vol.225, pp.1161-1170.doi
Is Japanese CCGBank empirically correct? A case study of passive and causative constructions
Bekki,Daisuke; Yanaka,Hitomi; (2023)
Proceedings of the 21st International Workshop on Treebanks and Linguistic Theories (TLT, GURT/SyntaxFest 2023), pp.32-36, Washington, D.C., Association for Computational Linguisticspdf
Implementing Natural Language Inference for Comparatives
Haruta,Izumi; Mineshima,Koji; Bekki,Daisuke; (2022)
Journal of Language Modelling, Volume 10, No.1, pp.139-191.doi pdf
A Bounded Model Checker for Timed Automata and Its Application to LTL Properties
Okano,Kozo; Onishi,Maiko; Otsuka,Jo; Ogata,Shinpei; Sekizawa,Toshifusa; Okamoto,Keishi; Bekki,Daisuke; (2022)
Proceedings of 26th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems (KES 2022), vol.207, pp.532-541.doi
Learning Knowledge with Neural DTS
Bekki,Daisuke; Tanaka,Ribeka; Takahashi,Yuta; (2022)
Proceedings of the 3rd Natural Logic Meets Machine Learning (NALOMA III), pp.17-25, Galway, Ireland, Association of Computational Linguistics.pdf
Annotating Japanese Numeral Expressions for a Logical and Pragmatic Inference Dataset
Koyano,Kana; Yanaka,Hitomi; Mineshima,Koji; Bekki,Daisuke; (2022)
In Proceedings of the Eighteenth Joint ACL-ISO Workshop on Interoperable Semantic Annotation (ISA-18), pp.127-132, Marseille, France, 2022.pdf
Integrating Deep Neural Network with Dependent Type Semantics
Bekki,Daisuke; Tanaka,Ribeka; Takahashi,Yuta; (2021)
In Proceedings of the Symposium Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021), Axcel Ljungstrom, Roussanka Loukanova, Peter LeFanu Lumsdaine, Reinhard Muskens (eds.), p.37, Stockholm University, 2021, DiVA Portal for Digital Publications.pdf
The proviso problem from a proof-theoretic perspective
Yana,Yukiko; Mineshima,Koji; Bekki,Daisuke; (2021)
In Proceedings of Logical Aspects of Computational Linguistics (LACL) 2021, pp.159-176.
A Proof-theoretic Analysis of Weak Crossover
Bekki,Daisuke; (2021)
In Proceedings of the 18th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS18), pp.75-88.
Compositional Semantics for Multiword Expression in Medical Case Retrieval
Ishida,Mana; Yanaka,Hitomi; Bekki,Daisuke; (2021)
In Proceedings of the 18th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS18), pp.231-239.
Building a Video-and-Language Dataset with Human Actions for Multimodal Logical Inference
Suzuki,Riko; Yanaka,Hitomi; Mineshima,Koji; Bekki,Daisuke; (2021)
In Proceedings of Beyond Language: Multimodal Semantic Representations (MMSR I, IWCS2021 workshop), pp.102-107, Groningen, Netherlands.pdf
Combining Event Semantics and Degree Semantics for Natural Language Inference
Haruta,Izumi; Mineshima,Koji; Bekki,Daisuke; (2020)
In Proceedings of the COLING2020 (short paper), pp.1758-1764, Barcelona, Spain (Online).doi pdf
Development of an automated theorem prover for the fragment of DTS
Daido,Hinari; Bekki,Daisuke; (2020)
In Proceedings of the 17th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS17).
Logical Inferences with Comparatives and Generalized Quantifiers
Haruta,Izumi; Mineshima,Koji; Bekki,Daisuke; (2020)
In Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics Student Research Workshp (ACL2020-SRW), pp.263-270, Seattle, USA.pdf
A CCG-based Compositional Semantics and Inference System for Comparatives
Haruta,Izumi; Mineshima,Koji; Bekki,Daisuke; (2019)
In Proceedings of the 33rd Pacific Asia Conference on Language, Information and Computation (PACLIC33), pp.67-76, Hakodate, Japan.pdf
Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation
Yoshikawa,Masashi; Noji,Hiroshi; Mineshima,Koji; Bekki,Daisuke; (2019)
In Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics (ACL2019), pp.129-139, Florence, Italy.doi pdf
Multimodal Logical Inference System for Visual-Textual Entailment
Suzuki,Riko; Yanaka,Hitomi; Yoshikawa,Masashi; Mineshima,Koji; Bekki,Daisuke; (2019)
In Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics Student Research Workshop (ACL2019-SRW), pp.386-392, Florence, Italy.pdf
Can neural networks understand monotonicity reasoning?
Yanaka,Hitomi; Mineshima,Koji; Bekki,Daisuke; Inui,Kentaro; Sekine,Satoshi; Abzianidze,Lasha; Bos,Johan; (2019)
In Proceedings of the Second BlackboxNLP workshop on Analyzing and Interpreting Neural Networks for NLP, pp.31-40, Florence, Italy.doi pdf
Towards Building a Logical Inference System for Text and Images
Suzuki,Riko; Yanaka,Hitomi; Yoshikawa,Masashi; Mineshima,Koji; Bekki,Daisuke; (2019)
In Proceedings of the 17th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL-HLT2019), the second workshop on Shortcomings in Vision and Language (SiVL), Minneapolis, USA. June 6.
HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning
Yanaka,Hitomi; Mineshima,Koji; Bekki,Daisuke; Inui,Kentaro; Sekine,Satoshi; Abzianidze,Lasha; Bos,Johan; (2019)
In Proceedings of the Eighth Joint Conference on Lexical and Computational Semantics (*SEM 2019), pp.250-255, Minneapolis, Minnesota, USA.doi pdf
Variable Handling and Compositionality: Comparing DRT and DTS
Yana,Yukiko; Bekki,Daisuke; Mineshima,Koji; (2019)
Journal of Logic, Language and Information, vol.28 (2), pp.261-285.doi pdf
Underspecification and interpretive parallelism in Dependent Type Semantics
Kubota,Yusuke; Mineshima,Koji; Bekki,Daisuke; Levine,Robert; (2019)
In Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures (CSTFRS), pp.1-9, Gothenburg, Sweden.doi pdf
Questions in Dependent Type Semantics
Watanabe,Kazuki; Mineshima,Koji; Bekki,Daisuke; (2019)
In Proceedings of the Sixth Workshop on Natural Language and Computer Science (NLCS'19), pp.23-33, Gothenburg, Sweden.doi
Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference
Yoshikawa,Masashi; Noji,Hiroshi; Mineshima,Koji; Bekki,Daisuke; (2019)
In proceedings of the 33rd AAAI Conference on Artificial Intelligence, (AAAI-2019), Honolulu, Hawaii, United States.pdf
Coercion as Proof Search in Dependent Type Semantics
Kinoshita,Eriko; Mineshima,Koji; Bekki,Daisuke; (2018)
In Possessives in L2 and translation: basic principles and empirical findings, Cathrine Fabricius-Hansen, Bergljot Behrens, Anneliese Pitz and Hans Petter Helland (eds.), Oslo Studies in Language 10, No 2, pp.1-20.pdf
Neural sentence generation from formal semantics
Manome,Kana; Yoshikawa,Masashi; Yanaka,Hitomi; Martinez-Gomez,Pascual; Mineshima,Koji; Bekki,Daisuke; (2018)
In Proceedings of 11th International Conference on Natural Language Generation (INLG2018), pp.408-414, November 5-8, Tilburg, Netherland.pdf
Paychecks, presupposition, and dependent types
Tanaka,Ribeka; Mineshima,Koji; Bekki,Daisuke; (2018)
In Proceedings of the Fifth Workshop on Natural Language and Computer Science (NLCS2018) , Preprint no.215, Oxford University, Oxford, UK, July 7-8, 2018.doi pdf
Acquisition of Phrase Correspondences using Natural Deduction Proofs
Yanaka,Hitomi; Mineshima,Koji; Martinez-Gomez,Pascual; Bekki,Daisuke; (2018)
In Proceedings of the 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL-HLT2018), pp.756-766, New Orleans, Louisiana, USA. July 1-6.doi pdf
Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning
Yoshikawa,Masashi; Mineshima,Koji; Noji,Hiroshi; Bekki,Daisuke; (2018)
In Proceedings of the 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL-HLT2018), pp.407-412, New Orleans, Louisiana, USA. Jun 1-6.doi pdf
Factivity and Presupposition in Dependent Type Semantics
Tanaka,Ribeka; Mineshima,Koji; Bekki,Daisuke; (2017)
Journal of Language Modelling, Volume 5, No 2, pp.385-420.doi
Determining Semantic Textual Similarity using Natural Deduction Proofs
Yanaka,Hitomi; Mineshima,Koji; Martinez-Gomez,Pascual; Bekki,Daisuke; (2017)
In Proceedings of Empirical Methods in Natural Language Processing (EMNLP2017), pp.681-691, September 7-11, Copenhagen, Denmark.doi pdf
Variable Handling in DRT and DTS
Yana,Yukiko; Bekki,Daisuke; Mineshima,Koji; (2017)
In Proceedings of Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017), pp.141-159, Stockholm, Sweden.
Indirect Answers to QUD
Ito,Yurina; Mineshima,Koji; Bekki,Daisuke; (2017)
In Proceedings of Integrating Approaches to Social Meaning (IASM) workshop, in the 29th European Summer School in Logic, Language and Information (ESSLLI 2017), Toulouse, France.
On the Interpretation of Dependent Plural Anaphora in a Dependently-Typed Setting
Tanaka,Ribeka; Mineshima,Koji; Bekki,Daisuke; (2017)
In New Frontiers in Artificial Intelligence. JSAI-isAI 2016, Kurahashi S., Ohta Y., Arai S., Satoh K., Bekki D. (eds), Lecture Notes in Computer Science, vol 10247, pp.123-137, Springer.doi bookstore
An Analysis of Selectional Restrictions with Dependent Type Semantics
Kinoshita,Eriko; Mineshima,Koji; Bekki,Daisuke; (2017)
In New Frontiers in Artificial Intelligence. JSAI-isAI 2016, Kurahashi S., Ohta Y., Arai S., Satoh K., Bekki D. (eds), Lecture Notes in Computer Science, vol 10247, pp.19-32, Springer, Chamdoi bookstore
On-demand Injection of Lexical Knowledge for Recognising Textual Entailment
Martinez-Gomez,Pascual; Mineshima,Koji; Miyao,Yusuke; Bekki,Daisuke; (2017)
In Proceedings of the European Chapter of the Association for Computational Linguistics (EACL2017), pp.710-720, Valencia, Spain. pdf
Context-Passing and Underspecification in Dependent Type Semantics
Bekki,Daisuke; Mineshima,Koji; (2017)
Modern Perspectives in Type-Theoretical Semantics, S.Chatzikyriakidis and Z.Luo (Eds.), Studies of Linguistics and Philosophy, Springer. pp.11-41.doi
Annotation and Analysis of Discourse Relations, Temporal Relations and Multi-Layered Situational Relations in Japanese Texts
Kaneko,Kimi; Sugawara,Saku; Mineshima,Koji; Bekki,Daisuke; (2016)
In Proceedings of the 12th Workshop on Asian Language Resources (ALR12), pp.10-19, Coling2016 Workshop, Osaka, Japan, December 12.pdf
Implementing Variable Vectors in a CCG Parser
Bekki,Daisuke; Kawazoe,Ai; (2016)
In Logical Aspects of Computational Linguistics (9th international conference, LACL2016, Nancy, France, December 2016 Proceedings), C.Retore and S.Pogodalla (Eds), pp.52-67, Springer, Heiderburg.doi
On the interpretation of dependent plural anaphora in a dependently-typed setting
Tanaka,Ribeka; Mineshima,Koji; Bekki,Daisuke; (2016)
In Proceedings of the 13th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS13), pp.86-99.
An analysis of selectional restrictions with Dependent Type Semantics
Kinoshita,Eriko; Mineshima,Koji; Bekki,Daisuke; (2016)
In Proceedings of the 13th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS13), pp.100-113.
Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser
Mineshima,Koji; Tanaka,Ribeka; Martinez-Gomez,Pascual; Miyao,Yusuke; Bekki,Daisuke; (2016)
In Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP2016), pp.2236-2242, November 1-5, Austin, United States. doi pdf
ccg2lambda: A Compositional Semantics System
Martinez-Gomez,Pascual; Mineshima,Koji; Miyao,Yusuke; Bekki,Daisuke; (2016)
In Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics (ACL2016), System Demonstrations, pp.85-90, August 7-12, Berlin, Germany.doi pdf
Integrating Distributional Similarity as an Abduction Mechanism in Recognizing Textual Entailment
Martinez-Gomez,Pascual; Mineshima,Koji; Miyao,Yusuke; Bekki,Daisuke; (2016)
In Proceedings of Distributional Semantics and Linguistic Theory (DSALT) workshop, in the 28th European Summer School in Logic, Language and Information (ESSLLI 2016), 3 pages, August, Bolzano, Italy.pdf
An Inference Problem Set for Evaluating Semantic Theories and Semantic Processing Systems for Japanese
Kawazoe,Ai; Tanaka,Ribeka; Mineshima,Koji; Bekki,Daisuke; (2015)
In Proceedings of the Twelfth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS12), JSAI International Symposia on AI 2015, pp.67-73, Tokyo-Yokohama, Japan.
Focus, Inverse Scope, and Delimited Control
Cong,Youyou; Asai,Kenichi; Bekki,Daisuke; (2015)
In Proceedings of the Twelfth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS12), JSAI International Symposia on AI 2015, pp.137-148, Tokyo-Yokohama, Japan.
Higher-order logical inference with compositional semantics
Mineshima,Koji; Martinez-Gomez,Pascual; Miyao,Yusuke; Bekki,Daisuke; (2015)
In Proceedings of Conference on Empirical Methods in Natural Language Processing (EMNLP2015), pp.2055-2061, September 17-21, 2015, Lisboa, Portugal. doi pdf
Two types of Japanese scrambling in combinatory categorial grammar
Bekki,Daisuke; (2015)
In Proceedings of Empirical Advances in Categorial Grammar (CG2015) in the 27th European Summer School in Logic, Language and Information (ESSLLI 2015), pp.1-12, Barcelona, Spain.pdf
Calculating Projections via Type Checking
Bekki,Daisuke; Miho,Sato; (2015)
In Extended abstracts of the ESSLLI 2015 workshop TYTLES: Types Theory and Lexical Semantics, Robin Cooper, Christian Retore (eds.), pp.62-68, Aug 2015, Barcelona, Spain. 2015. pdf
Factivity and Presupposition in Dependent Type Semantics
Tanaka,Ribeka; Mineshima,Koji; Bekki,Daisuke; (2015)
In Proceedings of TYpe Theory and LExical Semantics (TYTLES) in the 27th European Summer School in Logic, Language and Information (ESSLLI 2015), Barcelona, Spain.pdf
Towards Modeling Natural Language Inferences with Formal Ontology and Lexical Semantics
Nakamura,Ayako; Mineshima,Koji; Bekki,Daisuke; (2015)
In Proceedings of the FOfAI session of the Joint Ontology Workshops (JOWO), July 25-27th, Buenos Aires.pdf
A Framework for Constructing Multilingual Inference Problem
Kawazoe,Ai; Tanaka,Ribeka; Mineshima,Koji; Bekki,Daisuke; (2015)
In Proceedings of 1st International Workshop on the Use of Multilingual Language Resources in Knowledge Representation Systems (MLKRep2015), 08-10 July 2015, Vienna, Austria.
CI via DTS
Bekki,Daisuke; McCready,Eric; (2015)
In 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 Artificial Intelligence 9067, pp.23-36, Springerdoi bookstore
Resolving Modal Anaphora in Dependent Type Semantics
Tanaka,Ribeka; Mineshima,Koji; Bekki,Daisuke; (2015)
In 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 Artificial Intelligence 9067, pp.83-98, Springerdoi bookstore
Toward a Discourse Theory for Annotating Causal Relations in Japanese
Kaneko,Kimi; Bekki,Daisuke; (2014)
In Proceedings of the 28th Pacific Asia Conference on Language, Information and Computing (PACLIC28), pp.460-469, Phuket, Thailand.pdf
CI via DTS
Bekki,Daisuke; McCready,Eric; (2014)
In Proceedings of the Eleventh International Workshop on Logic and Engineering of Natural Language Semantics (LENLS11), pp.110-123, JSAI International Symposia on AI 2014, Tokyo, Japan.
Resolving Modal Anaphora in Dependent Type Semantics
Tanaka,Ribeka; Mineshima,Koji; Bekki,Daisuke; (2014)
In Proceedings of the Eleventh International Workshop on Logic and Engineering of Natural Language Semantics (LENLS11), pp.43-56, JSAI International Symposia on AI 2014, Tokyo, Japan.
Japanese Honorification: Compositionality and Expressivity
Watanabe,Narumi; McCready,Eric; Bekki,Daisuke; (2014)
In Proceedings of FAJL 7: Formal Approaches to Japanese Linguistics,International Christian University, Japan, Kawahara, Shigeto. Igarashi, Mika. (Eds), pp.265-276, the MIT Working Papers in Linguistics 73.pdf bookstore
Meta-Lambda Calculus and Linguistic Monads
Bekki,Daisuke; Masuko,Moe; (2014)
In "Formal Approaches to Semantics and PragmaticsJapanese and Beyond", McCready,Eric. Yabushita, Katsuhiko. Yoshimoto,Kei. (Eds), Studies in Linguistics and Philosophy 95, pp.31-64, Springer. doi pdf bookstore
Representing Anaphora with Dependent Types
Bekki,Daisuke; (2014)
In Logical Aspects of Computational Linguistics (8th international conference, LACL2014, Toulouse, France, June 2014 Proceedings), N.Asher and S.Soloviev (Eds), LNCS 8535, pp.14-29, Springer, Heiderburg.doi pdf bookstore
Constructive Generalized Quantifiers Revisited
Tanaka,Ribeka; Nakano,Yuki; Bekki,Daisuke; (2014)
In New Frontiers in Artificial Intelligence (JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers), Yukiko Nakano, Ken Satoh, Daisuke Bekki (Eds.), LNAI 8417, pp.115-124, Springer.doi pdf bookstore
First-order conditional logic and neighborhood-sheaf semantics for analysis of conditional sentences
Yamamoto,Hanako; Bekki,Daisuke; (2014)
In New Frontiers in Artificial Intelligence (JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers), Yukiko Nakano, Ken Satoh, Daisuke Bekki (Eds.), LNAI 8417, pp.154-164, Springer.doi pdf bookstore
Building a Japanese Corpus of Temporal-Causal-Discourse Structures Based on SDRT for Extracting Causal Relations
Kaneko,Kimi; Bekki,Daisuke; (2014)
In Proceedings of the EACL2014 Workshop on Computational Approaches to Causality in Language (CAtoCL), pp.33-39, 26th April, Gothenburg, Sweden.doi pdf
A Type-theoretic Approach to Double Negation Elimination in Anaphora
Bekki,Daisuke; (2013)
In Proceedings of the Tenth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS10), pp.56-68, JSAI International Symposia on AI 2013, Tokyo, Japan.pdf
Constructive Generalized Quantifiers Revisited
Tanaka,Ribeka; Nakano,Yuki; Bekki,Daisuke; (2013)
In Proceedings of the Tenth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS10), pp.69-78, JSAI International Symposia on AI 2013, Tokyo, Japan.bookstore
First-order conditional logic and neighborhood-sheaf semantics for analysis of conditional sentences
Yamamoto,Hanako; Bekki,Daisuke; (2013)
In Proceedings of the Tenth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS10), pp.96-106, JSAI International Symposia on AI 2013, Tokyo, Japan.
Building Japanese Textual Entailment Specialized Data Sets for Inference of Basic Sentence Relations
Kaneko,Kimi; Miyao,Yusuke; Bekki,Daisuke; (2013)
In Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics (ACL2013), pp.273-277, 4-9 August, Sofia, Bulgaria.pdf
Logical Polysemy and Subtyping
Bekki,Daisuke; Asher,Nicholas; (2013)
In New Frontiers in Artificial Intelligence (JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November and December 2012, Revised Selected Papers), Yoichi Motomura, Alastair Butler, Daisuke Bekki (Eds.), LNAI 7856, pp.17-24, Springer, Heidelberg.doi pdf bookstore
On the semantic relation between noun phrases and quantity expressions in Japanese (revised version)
Hayashishita,J.-R.; Bekki,Daisuke; (2013)
In New Frontiers in Artificial Intelligence (JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November and December 2012, Revised Selected Papers), Yoichi Motomura, Alastair Butler, Daisuke Bekki (Eds.), LNAI 7856, pp.41-52, Springer, Heidelberg.doi pdf bookstore
Subtyping in Logical Polysemy and Copredication
Bekki,Daisuke; Asher,Nicholas; (2012)
In Proceedings of the Ninth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS9), pp.98-105, JSAI International Symposia on AI 2012, Miyazaki, Japan.
On the semantic relation between noun phrases and quantity expressions in Japanese
Hayashishita,J.-R.; Bekki,Daisuke; (2012)
In Proceedings of the Ninth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS9), pp.198-209, JSAI International Symposia on AI 2012, Miyazaki, Japan.
Conjoined nominal expressions in Japanese －Interpretation through monad－ (revised version)
Hayashishita,J.-R.; Bekki,Daisuke; (2012)
In New Frontiers in Artificial Intelligence (JSAI-isAI 2011 Workshops, Takamatsu, Japan, December 2011, Selected Papers from LENLS8), Manabu Okumura, Daisuke Bekki, Ken Satoh (Eds.), LNAI 7258, pp.54-67, Springer, Heidelberg. doi pdf bookstore
Extractability as Deduction Theorem in Subdirectional Combiantory Logic (revised version)
Ozaki,Hiroko; Bekki,Daisuke; (2012)
In Logical Aspects of Computational Linguistics (7th international conference, LACL2012, Nantes, France, July 2012 Proceedings), LNAI 7351, pp.186-200, Springer.doi pdf bookstore
Toward the formulation of presupposition by Illative Combinatory Logic
Ishishita,Yuri; Bekki,Daisuke; (2012)
In Logical Aspects of Computational Linguistics (7th international conference, LACL2012, Nantes, France, July 2012 Proceedings), LNAI 7351, pp.74-85, Springer.doi pdf bookstore
Extractability as Deduction Theorem in Subdirectional Combinatory Logic
Ozaki,Hiroko; Bekki,Daisuke; (2011)
In Proceedings of the Eighth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS8), pp.80-93, JSAI International Symposia on AI 2011, Sunport Hall Takamatsu, Kagawa, Japan.
Conjoined nominal expressions in Japanese: Interpretation through monad
Hayashishita,J.-R.; Bekki,Daisuke; (2011)
In Proceedings of the Eighth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS8), pp.139-152, JSAI International Symposia on AI 2011, Sunport Hall Takamatsu, Kagawa, Japan.
Combinatory Categorial Grammar as a Substructural Logic －Preliminary Remarks－ (revised version)
Bekki,Daisuke; (2011)
In New Frontiers in Artificial Intelligence (JSAI-isAI 2010 Workshops, Tokyo, Japan, November 2010, Selected Papers from LENLS7), Takashi Onoda, Daisuke Bekki, Eric McCready (Eds.), LNAI 6797, pp.16-29, Springer, Heidelberg. doi pdf bookstore
Conditional Logic Cb and its Tableau System
Ozaki,Yuri; Bekki,Daisuke; (2011)
In Logical Aspects of Computational Linguistics (6th international conference, LACL2011, Montpellier, France, June/July 2011 Proceedings), LNAI 6736, pp.190-204, Springer.doi pdf bookstore
Combinatory Categorial Grammar as a Substructural Logic －Preliminary Remarks－
Bekki,Daisuke; (2010)
In Proceedings of the Seventh International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 7), pp.70-83, JSAI International Symposia on AI 2010, Campus Innovation Center, Tokyo, Japan.
Representing Covert Movements by Delimited Continuations (revised version)
Bekki,Daisuke; Kenichi,Asai; (2010)
In New Frontiers in Artificial Intelligence (JSAI-isAI 2009 Workshops, Tokyo, Japan, November 2009, Selected Papers from LENLS6), Kumiyo Nakakoji, Yohei Murakami, Eric McCready (Eds.), JSAI-isAI, LNAI 6284, pp.161-180, Springer, Heidelberg. doi pdf bookstore
Representing Covert Movements by Delimited Continuations
Bekki,Daisuke; Kenichi,Asai; (2009)
In Proceedings of the Sixth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 6), pp.71-90, JSAI International Symposia on AI 2009, Campus Innovation Center, Tokyo, Japan.
Monads and Meta-Lambda Calculus (revised version)
Bekki,Daisuke; (2009)
In New Frontiers in Artificial Intelligence (JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 2008, Revised Selected Papers from LENLS5), Hattori, H., T. Kawamura, T, Ide', M. Yokoo, Y. Murakami (Eds.) LNAI 5447, pp.193-208, Springer.doi bookstore
Monads and Meta-Lambda Calculus
Bekki,Daisuke; (2008)
In Proceedings of the Fifth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS2008) in Conjunction with the 22nd Annual Conference of the Japanese Society for Artificial Intelligence 2008, pp.56-78, Asahikawa, Japan.
The development of a schema for the annotation of terms in the BioCaster disease detection/tracking system
Kawazoe,Ai; Jin,Lihua; Shigematsu,Mika; Bekki,Daisuke; Barrero,Roberto; Taniguchi,Kiyosu; Collier,Nigel; (2009)
Applied Ontology, 4(1), pp.5-20, IOS presspdf
Translating HPSG-style outputs of a robust parser into Typed Dynamic Logic
Sato,Manabu; Bekki,Daisuke; Miyao,Yusuke; Tsujii,Jun'ichi; (2006)
In Proceedings of the COLING/ACL 2006 Main Conference Poster Sessions, pp.707-714, Sydney.pdf
Typed Dynamic Logic for E-type link
Bekki,Daisuke; (2000)
In Proceedings of Third International Conference on Discourse Anaphora and Anaphor Resolution (DAARC2000), pp.39-48, Lancaster University, U.K.pdf

Edited Books

Logic and Engineering of Natural Language Semantics, 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers
Bekki,Daisuke; Mineshima,Koji; McCready,Elin; (Eds.) (2024)
LNCS 14569, Springer.doi
Logic and Engineering of Natural Language Semantics, 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers
Bekki,Daisuke; Mineshima,Koji; McCready,Elin; (Eds.) (2023)
LNCS 14213, Springer.doi bookstore
New Frontiers in Artificial Intelligence, JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papers
Arai,Sachiyo; Kojima,Kazuhiro; Mineshima,Koji; Bekki,Daisuke; Satoh,Ken; Ohta,Yuiko; (Eds.) (2018)
Lecture Notes in Artificial Intelligence 10838, Springerdoi bookstore
New Frontiers in Artificial Intelligence, JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 14-16, 2016, Revised Selected Papers
Kurahashi,Setsuya; Ohta,Yukiko; Arai,Sachiyo; Satoh,Ken; Bekki,Daisuke; (Eds.) (2017)
Lecture Notes in Artificial Intelligence 10247, Springerdoi bookstore
In New Frontiers in Artificial Intelligence (JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers)
Otake,Mihoko; Mineshima,Koji; Bekki,Daisuke; (Eds.) (2017)
Lecture Notes in Artificial Intelligence 10091, Springer
In New Frontiers in Artificial Intelligence (JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers)
Murata,Tsuyoshi; Mineshima,Koji; Bekki,Daisuke; (Eds.) (2015)
Lecture Notes in Artificial Intelligence 9067, Springerdoi bookstore
In New Frontiers in Artificial Intelligence (JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers).
Nakano,Yukiko; Satoh,Ken; Bekki,Daisuke; (Eds.) (2014)
Lecture Notes in Artificial Intelligence 8417, Springerdoi bookstore
In New Frontiers in Artificial Intelligence (JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers)
Motomura,Yoichi; Butler,Alastair; Bekki,Daisuke; (Eds.) (2013)
Lecture Notes in Artificial Intelligence 7856, Springerdoi bookstore
In New Frontiers in Artificial Intelligence (JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI: Takamatsu, Japan, December 2011, Revised Selected Papers)
Okumura,Manabu; Bekki,Daisuke; Satoh,Ken; (Eds.) (2012)
Lecture Notes in Artificial Intelligence 7258, Springer (290 pages).doi bookstore
In New Frontiers in Artificial Intelligence (JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Tokyo,Japan, November 18-19, 2010, Revised Selected Papers)
Onoda,Takashi; Bekki,Daisuke; McCready,Eric; (Eds.) (2011)
Lecture Notes in Artificial Intelligence 6797, Springer.doi bookstore

Reviewed Conference Talks

Implementation of Anaphora Resolution Using the Refine Tactic of Coq
Kosaihira,Hina; Takahashi,Yuta; Bekki,Daisuke; (2023)
2023 Workshop on Proof Theory and its Applicationspdf
Analyzing Japanese Relative Tense with Dependent Type Theory
Matsuoka,Daiki; Bekki,Daisuke; Hitomi,Yanaka; (2023)
Proceedings of Natural Logic Meets Machine Learning IV (NALOMA23), IWCS2023 workshop, extended abstract, Nancy, France, Association of Computational Linguistics.pdf
Towards Understanding Bilingual Textual Entailment and Similarity
Yanaka,Hitomi; Martinez-Gomez,Pascual; Mineshima,Koji; Bekki,Daisuke; (2018)
In Proceedings of the Workshop on NLP in the Era of Big Data, Deep Learning, and Post Truth, in the 30th European Summer School in Logic, Language and Information (ESSLLI2018), Sofia, Bulgaria.
Coercion as Proof Search in Dependent Type Semantics
Kinoshita,Eriko; Mineshima,Koji; Bekki,Daisuke; (2017)
In Proceedings of Workshop on Approaches to Coercion and Polysemy (CoPo 2017), University of Oslo, Norway.pdf
Japanese Honorification: Compositionality and Expressivity
Watanabe,Narumi; McCready,Eric; Bekki,Daisuke; (2014)
Formal Approaches to Japanese Linguistics (FAJL) 7, International Christian University, Japan, 2014/06/27-29.pdf
Conjoined nominal expressions in Japanese
Hayashishita,J.-R.; Bekki,Daisuke; (2011)
The 21st Japanese/Korean Linguistics Conference, The 21st Japanese/Korean Linguistics Conference, Poster session, Oct. 20-22, 2011, Seoul National University.
Delayed Quantification for Cumulative Readings
Bekki,Daisuke; (2000)
SINN UND BEDEUTUNG V, The University of Amsterdam, Netherlands

Invited Talks and Course Lectures

A Proof-theoretic Investigation of Natural Language Semantics
Bekki,Daisuke; (2025)
An invited talk at International Conference on Mathematical and Computational Linguistics for Proofs, a part of EuroProofNet Symposium, Institut Pascal, 15-18 September 2025.
Presupposition projection and filtering in DTS
Bekki,Daisuke; (2025)
科研ワークショップ「今後の形式意味論の展開」における招待講演, 札幌市立大学サテライト, 札幌
Automatic Evaluation of Linguistic Validity in Japanese CCG Treebanks
Tomita,Asa; Yanaka,Hitomi; Bekki,Daisuke; (2025)
A talk at the 5th Natural Logic Meets Machine Learning (NALOMA), Workshop in ESSLLI2025, 4-8 August, Bochum, Germany.
Sheaves for Dependent Types and Natural Language Sematantics
Lachlan,McPheat; Bekki,Daisuke; (2025)
An invited talk at Theory and applications of sheaf theory, ESSLLI2025 workshop, 7 Aug, 2025.
Composing Meaning via Dependent Types
Bekki,Daisuke; (2025)
A course lecture at 36th European Summer School in Logic, Language and Information (ESSLLI2025), Bochum, July 28--August 1, 2025.
From Dependent Types to Natural Language Semantics
Bekki,Daisuke; (2024)
A plenary talk at Logic Colloquium 2024, Gothenburg, Sweden, 24-28 June.
Dependent Types and Dynamics of Natural Language
Bekki,Daisuke; (2022)
An invited talk at the International Workshop on Type-Theoretical Semantics (IWoTTS), online, June 25.
A Proof-theoretic Analysis of Weak Crossover
Bekki,Daisuke; (2022)
A talk at the 2nd workshop on Language Faculty Science, online, February 12.
Why parsing is a part of Language Faculty Science
Bekki,Daisuke; (2020)
The 2020 Zoom Workshop on Language Faculty Science: Linguistic Intuitions and Replication, 2020/12/20
A hybrid approach toward Natural Language Understanding
Bekki,Daisuke; (2020)
An invited talk in Centre for Linguistic Theory and Studies in Probability (CLASP), 2020/12/09
Dependent Types and Theory of Meaning
Bekki,Daisuke; (2019)
Nanzan Workshop on the Foundational Issues in Linguistics and Philosophy of Language, Nanzan University, Nagoya, Japan, 2019/12/01.
Hybrid natural language understanding: neural network, logic and beyond
Bekki,Daisuke; Yanaka,Hitomi; (2019)
Plenary talk at Konferenz zur Verarbeitung naturlicher Sprache (KONVENS2019), October 8-11, Erlangen, Germany.
Introduction to Dependent Type Semantics
Bekki,Daisuke; (2018)
North American Summer School on Logic, Language, and Information (NASSLLI2018), New type-theoretic tools in natural language semantics (by Steve Awodey, Justyna Grudzinska, Marek Zawadowski, and Colin Zwanziger), June 23-29, 2018, Carnegie Mellon University, Pittsburgh, USA.
lightblue: A Japanese CCG Parser
Bekki,Daisuke; (2018)
The 25th International Conference on Head-Driven Phrase Structure Grammar (HSPG2018), the workshop on the clause structure of Japanese and Korean, July 2, 2018, University of Tokyo, Komaba Campus.pdf
An Introduction to Dependent Type Semantics
Bekki,Daisuke; Mineshima,Koji; (2016)
A course lecture at 28th European Summer School in Logic, Language and Information (ESSLLI2016), Bolzano-Bozen, Italy, 2016/08/15-19.
Anaphora and Presuppositions in Dependent Type Semantics
Bekki,Daisuke; (2015)
Invited talk at Colloquium in Philosophy, Logic and Philosophy of Science, Munich Center for Mathematical Philosophy (MCMP), Ludwig-Maximilians-University, Munich, Germany, 2015/12/2.
Anaphora and Presuppositions in Dependent Type Semantics
Bekki,Daisuke; (2015)
Invited talk at Dynamic Semantics: Modern Type Theoretic and Category Theoretic Approaches, Ohio State University, United States, 2015/10/24-25.
Contexts in Dependent Type Semantics
Bekki,Daisuke; (2015)
Invited talk at the Second International Workshop on Linguistics of BA, Future University Hakodate, 2015/7/4.pdf

Other Papers, Essays and Talks

Dependent type semantics and its Davidsonian extension
Daisuke,Bekki; (2022)
A talk in Laboratoire de linguistique formelle, 2022/12/15.
An introduction to Combinatory Categorial Grammar
Daisuke,Bekki; (2022)
A talk in IUT de bordeaux, 2022/12/13.
Introduction to Dependent Type Semantics
Bekki,Daisuke; (2019)
University of Edinburgh, August 13.
Introduction to Dependent Type Semantics
Bekki,Daisuke; (2017)
A talk at Bordeaux University, Bordeaux, France, 2017/9/23.
FraCaS, JSeM and the 'Inferences as Tests' paradigm
Bekki,Daisuke; (2016)
A talk at Unshared Task at LENLS 13: Theory and System analysis with FraCaS, MultiFraCaS and JSeM Test Suites, National Institute for Japanese Language and Linguistics, Tachikawa, Tokyo, 2016/11/13.
Composing (Im)politeness in Dependent Type Semantics
Bekki,Daisuke; (2015)
A talk at Workshop on Politeness, LENLS12, Ochanomizu University, Japan, 2015/11/15.pdf
Introduction to Dependent Type Semantics
Bekki,Daisuke; (2015)
A talk at New York University, United States, 2015/10/27.
Testability in Dependent Type Semantics
Bekki,Daisuke; (2015)
Talk at the workshop in Japanese/Korean Syntax and Semantics: What constitutes data in linguistics (17th Korea-Japan workshop on linguistics and language processing), 9-10 May 2015, Kyoto University.
Dependent Type Semantics: An Introduction
Bekki,Daisuke; (2014)
Logic and Interactive RAtionality (LIRa) Yearbook 2012, Zo\'{e} Christoff, Paolo Galeazzi, Nina Gierasimczuk, Alexandru Marcoci, Sonja Smet (Eds), Volume I, pp. 277-300, University of Amsterdampdf
Dependent type semantics: the framework
Bekki,Daisuke; (2012)
Talks at University of Amsterdam (October 17th, 2013), Tilburg University (October 25th, 2013), Utrecht University (October 26th, 2013)
Extractability as Deduction Theorem in Subdirectional Combinatory Logic
Ozaki,Hiroko; Bekki,Daisuke; (2012)
The 14th Programming and Programming Language Workshop (PPL2012), Nanki-Shirahama Musashi, Wakayama, Japan, 2012/3/8-10.
"Focus Movement" by Delimited Continuations
Bekki,Daisuke; Asai,Kenichi; (2011)
Talk at ACM SIGPLAN Continuation Workshop 2011, co-located with ICFP 2011, Tokyo, Japan Saturday, September 24, 2011.
Introduction to LENLS 6
Bekki,Daisuke; (2010)
In New Frontiers in Artificial Intelligence (JSAI-isAI 2009 Workshops, Tokyo, Japan, November 2009, Selected Papers), Kumiyo NAKAKOJI, Yohei MURAKAMI, Eric MCCREADY (Eds.), JSAI-isAI, LNAI 6284, pp.159-160, Springer, Heidelberg. doi bookstore
Homage to the Computational Lambek Alpha-Lambda Calculus － in Memory of Norihiro Ogata －
Bekki,Daisuke; (2008)
Talk at Dynamic Semantics Meeting, Tohoku University, Japan, 2008/11/8.
Dynamic Interpretation of Possible Worlds
Bekki,Daisuke; (2005)
In Proceedings of the 5th International Forum on Language, Brain and Cognition, pp.58-65, Sendai.
Typed Dynamic Logic for Compositional Grammar
Bekki,Daisuke; (2000)
Doctoral dissertation, Tokyo University