An integrated study of natural language inference and diagrammatic inference using logical methods
An integrated study of natural language inference and diagrammatic inference using logical methods
使用逻辑方法进行自然语言推理和图解推理的综合研究
批准号：
26770009
负责人：
Mineshima Koji
金额：
$2.5万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2014
资助国家：
日本
项目状态：
已结题
起止时间：
2014-04-01 至 2017-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
オントロジーを用いた型理論的な語彙意味論の試み
使用本体论的类型理论词汇语义学的尝试
使用本体论的类型理论词汇语义学的尝试
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Nakamura, Ayako. Mineshima, Koji. Bekki, Daisuke., 中村絢子. 峯島宏次. 戸次大介.]
通讯作者：
中村絢子. 峯島宏次. 戸次大介.
機能語の意味を表現する推論テストセット ーJSeMとりたて助詞テストの構築ー
表达虚词含义的推理测试集 - JSeM 粒子测试的构建 -
表达虚词含义的推理测试集 - JSeM 粒子测试的构建 -
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[川添愛, 田中リベカ, 峯島宏次, 戸次大介]
通讯作者：
戸次大介
How ccg2lambda solves FraCaS/JSeM
ccg2lambda 如何解决 FraCaS/JSeM
ccg2lambda 如何解决 FraCaS/JSeM
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[Kimi Kaneko, Saku Sugawara, Koji Mineshima and Daisuke Bekki, Koji Mineshima]
通讯作者：
Koji Mineshima
Epsilon Calculus as Presupposition Theory
作为预设理论的 Epsilon 演算
作为预设理论的 Epsilon 演算
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Ai Kawazoe, Ribeka Tanaka, Koji Mineshima and Daisuke Bekki, Koji Mineshima]
通讯作者：
Koji Mineshima
依存型意味論における叙実動詞の意味記述の試み
尝试在依赖语义中描述描述性动词的含义
尝试在依赖语义中描述描述性动词的含义
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[田中リベカ, 峯島宏次, 戸次大介]
通讯作者：
戸次大介
共 37 条
A unified analysis of natural language inference based on the methods of proof theory and diagrammatic logic
-
批准号：17K13316
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.58万
-
财政年份：2017
-
负责人：Mineshima Koji
-
依托单位：
海外基金