Research on Construction Technology of Semantic Web
Research on Construction Technology of Semantic Web
语义网构建技术研究
批准号：
25280078
负责人：
Akama Kiyoshi
金额：
$4.41万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-04-01 至 2016-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Unfolding-Based Simplification of Query-Answering Problems in an Extended Clause Space
扩展子句空间中查询回答问题的基于展开的简化
扩展子句空间中查询回答问题的基于展开的简化
DOI：
--
发表时间：
2013
期刊：
International Journal of Innovative Computing, Information and Control
影响因子：
--
作者：
[Kiyoshi Akama and Ekawit Nantajeewarawat]
通讯作者：
Kiyoshi Akama and Ekawit Nantajeewarawat
PROOF OF UNSATISFIABILITY OF ATOM SETS BASED ON COMPUTATION BY EQUIVALENT TRANSFORMATION RULES
基于等价变换规则计算的原子集不满足性证明
基于等价变换规则计算的原子集不满足性证明
DOI：
--
发表时间：
2013
期刊：
International Journal of Innovative Computing, Information and Control
影响因子：
--
作者：
[Katsunori Miura, Kiyoshi Akama, Hiroshi Mabuchi, and Hidekatsu Koike]
通讯作者：
and Hidekatsu Koike
DOI：
10.5220/0005597000380049
发表时间：
2015-11
期刊：
ArXiv
影响因子：
--
作者：
[K. Akama;Ekawit Nantajeewarawat]
通讯作者：
K. Akama;Ekawit Nantajeewarawat
Deterministic Programs on Specialization Systems
专业化系统上的确定性程序
专业化系统上的确定性程序
DOI：
--
发表时间：
2014
期刊：
International Journal of Innovative Computing, Information and Control
影响因子：
--
作者：
[Kiyoshi Akama, Ekawit Nantajeewarawat]
通讯作者：
Ekawit Nantajeewarawat
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
[Kiyoshi Akama, Ekawit Nantajeewarawat, and Tadayuki Yoshida]
通讯作者：
and Tadayuki Yoshida
共 8 条
From "proof"+"inference" to "query-answering problems" + "equivalent transformation"
-
批准号：26540110
-
项目类别：Grant-in-Aid for Challenging Exploratory Research
-
资助金额：$2.33万
-
财政年份：2014
-
负责人：Akama Kiyoshi
-
依托单位：