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

21. Integrating Deep Neural Network with Dependent Type Semantics

    In Proceedings of the Symposium Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021), (p.37), 2021.12, Bekki,Daisuke; Tanaka,Ribeka; Takahashi,Yuta;, Original, Research paper (international conference proceedings), Capital Author

22. The proviso problem from a proof-theoretic perspective

    Proceedings of Logical Aspects of Computational Linguistics (LACL) 2021, (p.159 - 171), 2021.12, Yana,Yukiko; Mineshima,Koji; Bekki,Daisuke;, Original, Research paper (international conference proceedings), Coauthor

23. 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), (p.231 - 239), 2021.11, ishida,Mana; Yanaka,Hitomi; Bekki,Daisuke; , Original, Research paper (international conference proceedings), Coauthor

24. A Proof-theoretic Analysis of Weak Crossover

    In Proceedings of the 18th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS18), pp.75-88., (p.75 - 88), 2021.11, Bekki,Daisuke; , Original, Research paper (international conference proceedings), Single Author

25. Building a Video-and-Language Dataset with Human Actions for Multimodal Logical Inference

    In Proceedings of Beyond Language: Multimodal Semantic Representations (MMSR I, IWCS2021 workshop), to appear, Groningen, Netherlands., (p.102 - 107), 2021.08, Suzuki,Riko; Yanaka,Hitomi; Mineshima,Koji; Bekki,Daisuke, Original, Research paper (international conference proceedings), Coauthor

26. 仕様書の条件文における状態遷移関係の抽出方法

    研究報告ソフトウェア工学（SE） 2021-SE-208(8) 1-6 2021年7月, , vol.2021-SE-208(8)(p.1 - 6), 2021.07, 大西舞子, 井浩也, 小形真平, 岡野浩三, 戸次大介, Original, Research paper (scientific journal), Coauthor

27. マルチモーダル推論のための動画アクションデータセットの構築

    第34回人工知能学会全国大会論文集, , vol.4I1-GS-7b-01, 2021.06, 横関茉衣, 村上夏輝, 鈴木莉子, 谷中瞳, 峯島宏次, 戸次大介, Original, Research paper (conference, symposium, etc.), Coauthor

28. 日本語形態素解析器の知識蒸留

    第34回人工知能学会全国大会論文集, , vol.4J1-GS-6d-02, 2021.06, 田上青空, 戸次大介, Original, Research paper (conference, symposium, etc.), Coauthor

29. Yesodによる日本語CCGパーザ開発環境の構築

    第34回人工知能学会全国大会論文集, , vol.4J1-GS-6d-01, 2021.06, 石嶋美咲, 戸次大介, Original, Research paper (conference, symposium, etc.), Coauthor

30. 論理推論による症例検索に向けた日本語症例テキストの複合語解析の試案

    第34回人工知能学会全国大会論文集, , vol.4J3-GS-6f-05, 2021.06, 石田真捺, 谷中瞳, 馬目華奈, 戸次大介, Original, Research paper (conference, symposium, etc.), Coauthor

31. 実テキストにおける数量表現の含意関係認識に向けて

    第34回人工知能学会全国大会論文集, , vol.4J2-GS-6e-02, 2021.06, 小谷野華那, 鈴木莉子, 春田和泉, 谷中瞳, 戸次大介, Original, Research paper (conference, symposium, etc.), Coauthor

32. DTSの部分体系のための定理自動証明器の実装に向けて

    言語処理学会第27回年次大会, 北九州国際会議場／オンライン, , vol.ー(ー)(p.ー), 2021.03, 大洞日音, 戸次大介, Original, Research paper (scientific journal), Coauthor

33. 言語で説明できるAIシステムへの道のり

    自然言語処理  2021年, , vol.28(3)(p.874 - 880), 2021, 乾健太郎, 戸次大介, 黒橋禎夫, 久木田水生, Original, Research paper (scientific journal), Coauthor

34. Combining Event Semantics and Degree Semantics for Natural Language Inference

    In Proceedings of the COLING2020 (short paper), pp.1758-1764, Barcelona, Spain (Online)., , vol.ー(ー)(p.ー), 2020.12, Haruta,Izumi; Mineshima,Koji; Bekki,Daisuke, Original, Research paper (scientific journal), Coauthor

