Nonmonotonic logic programming
非单调逻辑编程
基本信息
- 批准号:9225-2000
- 负责人:
- 金额:$ 2.26万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:2004
- 资助国家:加拿大
- 起止时间:2004-01-01 至 2005-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 }}
You, JiaHuai其他文献
You, JiaHuai的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('You, JiaHuai', 18)}}的其他基金
Knowledge Representation and Reasoning: Pushing the Frontier
知识表示和推理:推动前沿
- 批准号:
RGPIN-2020-05211 - 财政年份:2022
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Knowledge Representation and Reasoning: Pushing the Frontier
知识表示和推理:推动前沿
- 批准号:
RGPIN-2020-05211 - 财政年份:2021
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Knowledge Representation and Reasoning: Pushing the Frontier
知识表示和推理:推动前沿
- 批准号:
RGPIN-2020-05211 - 财政年份:2020
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Extending Answer Set Programming
扩展答案集编程
- 批准号:
RGPIN-2015-05642 - 财政年份:2019
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Extending Answer Set Programming
扩展答案集编程
- 批准号:
RGPIN-2015-05642 - 财政年份:2018
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Extending Answer Set Programming
扩展答案集编程
- 批准号:
RGPIN-2015-05642 - 财政年份:2017
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Extending Answer Set Programming
扩展答案集编程
- 批准号:
RGPIN-2015-05642 - 财政年份:2016
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Extending Answer Set Programming
扩展答案集编程
- 批准号:
RGPIN-2015-05642 - 财政年份:2015
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Answer set programming and applications
答案集编程和应用
- 批准号:
9225-2010 - 财政年份:2014
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Answer set programming and applications
答案集编程和应用
- 批准号:
9225-2010 - 财政年份:2013
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
相似国自然基金
greenwashing behavior in China:Basedon an integrated view of reconfiguration of environmental authority and decoupling logic
- 批准号:
- 批准年份:2024
- 资助金额:万元
- 项目类别:外国学者研究基金项目
相似海外基金
Student Travel Grant for Fifteenth International Conference on Logic Programming and Nonmonotonic Reasoning and Doctoral Consortium
第十五届逻辑编程和非单调推理国际会议及博士联盟学生旅费补助
- 批准号:
1904757 - 财政年份:2019
- 资助金额:
$ 2.26万 - 项目类别:
Standard Grant
Foundations of Nonmonotonic Logic Programming for Complex Knowledge Systems
复杂知识系统的非单调逻辑编程基础
- 批准号:
DP0666540 - 财政年份:2006
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Projects
A study to formalize communication among arguing multiagents based on logic programming and nonmonotonic reasoning
基于逻辑编程和非单调推理的争论多智能体之间的形式化通信研究
- 批准号:
17500098 - 财政年份:2005
- 资助金额:
$ 2.26万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Ordering Nonmonotonic Logic Program and its Application to Inductive Learning
有序非单调逻辑程序及其在归纳学习中的应用
- 批准号:
15500092 - 财政年份:2003
- 资助金额:
$ 2.26万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Nonmonotonic logic programming
非单调逻辑编程
- 批准号:
9225-2000 - 财政年份:2003
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Nonmonotonic logic programming
非单调逻辑编程
- 批准号:
9225-2000 - 财政年份:2002
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Nonmonotonic logic programming
非单调逻辑编程
- 批准号:
9225-2000 - 财政年份:2001
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Nonmonotonic logic programming
非单调逻辑编程
- 批准号:
9225-2000 - 财政年份:2000
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Research on Inverse Entailment in Nonmonotonic Logic Programming
非单调逻辑规划中的逆蕴涵研究
- 批准号:
12680385 - 财政年份:2000
- 资助金额:
$ 2.26万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Logic programming and nonmonotonic reasoning
逻辑编程和非单调推理
- 批准号:
9225-1992 - 财政年份:1995
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual














{{item.name}}会员




