课题基金 / 基金详情

From "proof"+"inference" to "query-answering problems" + "equivalent transformation"

From "proof"+"inference" to "query-answering problems" + "equivalent transformation"
从“证明”“推理”到“问答题”“等价变换”
批准号：
26540110
负责人：
Akama Kiyoshi
金额：
$2.33万
依托单位：
Hokkaido University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Exploratory Research
财政年份：
2014
资助国家：
日本
项目状态：
已结题
起止时间：
2014-04-01 至 2017-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-26540110/
关键词：
ＫＲロジック等価変換証明問題求解問題意味保存スコーレム化モデルインターセクション問題関数変数論理構造推論スコーレム化意味保存論理計算アンフォールド変換モデル・インターセクション問題節

项目摘要

项目成果

Akama Kiyoshi的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(11)
专著(0)
科研奖励(0)
会议论文
Unfolding Existentially Quantified Sets of Extended Clauses
展开存在量化的扩展子句集
DOI： --
发表时间： 2016
期刊： Proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2016)
影响因子： --
作者： [H. Ishibuchi, H. Masuda, Y. Tanigaki, and Y. Nojima, H. Ishibuchi, Kiyoshi Akama and Ekawit Nantajeewarawat, Kiyoshi Akama and Ekawit Nantajeewarawat]
通讯作者： Kiyoshi Akama and Ekawit Nantajeewarawat
Equivalent Transformation in an Extended Space for Solving Query-Answering Problems
解决查询回答问题的扩展空间中的等价变换
DOI： --
发表时间： 2014
期刊： Lecture Notes in Artificial Intelligence
影响因子： --
作者： [Kiyoshi Akama, Ekawit Nantajeewarawat]
通讯作者： Ekawit Nantajeewarawat
推論から等価変換へ
从推理到等价变换
DOI： --
发表时间： 2016
期刊：
影响因子： --
作者： [Kiyoshi Akama, Ekawit Nantajeewarawat, 赤間　清]
通讯作者： 赤間　清
Model-Intersection Problems with Existentially Quantified Function Variables: Formalization and a Solution Schema
DOI： 10.5220/0006056800520063
发表时间： 2016-11
期刊：
影响因子： --
作者： [K. Akama;Ekawit Nantajeewarawat]
通讯作者： K. Akama;Ekawit Nantajeewarawat
共 9 条
    Research on Construction Technology of Semantic Web
    • 批准号：
      25280078
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $4.41万
    • 财政年份：
      2013
    • 负责人：
      Akama Kiyoshi
    • 依托单位：
      Hokkaido University
    海外基金