35. Development of an automated theorem prover for the fragment of DTS

    In Proceedings of the 17th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS17)., , vol.ー(ー)(p.ー), 2020.11, Daido,Hinari; Bekki,Daisuke, Original, Research paper (scientific journal), Coauthor

36. CCGと自動定理証明による比較表現の計算意味論

    人工知能学会第34回年次大会, オンライン開催, , vol.ー(ー)(p.ー), 2020.06, 春田和泉, 峯島宏次, 戸次大介, Original, Research paper (scientific journal), Coauthor

37. CCGと定理証明器による自然言語の時間関係認識

    人工知能学会第34回年次大会, オンライン開催, , vol.ー(ー)(p.ー), 2020.06, 大西舞子, 谷中瞳, 峯島宏次, 戸次大介,, Original, Research paper (scientific journal), Coauthor

38. CCGに基づく時間解析の実装に向けて

    言語処理学会第25回年次大会発表論文集, , vol.D6-1(-)(p.-), 2019.03, 大西舞子, 峯島宏次, 戸次大介, Original, Research paper (scientific journal), Coauthor

39. 比較表現の意味解析と含意関係認識

    言語処理学会第25回年次大会発表論文集, , vol.D6-3(-)(p.-), 2019.03, 春田和泉, 峯島宏次, 戸次大介, Original, Research paper (scientific journal), Coauthor

40. CCGと定理証明器を用いた画像情報の意味表現と推論の試み

    言語処理学会第25回年次大会発表論文集, , vol.D6-2(-)(p.-), 2019.03, 鈴木莉子, 谷中瞳, 峯島宏次, 戸次大介, Original, Research paper (scientific journal), Coauthor

41. ニューラル自然言語推論に向けたMonotonicityに基づく含意関係認識データセット自動構築

    言語処理学会第25回年次大会発表論文集, , vol.D6-5(-)(p.-), 2019.03, 谷中瞳, 峯島宏次, 戸次大介, 関根聡, 乾健太郎, Abzianidze,Lasha, Bos,Johan,, Original, Research paper (scientific journal), Coauthor

42. 係り受け木を用いたツリーバンク自動生成によるCCG解析分野適応

    言語処理学会第25回年次大会発表論文集, , vol.F2-2(-)(p.-), 2019.03, 吉川将司, 能地宏, 峯島宏次, 戸次大介, Original, Research paper (scientific journal), Coauthor

43. 意味解析システムccg2lambdaによる金融ドキュメント処理

    人工知能学会第32回全国大会, , vol.3G1-05, 2018.06, 外園康智, 長谷川貴博, 渡邉知樹, 馬目華奈, 簗有紀子, 谷中瞳, 田中リベカ, Martinez-Gomez,Pascual, 峯島宏次, 戸次大介, Original, Research paper (scientific journal), Coauthor

44. 形式意味論に基づく含意関係テストセット構築の方法論

    第29回人工知能学会全国大会論文集(CD-ROM), , 2015.05, 川添愛. 田中リベカ. 峯島宏次. 戸次大介, Original, Research paper (scientific journal), Coauthor

45. 依存型意味論による照応・前提計算の実装に向けて

    2015.05, 佐藤未歩. 戸次大介, Original, Research paper (scientific journal), Coauthor

46. 依存型意味論による日本語のテンス・アスペクトの分析に向けて

    第29回人工知能学会全国大会論文集(CD-ROM), , 2015.05, 宇津木舞香. 戸次大介, Original, Research paper (scientific journal), Coauthor

47. 依存型意味論における叙実動詞の意味記述の試み

    第29回人工知能学会全国大会論文集(CD-ROM), , 2015.05, 田中リベカ. 峯島宏次. 戸次大介, Original, Research paper (scientific journal), Coauthor

48. shift/reset を用いた stepper の実装に向けて

    第17回プログラミングおよびプログラミング言語ワークショップ(PPL2015)論文集, , 2015.03, 叢悠悠. 浅井健一. 戸次大介, Original, Research paper (scientific journal), Coauthor

