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)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了