Papers - BEKKI Daisuke

1. A Proof-theoretic Analysis of Weak Crossover

   New Frontiers in Artificial Intelligence (JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13-15, 202, Springer, , vol.LNAI 13856(-)(p.228 - 241), 2023.07, Daisuke Bekki, Original, Part of collection (book), Single Author

2. Integrating Deep Neural Network with Dependent Type Semantics

   Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021), Springer, , vol.1081(-)(p.261 - 284), 2023.03, Bekki,Daisuke; Tanaka,Ribeka; Takahashi,Yuta;, Original, Part of collection (book), Capital Author

3. Matrix and relative weak crossover effects in Japanese: An experimental investigation

   the 2024 SMOG International Conference on Syntax and Semantics, , 2024.08, Fukushima,Haruka; Plesniak,Daniel; Bekki,Daisuke; , Original, Research paper (international conference proceedings), Coauthor

4. A Proof-Theoretic Approach to the Binding Problem

   Proceedings of the 6th Asian Workshop on Philosophical Logic (AWPL 2024), , 2024.03, Yana,Yukiko; Mineshima,Koji; Bekki,Daisuke;, Original, Research paper (international conference proceedings), Coauthor

5. Reforging : A Method for Constructing Linguistically Valid Japanese CCG Treebank

   Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics (EACL2024): Student Research Workshop, , vol.-(-)(p.196 - 207), 2024.03, Tomita,Asa; Yanaka,Hitomi; Bekki,Daisuke;, Original, Research paper (international conference proceedings), Coauthor

6. Reforging : A Method for Constructing Linguistically Valid Japanese CCG Treebank

   the 18th Conference of the European Chapter of the Association for Computational Linguistics (EACL2024), (p.17 - 22), 2024.03, Tomita,Asa; Yanaka,Hitomi; Bekki,Daisuke;, Original, Research paper (international conference proceedings), Coauthor

7. Matrix and Relative Weak Crossover on the Level of the Individual: A Proposed Experimental Investigation

   Proceedings of the 20th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS20), , vol.-(-)(p.93 - 98), 2023.11, Fukushima,Haruka; Plesniak,Daniel; Bekki,Daisuke;, Original, Research paper (international conference proceedings), Coauthor

8. Appositive Projection as Implicit Context Extension in Dependent Type Semantics

   Proceedings of the 20th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS20), , vol.-(-)(p.82 - 87), 2023.11, Matsuoka,Daiki; Yanaka,Hitomi; Bekki,Daisuke;, Original, Research paper (international conference proceedings), Coauthor

9. Matrix and Relative Weak Crossover on the Level of the Individual: A Proposed Experimental Investigation

   Proceedings of the 20th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS20), (p.93 - 98), 2023.11, Fukushima,Haruka; Plesniak,Daniel; Bekki,Daisuke;, Original, Research paper (international conference proceedings), Coauthor

10. Temporal relation identification applied to requirements specifications towards more efficient software development

    Proceedings of 27th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems (KES2023), , vol.225(-)(p.1161 - 1170), 2023.10, Onishi,Maiko; Ogata,Shinpei; Okano,Kozo; Bekki,Daisuke;, Original, Research paper (international conference proceedings), Coauthor

11. Neural DTS: A hybrid NLI system combining two procedural approaches

    Proceedings of Procedural and computational models of semantic and pragmatic processes, 2023.08, Iinuma,Mizuki; Takahashi,Yuta; Tagami,Sora; Bekki,Daisuke, Original, Research paper (international conference proceedings), Coauthor

12. Knowledge Injection for Disease Names in Logical Inference between Japanese Clinical Texts

    Proceedings of the 5th Clinical Natural Language Processing Workshop, Association for Computational Linguistics, , vol.-(-)(p.108 - 117), 2023.07, Murakami,Natsuki; Ishida,Mana; Takahashi,Yuta; Yanaka,Hitomi; Bekki,Daisuke;, Original, Research paper (international conference proceedings), Coauthor

13. Recurrent Neural Network CCG Parser

    Proceedings of Natural Logic Meets Machine Learning IV (NALOMA23), Association of Computational Linguistics, , vol.-(-)(p.35 - 40), 2023.06, Tagami,Sora; Bekki,Daisuke;, Original, Research paper (international conference proceedings), Coauthor

14. Multi-purpose neural network for French categorial grammars

    Proceedings of IWCS2023, , vol.-(-)(p.78 - 82), 2023.06, Margueritte,G"aetan; Bekki,Daisuke; Mineshima,Koji; , Original, Research paper (international conference proceedings), Coauthor

15. Is Japanese CCGBank empirically correct? A case study of passive and causative constructions

    Proceedings of the 21st International Workshop on Treebanks and Linguistic Theories (TLT, GURT/SyntaxFest 2023), Association for Computational Linguistics, , vol.-(-)(p.32 - 36), 2023.03, Bekki,Daisuke; Yanaka,Hitomi;, Original, Research paper (international conference proceedings), Capital Author

16. Implementing Natural Language Inference for Comparatives

    Journal of Language Modelling, , vol.10(1)(p.139 - 191), 2022.11, Haruta,Izumi; Mineshima,Koji; Bekki,Daisuke;, Original, Research paper (scientific journal), Coauthor

17. A Bounded Model Checker for Timed Automata and Its Application to LTL Properties

    Proceedings of 26th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems (KES 2022),, , vol.-(-)(p.532 - 541), 2022.09, Okano,Kozo; Onishi,Maiko; Otsuka,Jo; Ogata,Shinpei; Sekizawa,Toshifusa; Okamoto,Keishi; Bekki,Daisuke;, Original, Research paper (international conference proceedings), Coauthor

18. Learning Knowledge with Neural DTS

    Proceedings of the 3rd Natural Logic Meets Machine Learning (NALOMA III), Association of Computational Linguistics, , vol.-(-)(p.17 - 25), 2022.06, Bekki,Daisuke; Tanaka,Ribeka; Takahashi,Yuta;, Original, Research paper (international conference proceedings), Capital Author

19. Annotating Japanese Numeral Expressions for a Logical and Pragmatic Inference Dataset

    Proceedings of the Eighteenth Joint ACL-ISO Workshop on Interoperable Semantic Annotation (ISA-18), , vol.-(-)(p.127 - 132), 2022.06, Koyano,Kana; Yanaka,Hitomi; Mineshima,Koji; Bekki,Daisuke;, Original, Research paper (international conference proceedings), Coauthor

20. 供述調書に現れる数量表現の類論テストセットの構築

    言語処理学会第28回年次大会, アクトシティ浜松 コングレスセンター／オンライン, F6-3, 2022/3/14-18 , (F6-3), 2022.03, 小谷野華那, 谷中瞳, 峯島宏次, 福田浩司, 橋爪宏典, 戸次大介, Original, Research paper (conference, symposium, etc.), Coauthor