49. MCNコーパスにおける条件表現「たら」「れば」「ならば」のアノテーション

    2015.03, 飯島采永. 佐藤果穂. 田中リベカ. 戸次大介, Original, Research paper (scientific journal), Coauthor

50. オントロジーを用いた自然言語の推論に向けて

    言語処理学会第21回年次大会発表論文集(CD-ROM), , 2015.03, 中村絢子. 峯島宏次. 戸次大介, Original, Research paper (scientific journal), Coauthor

51. CCGとDTSによる日本語の敬語表現の分析

    言語処理学会第21回年次大会発表論文集(CD-ROM)201503, , 2015.03, 渡辺成美. 戸次大介, Original, Research paper (scientific journal), Coauthor

52. 依存型意味論における型推論の定式化と実装

    言語処理学会第21回年次大会発表論文集(CD-ROM), , 2015.03, 佐藤未歩. 戸次大介., Original, Research paper (scientific journal), Coauthor

53. 範疇文法による日本語の敬語表現の分析

    第28回人工知能学会全国大会論文集(CD-ROM), , 2014.05, 渡辺成美. 戸次大介, Original, Research paper (scientific journal), Coauthor

54. 依存型意味論におけるmodal subordinationの記述の試み

    第28回人工知能学会全国大会論文集(CD-ROM), , 2014.05, 田中リベカ. 戸次大介, Original, Research paper (scientific journal), Coauthor

55. 限定継続によるフォーカスと逆スコープの分析

    第28回人工知能学会全国大会論文集(CD-ROM), , 2014.05, 叢悠悠. 浅井健一. 戸次大介, Original, Research paper (scientific journal), Coauthor

56. 依存型意味論を用いた日本語含意関係コーパスの分析に向けて

    言語処理学会第20回年次大会発表論文集（CD-ROM), , vol.ー(ー)(p.ー), 2014.03, 中村絢子、金子貴美、戸次大介, Original, Research paper (scientific journal), Coauthor

57. 限定継続を用いたinverse scopeの分析と実装

    言語処理学会第20回年次大会発表論文集（CD-ROM), , vol.ー(ー)(p.ー), 2014.03, 叢悠悠、浅井健一、戸次大介, Original, Research paper (scientific journal), Coauthor

58. SDRTに基づく因果関係認識日本語評価データ構築手法の提案

    言語処理学会第20回年次大会発表論文集（CD-ROM), , vol.ー(ー)(p.ー), 2014.03, 金子貴美、　戸次大介, Original, Research paper (scientific journal), Coauthor

59. MCNコーパス：「ノダ」にみるガイドライン作成の手法

    言語処理学会第20回年次大会発表論文集（CD-ROM), , vol.ー(ー)(p.ー), 2014.03, 田中リベカ、川添愛、戸次大介, Original, Research paper (scientific journal), Coauthor

60. MCNコーパスにおける形式名詞「はず」「わけ」「つもり」のアノテーション

    言語処理学会第20回年次大会発表論文集（CD-ROM), , vol.ー(ー)(p.ー), 2014.03, 宇津木舞香、佐藤未歩、青木花純、田中リベカ、川添愛、戸次大介, Original, Research paper (scientific journal), Coauthor

61. 組み合わせ範疇論文（CCG)による日本語の敬語表現の分析に向けて

    言語処理学会第20回年次大会発表論文集（CD-ROM), , vol.ー(ー)(p.ー), 2014.03, 渡辺成美、戸次大介, Original, Research paper (scientific journal), Coauthor

62. Neighborhood-Sheaf Semanticsを用いた一階述語条件論理の意味論

    第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014)論文集, , 2014.03, 山本華子. 戸次大介, Original, Research paper (scientific journal), Coauthor

63. 限定継続を用いたフォーカスの分析と実装

    第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014)論文集, , 2014.03, 叢悠悠. 戸次大介, Original, Research paper (scientific journal), Coauthor

64. SDRTに基づく談話関係アノテーションの試み

    第214回自然言語処理研究会, , vol.ー(ー)(p.ー), 2013.11, 金子貴美、　戸次大介, Original, Research paper (scientific journal), Coauthor

