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

作者:{{ showInfoDetail.author }}

知道了