論文 - 戸次　大介

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, LNAI 13856巻-号(頁228 - 241), 2023年07月, Daisuke Bekki, 原著, 論文集(書籍)内論文, 単著

2. Integrating Deep Neural Network with Dependent Type Semantics

   Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021), Springer, 1081巻-号(頁261 - 284), 2023年03月, Bekki,Daisuke; Tanaka,Ribeka; Takahashi,Yuta;, 原著, 論文集(書籍)内論文, 第一著者相当

3. 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;, 原著, 研究論文（国際会議プロシーディングス）, 共著者

4. 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, , -巻-号(頁196 - 207), 2024年03月, Tomita,Asa; Yanaka,Hitomi; Bekki,Daisuke;, 原著, 研究論文（国際会議プロシーディングス）, 共著者

5. 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), , -巻-号(頁82 - 87), 2023年11月, Matsuoka,Daiki; Yanaka,Hitomi; Bekki,Daisuke;, 原著, 研究論文（国際会議プロシーディングス）, 共著者

6. 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), , -巻-号(頁93 - 98), 2023年11月, Fukushima,Haruka; Plesniak,Daniel; Bekki,Daisuke;, 原著, 研究論文（国際会議プロシーディングス）, 共著者

7. 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), , 225巻-号(頁1161 - 1170), 2023年10月, Onishi,Maiko; Ogata,Shinpei; Okano,Kozo; Bekki,Daisuke;, 原著, 研究論文（国際会議プロシーディングス）, 共著者

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

   Proceedings of Procedural and computational models of semantic and pragmatic processes2023年08月, Iinuma,Mizuki; Takahashi,Yuta; Tagami,Sora; Bekki,Daisuke, 原著, 研究論文（国際会議プロシーディングス）, 共著者

9. 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, -巻-号(頁108 - 117), 2023年07月, Murakami,Natsuki; Ishida,Mana; Takahashi,Yuta; Yanaka,Hitomi; Bekki,Daisuke;, 原著, 研究論文（国際会議プロシーディングス）, 共著者

10. Multi-purpose neural network for French categorial grammars

    Proceedings of IWCS2023, , -巻-号(頁78 - 82), 2023年06月, Margueritte,G"aetan; Bekki,Daisuke; Mineshima,Koji; , 原著, 研究論文（国際会議プロシーディングス）, 共著者

11. Recurrent Neural Network CCG Parser

    Proceedings of Natural Logic Meets Machine Learning IV (NALOMA23), Association of Computational Linguistics, -巻-号(頁35 - 40), 2023年06月, Tagami,Sora; Bekki,Daisuke;, 原著, 研究論文（国際会議プロシーディングス）, 共著者

12. 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, -巻-号(頁32 - 36), 2023年03月, Bekki,Daisuke; Yanaka,Hitomi;, 原著, 研究論文（国際会議プロシーディングス）, 第一著者相当

13. Implementing Natural Language Inference for Comparatives

    Journal of Language Modelling, , 10巻1号(頁139 - 191), 2022年11月, Haruta,Izumi; Mineshima,Koji; Bekki,Daisuke;, 原著, 研究論文（学術雑誌）, 共著者

14. 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),, , -巻-号(頁532 - 541), 2022年09月, Okano,Kozo; Onishi,Maiko; Otsuka,Jo; Ogata,Shinpei; Sekizawa,Toshifusa; Okamoto,Keishi; Bekki,Daisuke;, 原著, 研究論文（国際会議プロシーディングス）, 共著者

15. Learning Knowledge with Neural DTS

    Proceedings of the 3rd Natural Logic Meets Machine Learning (NALOMA III), Association of Computational Linguistics, -巻-号(頁17 - 25), 2022年06月, Bekki,Daisuke; Tanaka,Ribeka; Takahashi,Yuta;, 原著, 研究論文（国際会議プロシーディングス）, 第一著者相当

16. 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), , -巻-号(頁127 - 132), 2022年06月, Koyano,Kana; Yanaka,Hitomi; Mineshima,Koji; Bekki,Daisuke;, 原著, 研究論文（国際会議プロシーディングス）, 共著者

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

    言語処理学会第28回年次大会, アクトシティ浜松 コングレスセンター／オンライン, F6-3, 2022/3/14-18 , F6-3号, 2022年03月, 小谷野華那, 谷中瞳, 峯島宏次, 福田浩司, 橋爪宏典, 戸次大介, 原著, 研究論文（研究会，シンポジウム資料等）, 共著者

18. Integrating Deep Neural Network with Dependent Type Semantics

    In Proceedings of the Symposium Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021), (頁37), 2021年12月, Bekki,Daisuke; Tanaka,Ribeka; Takahashi,Yuta;, 原著, 研究論文（国際会議プロシーディングス）, 第一著者相当

19. The proviso problem from a proof-theoretic perspective

    Proceedings of Logical Aspects of Computational Linguistics (LACL) 2021, (頁159 - 171), 2021年12月, Yana,Yukiko; Mineshima,Koji; Bekki,Daisuke;, 原著, 研究論文（国際会議プロシーディングス）, 共著者

20. Compositional Semantics for Multiword Expression in Medical Case Retrieval

    In Proceedings of the 18th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS18), (頁231 - 239), 2021年11月, ishida,Mana; Yanaka,Hitomi; Bekki,Daisuke; , 原著, 研究論文（国際会議プロシーディングス）, 共著者