65. 限定継続を用いたフォーカスの分析と実装に向けて

    第214回自然言語処理研究会, , vol.ー(ー)(p.ー), 2013.11, 叢悠悠、浅井健一、戸次大介, Original, Research paper (scientific journal), Coauthor

66. 組み合わせ範疇論文（CCG)による日本語の敬語表現の分析に向けて

    第214回自然言語処理研究会, , vol.ー(ー)(p.ー), 2013.11, 渡辺成美、戸次大介, Original, Research paper (scientific journal), Coauthor

67. Building Japanese Textual Entailment Specialized Data Sets for Inference of Basic Sentence Relations

    the Proceedings of ACL2013, , vol.ー(ー)(p.273 - 277), 2013.08, Kaneko, Kimi. Miyao, Yusuke. Bekki, Daisuke., Original, Research paper (scientific journal), Coauthor

68. Subtyping in Logical Polysemy and Copredication

    Selected Papers from LENLS9, LNAI 7856, , vol.ー(ー)(p.ー), 2013.07, Bekki, Daisuke. Asher, Nicholas., Original, Research paper (scientific journal), Capital Author

69. 条件分解析のための一階述語論理と近傍層意味論

    第27回人工知能学会全国大会論文集（CD-ROM), , vol.ー(ー)(p.ー), 2013.06, 山本華子、戸次大介, Original, Research paper (scientific journal), Coauthor

70. 部分型理論による概念表記の展望

    第27回人工知能学会全国大会論文集（CD-ROM), , vol.ー(ー)(p.ー), 2013.06, 中野悠紀、戸次大介, Original, Research paper (scientific journal), Coauthor

71. CCGパーザを用いた未知語の統語範疇自動推定

    第27回人工知能学会全国大会論文集（CD-ROM), , vol.ー(ー)(p.ー), 2013.06, 田中リベカ、宮尾祐介、戸次大介, Original, Research paper (scientific journal), Coauthor

72. 基本文関係に分解した日本語含意関係認識アノテーション

    第27回人工知能学会全国大会論文集（CD-ROM), , vol.ー(ー)(p.ー), 2013.06, 金子貴美、　戸次大介、宮尾祐介, Original, Research paper (scientific journal), Coauthor

73. Conjoined nominal expressions in Japanese － Interpretation through monad － (revised version)

    New Frontiers in Artificial Intelligence, , vol.ー(ー)(p.ー), 2012.07, J.-R. Hayashishita Bekki, Daisuke, Original, Research paper (scientific journal), Coauthor

74. Conjoined nominal expressions in Japanese - Interpretation through monad -

    New Frontiers in Artificial Intelligence (LNAI 7258), , vol.ー(ー)(p.ー), 2012.07, J.-R. Hayashishita Bekki, Daisuke, Original, Research paper (scientific journal), Coauthor

75. Extractability as Deduction Theorem in Subdirectional Combiantory Logic

    Logical Aspects of Computational Linguistics (LNAI 7351), , vol.ー(ー)(p.ー), 2012.07, Ozaki, Hiroko Bekki, Daisuke, Original, Research paper (scientific journal), Coauthor

76. Toward the formulation of presupposition by Illative Combinatory Logic

    Logical Aspects of Computational Linguistics (LNAI 7351), , vol.ー(ー)(p.ー), 2012.07, Ishishita, Yuri Bekki, Daisuke, Original, Research paper (scientific journal), Coauthor

77. Toward a formulation of presupposition by Illative Combinatory Logic

    Proceedings of PPL2012, , vol.ー(ー)(p.ー), 2012.03, Ishishita, Yuri Bekki, Daisuke, Original, Research paper (scientific journal), Coauthor

78. 一階述語条件論理VCb(CI)とそのタブローシステム

    Proceedings of PPL2012, , vol.ー(ー)(p.ー), 2012.03, Ozaki, Yuri Bekki, Daisuke, Original, Research paper (scientific journal), Coauthor

79. Conjoined nominal expressions in Japanese: Interpretation through monad

    Proceedings of LENLS8, , vol.ー(ー)(p.ー), 2011.12, Hayahishita, J.-R. Bekki, Daisuke, Original, Research paper (scientific journal), Coauthor

