Papers - BEKKI Daisuke
-
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
-
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
-
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
-
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
-
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
-
仕様書の条件文における状態遷移関係の抽出方法
研究報告ソフトウェア工学(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
-
マルチモーダル推論のための動画アクションデータセットの構築
第34回人工知能学会全国大会論文集, , vol.4I1-GS-7b-01, 2021.06, 横関茉衣, 村上夏輝, 鈴木莉子, 谷中瞳, 峯島宏次, 戸次大介, Original, Research paper (conference, symposium, etc.), Coauthor
-
日本語形態素解析器の知識蒸留
第34回人工知能学会全国大会論文集, , vol.4J1-GS-6d-02, 2021.06, 田上青空, 戸次大介, Original, Research paper (conference, symposium, etc.), Coauthor
-
Yesodによる日本語CCGパーザ開発環境の構築
第34回人工知能学会全国大会論文集, , vol.4J1-GS-6d-01, 2021.06, 石嶋美咲, 戸次大介, Original, Research paper (conference, symposium, etc.), Coauthor
-
論理推論による症例検索に向けた日本語症例テキストの複合語解析の試案
第34回人工知能学会全国大会論文集, , vol.4J3-GS-6f-05, 2021.06, 石田真捺, 谷中瞳, 馬目華奈, 戸次大介, Original, Research paper (conference, symposium, etc.), Coauthor
-
実テキストにおける数量表現の含意関係認識に向けて
第34回人工知能学会全国大会論文集, , vol.4J2-GS-6e-02, 2021.06, 小谷野華那, 鈴木莉子, 春田和泉, 谷中瞳, 戸次大介, Original, Research paper (conference, symposium, etc.), Coauthor
-
DTSの部分体系のための定理自動証明器の実装に向けて
言語処理学会第27回年次大会, 北九州国際会議場/オンライン, , vol.ー(ー)(p.ー), 2021.03, 大洞日音, 戸次大介, Original, Research paper (scientific journal), Coauthor
-
言語で説明できるAIシステムへの道のり
自然言語処理 2021年, , vol.28(3)(p.874 - 880), 2021, 乾健太郎, 戸次大介, 黒橋禎夫, 久木田水生, Original, Research paper (scientific journal), Coauthor
-
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
-
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
-
CCGと自動定理証明による比較表現の計算意味論
人工知能学会第34回年次大会, オンライン開催, , vol.ー(ー)(p.ー), 2020.06, 春田和泉, 峯島宏次, 戸次大介, Original, Research paper (scientific journal), Coauthor
-
CCGと定理証明器による自然言語の時間関係認識
人工知能学会第34回年次大会, オンライン開催, , vol.ー(ー)(p.ー), 2020.06, 大西舞子, 谷中瞳, 峯島宏次, 戸次大介,, Original, Research paper (scientific journal), Coauthor
-
CCGに基づく時間解析の実装に向けて
言語処理学会第25回年次大会発表論文集, , vol.D6-1(-)(p.-), 2019.03, 大西舞子, 峯島宏次, 戸次大介, Original, Research paper (scientific journal), Coauthor
-
比較表現の意味解析と含意関係認識
言語処理学会第25回年次大会発表論文集, , vol.D6-3(-)(p.-), 2019.03, 春田和泉, 峯島宏次, 戸次大介, Original, Research paper (scientific journal), Coauthor
-
CCGと定理証明器を用いた画像情報の意味表現と推論の試み
言語処理学会第25回年次大会発表論文集, , vol.D6-2(-)(p.-), 2019.03, 鈴木莉子, 谷中瞳, 峯島宏次, 戸次大介, Original, Research paper (scientific journal), Coauthor