Temporal knowledge formalization and reasoning
时态知识形式化和推理
基本信息
- 批准号:46773-2006
- 负责人:
- 金额:$ 1.09万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:2010
- 资助国家:加拿大
- 起止时间:2010-01-01 至 2011-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 }}
Trudel, Andre其他文献
Trudel, Andre的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Trudel, Andre', 18)}}的其他基金
Temporal knowledge formalization and reasoning
时态知识形式化和推理
- 批准号:
46773-2006 - 财政年份:2009
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Temporal knowledge formalization and reasoning
时态知识形式化和推理
- 批准号:
46773-2006 - 财政年份:2008
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Temporal knowledge formalization and reasoning
时态知识形式化和推理
- 批准号:
46773-2006 - 财政年份:2007
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Temporal knowledge formalization and reasoning
时态知识形式化和推理
- 批准号:
46773-2006 - 财政年份:2006
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Temporal first order logics
时态一阶逻辑
- 批准号:
46773-2001 - 财政年份:2005
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Temporal first order logics
时态一阶逻辑
- 批准号:
46773-2001 - 财政年份:2004
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Temporal first order logics
时态一阶逻辑
- 批准号:
46773-2001 - 财政年份:2003
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Temporal first order logics
时态一阶逻辑
- 批准号:
46773-2001 - 财政年份:2002
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Temporal first order logics
时态一阶逻辑
- 批准号:
46773-2001 - 财政年份:2001
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Point based spatio-temporal logics
基于点的时空逻辑
- 批准号:
46773-1999 - 财政年份:2000
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
相似海外基金
CRII: SaTC: Automated Knowledge Representation for IoT Cybersecurity Regulations
CRII:SaTC:物联网网络安全法规的自动化知识表示
- 批准号:
2348147 - 财政年份:2024
- 资助金额:
$ 1.09万 - 项目类别:
Standard Grant
CRII: AF: The Impact of Knowledge on the Performance of Distributed Algorithms
CRII:AF:知识对分布式算法性能的影响
- 批准号:
2348346 - 财政年份:2024
- 资助金额:
$ 1.09万 - 项目类别:
Standard Grant
Conference: Doctoral Consortium for the 2024 Learning Analytics & Knowledge Conference
会议:2024 年学习分析博士联盟
- 批准号:
2400421 - 财政年份:2024
- 资助金额:
$ 1.09万 - 项目类别:
Standard Grant
Opening Spaces and Places for the Inclusion of Indigenous Knowledge, Voice and Identity: Moving Indigenous People out of the Margins
为包容土著知识、声音和身份提供开放的空间和场所:使土著人民走出边缘
- 批准号:
477924 - 财政年份:2024
- 资助金额:
$ 1.09万 - 项目类别:
Salary Programs
Staffordshire University - Malone Group GB Limited - Knowledge transfer partnerships (KTP): 2023 to 2024 Round 3
斯塔福德郡大学 - Malone Group GB Limited - 知识转移合作伙伴关系 (KTP):2023 年至 2024 年第 3 轮
- 批准号:
10082161 - 财政年份:2024
- 资助金额:
$ 1.09万 - 项目类别:
Knowledge Transfer Network
The Influence of Lifetime Occupational Experience on Cognitive Trajectories Among Mexican Older Adults
终生职业经历对墨西哥老年人认知轨迹的影响
- 批准号:
10748606 - 财政年份:2024
- 资助金额:
$ 1.09万 - 项目类别:
An Integrated Model of Contextual Safety, Social Safety, and Social Vigilance as Psychosocial Contributors to Cardiovascular Disease
情境安全、社会安全和社会警惕作为心血管疾病社会心理因素的综合模型
- 批准号:
10749134 - 财政年份:2024
- 资助金额:
$ 1.09万 - 项目类别:
The role of nigrostriatal and striatal cell subtype signaling in behavioral impairments related to schizophrenia
黑质纹状体和纹状体细胞亚型信号传导在精神分裂症相关行为障碍中的作用
- 批准号:
10751224 - 财政年份:2024
- 资助金额:
$ 1.09万 - 项目类别:
A Knowledge-aware Multi-tasks-based Disease Network Construction on Biomedical Literature
基于生物医学文献的知识感知多任务疾病网络构建
- 批准号:
24K15097 - 财政年份:2024
- 资助金额:
$ 1.09万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
KUber: Knowledge Delivery System For Machine Learning At Scale
KUber:大规模机器学习的知识传递系统
- 批准号:
EP/X035085/1 - 财政年份:2024
- 资助金额:
$ 1.09万 - 项目类别:
Research Grant