80. Classification of Modal Expressions in Korean for the credibility annotation for linguistic information

    vol.ー(ー)(p.ー), 2011.12, 齊藤学. 崔栄殊. 戸次大介. 片岡喜代子. 川添愛, Original, Research paper (bulletin of university, research institution), Coauthor

81. Extractability as Deduction Theorem in Subdirectional Combinatory Logic

    Proceedings of LENLS8, , vol.ー(ー)(p.ー), 2011.12, Ozaki, Hiroko Bekki, Daisuke, Original, Research paper (scientific journal), Coauthor

82. Combinatory Categorial Grammar as a Substructural Logic － Preliminary Remarks － (revised version)

    New Frontiers in Artificial Intelligence, , vol.ー(ー)(p.ー), 2011.07, Bekki, Daisuke, Original, Research paper (scientific journal), Single Author

83. Combinatory Categorial Grammar as a Substructural Logic - Preliminary Remarks -

    New Frontiers in Artificial Intelligence (LNAI 6797), , vol.ー(ー)(p.ー), 2011.07, Bekki, Daisuke, Original, Research paper (scientific journal), Single Author

84. Conditional Logic Cb and its Tableau System

    Logical Aspects of Computational Linguistics (LNAI 6736), , vol.ー(ー)(p.ー), 2011.07, Ozaki, Yuri Bekki, Daisuke, Original, Research paper (scientific journal), Coauthor

85. Conditional Logic Cb and its Tableau System

    Proceedings of LACL2011, , vol.ー(ー)(p.ー), 2011.06, Yuri, Ozaki Bekki, Daisuke, Original, Research paper (scientific journal), Coauthor

86. Conditional Logic Cb and its Tableau System

    vol.ー(ー)(p.ー), 2011.03, Ozaki, Yuri and Daisuke Bekki, Original, Research paper (scientific journal), Coauthor

87. Categorical Semantics of Meta-Lambda Calculus

    vol.ー(ー)(p.ー), 2011.03, Masuko, Moe and Daisuke Bekki, Original, Research paper (scientific journal), Coauthor

88. Classification of Modal Expressions for the Credibility annotation of Linguistic Information

    vol.ー(ー)(p.ー), 2010.12, Original, Research paper (scientific journal), Coauthor

89. Combinatory Categorial Grammar as a Substructural Logic － Preliminary Remarks －

    Proceedings of LENLS7, , vol.ー(ー)(p.ー), 2010.11, Bekki, Daisuke, Original, Research paper (scientific journal), Single Author

90. Representing Covert Movements by Delimited Continuations

    New Frontiers in Artificial Intelligence, , vol.ー(ー)(p.ー), 2010.07, Bekki, Daisuke Kenichi Asai, Original, Research paper (scientific journal), Capital Author

91. Representing Covert Movements by Delimited Continuations

    New Frontiers in Artificial Intelligence (LNAI6284), , vol.ー(ー)(p.ー), 2010.07, Bekki, Daisuke, Original, Research paper (scientific journal), Capital Author

92. "Komimi-ni Hasamu" --- Suffix Raising Analysis vs. Type Raising Analysis

    vol.ー(ー)(p.ー), 2010.06, Bekki, Daisuke, Original, Research paper (scientific journal), Single Author

93. Representing Covert Movements by Delimited Continuations

    Proceedings of LENLS6, , vol.ー(ー)(p.ー), 2009.11, Bekki, Daisuke Kenichi Asai, Original, Research paper (scientific journal), Capital Author

94. The development of a schema for the annotation of terms in the BioCaster disease detection/tracking system

    Applied Ontology, , vol.ー(ー)(p.ー), 2009.10, Ai Kawazoe. Lihua Jin. Mika Shigematsu. Daisuke Bekki. Roberto Barrero. Kiyosu Taniguchi. Nigel Collier, Original, Research paper (scientific journal), Coauthor

95. Monads and Meta-Lambda Calculus (revised version)

    New Frontiers in Artificial Intelligence, , vol.ー(ー)(p.ー), 2009.07, Bekki, Daisuke, Original, Research paper (scientific journal), Single Author

96. Monads and Meta-Lambda Calculus

    New Frontiers in Artificial Intelligence (LNAI 5447), , vol.ー(ー)(p.ー), 2009.07, Bekki, Daisuke, Original, Research paper (scientific journal), Single Author

