An integrated approach to the processing of abstract information in diagrammatic reasoning
An integrated approach to the processing of abstract information in diagrammatic reasoning
批准号:
15H02716
负责人:
Shimojima Atsushi
金额:
$10.23万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Scientific Research (B)
财政年份:
2015
资助国家:
日本
项目状态:
已结题
起止时间:
2015-04-01 至 2020-03-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI:
--
发表时间:
2015
期刊:
Proceedings of the 13th International Conference on Cognitive Modeling
影响因子:
--
作者:
[T. Yamamoto, T. Shibata, M. Kashiwagi, A. Hatayama, K. Sawada and M. Hanada, Yutaro Sugimoto and Yuri Sato]
通讯作者:
Yutaro Sugimoto and Yuri Sato
Completeness of Second-Order Intuitionistic Propositional Logic with Respect to a Proof-Theoretic Semantics
关于证明理论语义的二阶直觉命题逻辑的完备性
DOI:
--
发表时间:
2016
期刊:
影响因子:
--
作者:
[Yuta Takahashi, 高橋優太, Yuta Takahashi, 高橋優太, Mitsuhiro Okada and Yuta Takahashi, Mitsuhiro Okada and Yuta Takahashi, Yuta Takahashi, 高橋 優太, 高橋 優太, Yuta Takahashi, Yuta Takahashi and Ryo Takemura, Yuta Takahashi and Ryo Takemura]
通讯作者:
Yuta Takahashi and Ryo Takemura
オイラー図を使った推論:証明構成と反例構成
使用欧拉图进行推理:证明构造和反例构造
DOI:
--
发表时间:
2017
期刊:
影响因子:
--
作者:
[Shigenari Nakamura, Tomoya Enokido, and Makoto Takizawa, 竹村亮]
通讯作者:
竹村亮
CSLI/Stanford University(米国)
CSLI/斯坦福大学(美国)
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
Euler diagrams for defeasible reasoning
用于可废止推理的欧拉图
DOI:
10.1007/978-3-030-54249-8_23
发表时间:
2020
期刊:
Diagrammatic Representation and Inference, Lecture Notes in Computer Science
影响因子:
--
作者:
[Jeremiah Alberg, Eve Grace, Christopher Kelly, Ryo Takemura, Ryo Takemura, 竹村亮, Ryo Takemura]
通讯作者:
Ryo Takemura
共 41 条
Design and development of silica-based self-healing materials
-
批准号:20H02826
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$11.4万
-
财政年份:2020
-
负责人:Shimojima Atsushi
-
依托单位:
Creation of Inorganic-Organic Hybrid Photomechanical Crystals
-
批准号:19K22237
-
项目类别:Grant-in-Aid for Challenging Research (Exploratory)
-
资助金额:$4.08万
-
财政年份:2019
-
负责人:Shimojima Atsushi
-
依托单位:
Design of mesostructured silica materials with a self-healing function
-
批准号:16K14097
-
项目类别:Grant-in-Aid for Challenging Exploratory Research
-
资助金额:$2.41万
-
财政年份:2016
-
负责人:Shimojima Atsushi
-
依托单位:
Synthesis of nanoporous siloxane-based molecules and exploration of their function
-
批准号:15H03879
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$11.23万
-
财政年份:2015
-
负责人:Shimojima Atsushi
-
依托单位:
国内基金
海外基金
登录
查看更多内容
面向大模型长链思考的多模态推理关键技术研究
-
批准号:JCZRMS202601959
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:
-
依托单位:
运用大语言模型有限推理能力的快思考和慢思考相结合的深度网络
-
批准号:24ZR1419000
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:沈超敏
-
依托单位:
“云天太阳辐射异常吸收”的再思考
-
批准号:42371365
-
项目类别:面上项目
-
资助金额:48万元
-
批准年份:2023
-
负责人:黄广辉
-
依托单位:
好人得福还是好人吃亏?探究员工换位思考的积极和消极结果
-
批准号:72102104
-
项目类别:青年科学基金项目(C类)
-
资助金额:30.0万元
-
批准年份:2021
-
负责人:李野
-
依托单位:
对材料基因工程数据研究及其标准建设战略的思考
-
批准号:--
-
项目类别:专项基金项目
-
资助金额:10万元
-
批准年份:2020
-
负责人:张澜庭
-
依托单位:
中国食品安全保障的系统思考与创新
-
批准号:--
-
项目类别:国际(地区)合作与交流项目
-
资助金额:15万元
-
批准年份:2020
-
负责人:孙同全
-
依托单位:
“中国冲击”再思考:去全球化背景下中国贸易的国际影响及策略
-
批准号:71973079
-
项目类别:面上项目
-
资助金额:48.0万元
-
批准年份:2019
-
负责人:徐嫄
-
依托单位:
基于系统思考理论的乡村医生签约服务激励机制研究
-
批准号:71573276
-
项目类别:面上项目
-
资助金额:44.0万元
-
批准年份:2015
-
负责人:朱坤
-
依托单位:
使用高加速寿命实验评价纤维桩修复体:力学平衡的再思考
-
批准号:81300907
-
项目类别:青年科学基金项目
-
资助金额:23.0万元
-
批准年份:2013
-
负责人:林捷
-
依托单位:
国际金融危机对中国经济增长和就业影响的总体思考
-
批准号:70941008
-
项目类别:专项基金项目
-
资助金额:10.0万元
-
批准年份:2009
-
负责人:李晓西
-
依托单位: