刷新
{{item.name}}会员
Logic programming and nonmonotonic reasoning
逻辑编程和非单调推理
基本信息
- 批准号：9225-1992
- 负责人：
- 金额：$ 1.43万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：1995
- 资助国家：加拿大
- 起止时间：1995-01-01 至 1996-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, JaiHuai其他文献
You, JaiHuai的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('You, JaiHuai', 18)}}的其他基金
Knowledge representations and reasoning in logic programming
逻辑编程中的知识表示和推理
- 批准号：
9225-1996 - 财政年份：1998
- 资助金额：
$ 1.43万 - 项目类别：
Discovery Grants Program - Individual
Knowledge representations and reasoning in logic programming
逻辑编程中的知识表示和推理
- 批准号：
9225-1996 - 财政年份：1997
- 资助金额：
$ 1.43万 - 项目类别：
Discovery Grants Program - Individual
Knowledge representations and reasoning in logic programming
逻辑编程中的知识表示和推理
- 批准号：
9225-1996 - 财政年份：1996
- 资助金额：
$ 1.43万 - 项目类别：
Discovery Grants Program - Individual
Nonmonotonic and adversary reasoning systems
非单调和对抗推理系统
- 批准号：
185987-1996 - 财政年份：1996
- 资助金额：
$ 1.43万 - 项目类别：
Research Tools and Instruments - Category 1 (<$150,000)
Logic programming and nonmonotonic reasoning
逻辑编程和非单调推理
- 批准号：
9225-1992 - 财政年份：1994
- 资助金额：
$ 1.43万 - 项目类别：
Discovery Grants Program - Individual
Logic programming and nonmonotonic reasoning
逻辑编程和非单调推理
- 批准号：
9225-1992 - 财政年份：1993
- 资助金额：
$ 1.43万 - 项目类别：
Discovery Grants Program - Individual
Logic programming and nonmonotonic reasoning
逻辑编程和非单调推理
- 批准号：
9225-1992 - 财政年份：1992
- 资助金额：
$ 1.43万 - 项目类别：
Discovery Grants Program - Individual
Logic programming for artificial intelligence: An approach based on building in theories
人工智能的逻辑编程：一种基于理论构建的方法
- 批准号：
9225-1989 - 财政年份：1991
- 资助金额：
$ 1.43万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
睾酮在产前应激程序化脑内CRH信号传导通路及焦虑样行为中的作用机制
- 批准号：31100793
- 批准年份：2011
- 资助金额：24.0 万元
- 项目类别：青年科学基金项目
枢纽港选址及相关问题的算法设计
- 批准号：71001062
- 批准年份：2010
- 资助金额：17.6 万元
- 项目类别：青年科学基金项目
微生物发酵过程的自组织建模与优化控制
- 批准号：60704036
- 批准年份：2007
- 资助金额：21.0 万元
- 项目类别：青年科学基金项目
相似海外基金
Student Travel Grant for Fifteenth International Conference on Logic Programming and Nonmonotonic Reasoning and Doctoral Consortium
第十五届逻辑编程和非单调推理国际会议及博士联盟学生旅费补助
- 批准号：
1904757 - 财政年份：2019
- 资助金额：
$ 1.43万 - 项目类别：
Standard Grant
Foundations of Nonmonotonic Logic Programming for Complex Knowledge Systems
复杂知识系统的非单调逻辑编程基础
- 批准号：
DP0666540 - 财政年份：2006
- 资助金额：
$ 1.43万 - 项目类别：
Discovery Projects
A study to formalize communication among arguing multiagents based on logic programming and nonmonotonic reasoning
基于逻辑编程和非单调推理的争论多智能体之间的形式化通信研究
- 批准号：
17500098 - 财政年份：2005
- 资助金额：
$ 1.43万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Nonmonotonic logic programming
非单调逻辑编程
- 批准号：
9225-2000 - 财政年份：2004
- 资助金额：
$ 1.43万 - 项目类别：
Discovery Grants Program - Individual
Ordering Nonmonotonic Logic Program and its Application to Inductive Learning
有序非单调逻辑程序及其在归纳学习中的应用
- 批准号：
15500092 - 财政年份：2003
- 资助金额：
$ 1.43万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Nonmonotonic logic programming
非单调逻辑编程
- 批准号：
9225-2000 - 财政年份：2003
- 资助金额：
$ 1.43万 - 项目类别：
Discovery Grants Program - Individual
Nonmonotonic logic programming
非单调逻辑编程
- 批准号：
9225-2000 - 财政年份：2002
- 资助金额：
$ 1.43万 - 项目类别：
Discovery Grants Program - Individual
Nonmonotonic logic programming
非单调逻辑编程
- 批准号：
9225-2000 - 财政年份：2001
- 资助金额：
$ 1.43万 - 项目类别：
Discovery Grants Program - Individual
Nonmonotonic logic programming
非单调逻辑编程
- 批准号：
9225-2000 - 财政年份：2000
- 资助金额：
$ 1.43万 - 项目类别：
Discovery Grants Program - Individual
Research on Inverse Entailment in Nonmonotonic Logic Programming
非单调逻辑规划中的逆蕴涵研究
- 批准号：
12680385 - 财政年份：2000
- 资助金额：
$ 1.43万 - 项目类别：
Grant-in-Aid for Scientific Research (C)