97. The development of a schema for the annotation of terms in the BioCaster disease detection/tracking system

    Applied Ontology, , vol.ー(ー)(p.ー), 2009.04, Ai Kawazoe. Lihua Jin. Mika Shigematsu. Daisuke Bekki. Roberto Barrero. Kiyosu Taniguchi. Nigel Collier, Original, Research paper (scientific journal), Coauthor

98. Monads and Meta-Lambda Calculus

    Proceedings of LENLS2008, , vol.ー(ー)(p.ー), 2008.11, Bekki, Daisuke, Original, Research paper (scientific journal), Single Author

99. A note on "same"

    T-SAC Journal, , vol.ー(ー)(p.ー), 2006.12, Kawazoe, Ai Bekki, Daisuke, Original, Research paper (scientific journal), Coauthor

100. Translating HPSG-style outputs of a robust parser into Typed Dynamic Logic

     Proceedings of the COLING/ACL 2006, , vol.ー(ー)(p.ー), 2006.06, Manabu, Sato. Daisuke, Bekki. Yusuke, Miyao. Jun'ichi, Tsujii, Original, Research paper (scientific journal), Coauthor

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

     2023.09, Onishi,Maiko; Ogata,Shinpei; Okano,Kozo; Bekki,Daisuke, Original, Research paper (international conference proceedings), Coauthor

102. Recurrent Neural Network CCG Parser

     2023.06, Tagami,Sora; Bekki,Daisuke; , Original, Research paper (international conference proceedings), Coauthor

103. 依存型意味論の未指定型による照応解析の試み

     第37回人工知能学会全国大会論文集, , , 2023.06, 小斉平ひな, 高橋優太, 戸次大介,, Original, Research paper (conference, symposium, etc.), Coauthor

104. テ形従属節の用法判定のための用法分類アノテーション

     第37回人工知能学会全国大会論文集, , , 2023.06, 野口咲帆, 田中リベカ, 戸次大介,, Original, Research paper (conference, symposium, etc.), Coauthor

105. Neural DTSに対する型検査アルゴリズムを用いた推論手続きに向けて

     第37回人工知能学会全国大会論文集, , , 2023.06, 飯沼瑞稀, 高橋優太, 田上青空, 戸次大介, , Original, Research paper (conference, symposium, etc.), Coauthor

106. 言語学的に妥当な CCG ツリーバンク構築の試み

     第37回人工知能学会全国大会論文集, , , 2023.06, 富田朝, 谷中瞳, 戸次大介, , Original, Research paper (conference, symposium, etc.), Coauthor

107. 依存型意味論を用いた日本語連体節のテンス解釈

     第37回人工知能学会全国大会論文集, , , 2023.06, 松岡大樹, 戸次大介, 谷中瞳,, Original, Research paper (conference, symposium, etc.), Coauthor

108. Recurrent Neural Network CCG 構文解析器の検証

     第37回人工知能学会全国大会論文集, , , 2023.06, 田上青空, 戸次大介, , Original, Research paper (conference, symposium, etc.), Coauthor

109. 依存型意味論による自然言語の意味の理論：見通しと課題

     第37回人工知能学会全国大会論文集, , , 2023.06, 戸次大介, , Original, Research paper (conference, symposium, etc.), Single Author

110. Analyzing Japanese Relative Tense with Dependent Type Theory

     2023.06, Matsuoka,Daiki; Bekki,Daisuke; Hitomi,Yanaka;, Original, Research paper (international conference proceedings), Coauthor

111. Multi-purpose neural network for French categorial grammars

     2023.06, Margueritte,G\"aetan; Bekki,Daisuke; Mineshima,Koji; , Original, Research paper (international conference proceedings), Coauthor

112. 日本語数量表現コーパスと推論データセットの構築

     自然言語処理，2023年30巻2号, , 2023.06, 小谷野華那, 谷中瞳, 峯島宏次, 戸次大介,, Original, Research paper (scientific journal), Coauthor

