Efficient Reasoning for Practical Applications
实际应用的有效推理
基本信息
- 批准号:527584-2018
- 负责人:
- 金额:$ 0.33万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:University Undergraduate Student Research Awards
- 财政年份:2018
- 资助国家:加拿大
- 起止时间:2018-01-01 至 2019-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
No summary - Aucun sommaire
无摘要- Aucun sommaire
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Agapeyev, JohnGeorge其他文献
Agapeyev, JohnGeorge的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
相似海外基金
SHF: Small: Practical Dynamic Program Reasoning Across Language Boundaries
SHF:小:跨语言边界的实用动态程序推理
- 批准号:
2146233 - 财政年份:2022
- 资助金额:
$ 0.33万 - 项目类别:
Standard Grant
Practical Research on Scientific Reasoning on Lower Secondary School Students: Focusing on Model Based Reasoning
初中生科学推理实践研究:以模型推理为中心
- 批准号:
17H07150 - 财政年份:2017
- 资助金额:
$ 0.33万 - 项目类别:
Grant-in-Aid for Research Activity Start-up
Moral Motivation and the Emotions. The moralpsychological contribution of the passiones animae from Thomas Aquinas to mediat human striving structures and practical reasoning
道德动机和情感。
- 批准号:
317825402 - 财政年份:2016
- 资助金额:
$ 0.33万 - 项目类别:
Research Grants
Practical Probabilistic Reasoning in Web Knowledge Graphs
网络知识图中的实用概率推理
- 批准号:
327259924 - 财政年份:2016
- 资助金额:
$ 0.33万 - 项目类别:
Research Grants
Toward a practical, mechanically checkable reasoning environment
走向实用的、可机械检查的推理环境
- 批准号:
9207-2008 - 财政年份:2012
- 资助金额:
$ 0.33万 - 项目类别:
Discovery Grants Program - Individual
Toward a practical, mechanically checkable reasoning environment
走向实用的、可机械检查的推理环境
- 批准号:
9207-2008 - 财政年份:2011
- 资助金额:
$ 0.33万 - 项目类别:
Discovery Grants Program - Individual
Toward a practical, mechanically checkable reasoning environment
走向实用的、可机械检查的推理环境
- 批准号:
9207-2008 - 财政年份:2010
- 资助金额:
$ 0.33万 - 项目类别:
Discovery Grants Program - Individual
A Practical Research Introducing Logical Reasoning in Teaching Design and Evaluation Based on "Philosophy for Children" Program
基于“少儿哲学”项目将逻辑推理引入教学设计与评价的实践研究
- 批准号:
21653100 - 财政年份:2009
- 资助金额:
$ 0.33万 - 项目类别:
Grant-in-Aid for Challenging Exploratory Research
Toward a practical, mechanically checkable reasoning environment
走向实用的、可机械检查的推理环境
- 批准号:
9207-2008 - 财政年份:2009
- 资助金额:
$ 0.33万 - 项目类别:
Discovery Grants Program - Individual
Development of Lesson Program to empower Home economics teachers using Practical Reasoning Process
开发课程计划,以增强家政教师使用实践推理过程的能力
- 批准号:
21530980 - 财政年份:2009
- 资助金额:
$ 0.33万 - 项目类别:
Grant-in-Aid for Scientific Research (C)