113. 病名知識の公理補完を用いた症例テキスト間の論理推論

     第37回人工知能学会全国大会,論文集, , , vol.2L5-GS-3-05, 2023.06, 村上夏輝, 石田真捺, 高橋優太, 谷中瞳, 戸次大介, , Original, Research paper (conference, symposium, etc.), Coauthor

114. 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), , (p.32 - 36), 2023.03, Bekki,Daisuke; Yanaka,Hitomi;, Original, Research paper (conference, symposium, etc.), Capital Author

115. 日本語CCGBankは言語学的に妥当か

     言語処理学会第29回年次大会, 発表論文集, , vol.D12-2, 2023.03, 戸次大介, 谷中瞳, , Original, Research paper (conference, symposium, etc.), Capital Author

116. Recurrent Neural Network CCG 構文解析器の実装

     言語処理学会第29回年次大会, 発表論文集, , vol.C1-2, 2023.03, 田上青空, 戸次大介,, Original, Research paper (conference, symposium, etc.), Coauthor

117. 汎用言語モデルにおける日本語数量表現の扱いについての調査

     言語処理学会第29回年次大会, 発表論文集, , vol.D1-4, 2023.03, 小谷野華那, 谷中瞳, 峯島宏次, 戸次大介, , Original, Research paper (conference, symposium, etc.), Coauthor

118. 症例テキスト間の論理推論における病名知識補完の試み

     言語処理学会第29回年次大会, 発表論文集, , vol.B6-3, 2023.03, 村上夏輝, 石田真捺, 谷中瞳, 戸次大介, Original, Research paper (conference, symposium, etc.), Coauthor

119. 証明支援系Coqを用いた依存型意味論の照応解析と推論の実装の試み

     言語処理学会第29回年次大会, 発表論文集, , vol.D12-4, 2023.03, 小斉平ひな, 高橋優太, 戸次大介,, Original, Research paper (conference, symposium, etc.), Coauthor

120. Neural DTSに対する型検査アルゴリズムの実装の試み

     言語処理学会第29回年次大会, 発表論文集, , vol.C9-3, 2023.03, 飯沼瑞稀, 高橋優太, 田上青空, 戸次大介,, Original, Research paper (conference, symposium, etc.), Coauthor

121. 日本語CCGBankは言語学的に妥当か

     NLP2023 Workshop on Japanese Language Resources (JLR2023), , 2023.03, 戸次大介, 谷中瞳,, Original, Research paper (conference, symposium, etc.), Capital Author

122. 言語学的に妥当なCCGツリーバンク構築に向けて

     NLP2023 Workshop on Japanese Language Resources (JLR2023), , 2023.03, 富田朝, 谷中瞳, 戸次大介, , Original, Research paper (conference, symposium, etc.), Coauthor

123. Integrating Deep Neural Network with Dependent Type Semantics

     vol.1081(p.261 - 284), 2023, Bekki,Daisuke; Tanaka,Ribeka; Takahashi,Yuta; , Original, Research paper (scientific journal), Capital Author

124. Implementing Natural Language Inference for Comparatives

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

125. 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.207(ー)(p.532 - 541), 2022.09, Okano,Kozo; Onishi,Maiko; Otsuka,Jo; Ogata,Shinpei; Sekizawa,Toshifusa; Okamoto,Keishi; Bekki,Daisuke;, Original, Research paper (conference, symposium, etc.), Coauthor

126. Learning Knowledge with Neural DTS

     Proceedings of the 3rd Natural Logic Meets Machine Learning (NALOMA III), (p.17 - 25), 2022.08, Bekki,Daisuke; Tanaka,Ribeka; Takahashi,Yuta;, Original, Research paper (conference, symposium, etc.), Capital Author

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

     Proceedings of ISA-18 Workshop at LREC2022 , (p.127 - 132), 2022.06, Koyano,Kana; Yanaka,Hitomi; Mineshima,Koji; Bekki,Daisuke, Original, Research paper (international conference proceedings), Coauthor

128. 日本語症例テキストの複合語解析と論理推論

     第36回人工知能学会全国大会論文集, 国立京都国際会館, , vol. 1J4-OS-13a-05, 2022.06, 石田真捺, 谷中瞳, 戸次大介, Original, Research paper (conference, symposium, etc.), Coauthor