The semantic problem of logic programs with negation

带否定的逻辑程序的语义问题

基本信息

  • 批准号:
    121292-1992
  • 负责人:
  • 金额:
    $ 1.09万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Discovery Grants Program - Individual
  • 财政年份:
    1994
  • 资助国家:
    加拿大
  • 起止时间:
    1994-01-01 至 1995-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 }}

Li, Liwu其他文献

Super-low dose endotoxin pre-conditioning exacerbates sepsis mortality.
  • DOI:
    10.1016/j.ebiom.2015.03.001
  • 发表时间:
    2015-04-01
  • 期刊:
  • 影响因子:
    11.1
  • 作者:
    Chen, Keqiang;Geng, Shuo;Yuan, Ruoxi;Diao, Na;Upchurch, Zachary;Li, Liwu
  • 通讯作者:
    Li, Liwu
Macrophages and fibroblasts during inflammation, tissue damage and organ injury
  • DOI:
    10.2741/3506
  • 发表时间:
    2009-01-01
  • 期刊:
  • 影响因子:
    3.1
  • 作者:
    Glaros, Trevor;Larsen, Michelle;Li, Liwu
  • 通讯作者:
    Li, Liwu
Phenylbutyrate facilitates homeostasis of non-resolving inflammatory macrophages
  • DOI:
    10.1177/1753425919879503
  • 发表时间:
    2019-10-11
  • 期刊:
  • 影响因子:
    3.2
  • 作者:
    Rahtes, Allison;Pradhan, Kisha;Li, Liwu
  • 通讯作者:
    Li, Liwu
The involvement of the interleukin-1 receptor-associated kinases (IRAKs) in cellular signaling networks controlling inflammation
  • DOI:
    10.1016/j.cyto.2007.12.012
  • 发表时间:
    2008-04-01
  • 期刊:
  • 影响因子:
    3.8
  • 作者:
    Ringwood, Lorna;Li, Liwu
  • 通讯作者:
    Li, Liwu
Ordinary Differential Equations used in the model.
  • DOI:
    10.1371/journal.pone.0034633.t001
  • 发表时间:
    2013-01-01
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Li, Liwu;Fu, Yan;Xing, Jianhua
  • 通讯作者:
    Xing, Jianhua

Li, Liwu的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Li, Liwu', 18)}}的其他基金

Extending object-oriented languages with dynamic classification
通过动态分类扩展面向对象语言
  • 批准号:
    121292-2002
  • 财政年份:
    2005
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Discovery Grants Program - Individual
Extending object-oriented languages with dynamic classification
通过动态分类扩展面向对象语言
  • 批准号:
    121292-2002
  • 财政年份:
    2004
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Discovery Grants Program - Individual
Extending object-oriented languages with dynamic classification
通过动态分类扩展面向对象语言
  • 批准号:
    121292-2002
  • 财政年份:
    2003
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Discovery Grants Program - Individual
Extending object-oriented languages with dynamic classification
通过动态分类扩展面向对象语言
  • 批准号:
    121292-2002
  • 财政年份:
    2002
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Discovery Grants Program - Individual
Object-oriented analysis and design
面向对象的分析与设计
  • 批准号:
    121292-2000
  • 财政年份:
    2001
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Discovery Grants Program - Individual
Object-oriented analysis and design
面向对象的分析与设计
  • 批准号:
    121292-2000
  • 财政年份:
    2000
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Discovery Grants Program - Individual
The semantic problem of logic programs with negation; a study on object-oriented database management
带否定的逻辑程序的语义问题;
  • 批准号:
    121292-1995
  • 财政年份:
    1999
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Discovery Grants Program - Individual
The semantic problem of logic programs with negation; a study on object-oriented database management
带否定的逻辑程序的语义问题;
  • 批准号:
    121292-1995
  • 财政年份:
    1998
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Discovery Grants Program - Individual
The semantic problem of logic programs with negation; a study on object-oriented database management
带否定的逻辑程序的语义问题;
  • 批准号:
    121292-1995
  • 财政年份:
    1997
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Discovery Grants Program - Individual
The semantic problem of logic programs with negation; a study on object-oriented database management
带否定的逻辑程序的语义问题;
  • 批准号:
    121292-1995
  • 财政年份:
    1996
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Discovery Grants Program - Individual

相似国自然基金

基于探针机的旅行商问题研究
  • 批准号:
    62002002
  • 批准年份:
    2020
  • 资助金额:
    16.0 万元
  • 项目类别:
    青年科学基金项目
含不确定时态的定量时序逻辑及其检测问题研究
  • 批准号:
  • 批准年份:
    2020
  • 资助金额:
    51 万元
  • 项目类别:
    面上项目
含不可镇定局部线性模型的T-S模糊系统切换控制问题研究
  • 批准号:
    61803001
  • 批准年份:
    2018
  • 资助金额:
    25.0 万元
  • 项目类别:
    青年科学基金项目
数字化商业环境下创业企业的“最优区分”问题研究
  • 批准号:
    71872178
  • 批准年份:
    2018
  • 资助金额:
    47.0 万元
  • 项目类别:
    面上项目
Domain理论与Quantale代数的相关问题研究
  • 批准号:
    11871320
  • 批准年份:
    2018
  • 资助金额:
    52.0 万元
  • 项目类别:
    面上项目

相似海外基金

The semantic problem of logic programs with negation; a study on object-oriented database management
带否定的逻辑程序的语义问题;
  • 批准号:
    121292-1995
  • 财政年份:
    1999
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Discovery Grants Program - Individual
The semantic problem of logic programs with negation; a study on object-oriented database management
带否定的逻辑程序的语义问题;
  • 批准号:
    121292-1995
  • 财政年份:
    1998
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Discovery Grants Program - Individual
The semantic problem of logic programs with negation; a study on object-oriented database management
带否定的逻辑程序的语义问题;
  • 批准号:
    121292-1995
  • 财政年份:
    1997
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Discovery Grants Program - Individual
The semantic problem of logic programs with negation; a study on object-oriented database management
带否定的逻辑程序的语义问题;
  • 批准号:
    121292-1995
  • 财政年份:
    1996
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Discovery Grants Program - Individual
The semantic problem of logic programs with negation; a study on object-oriented database management
带否定的逻辑程序的语义问题;
  • 批准号:
    121292-1995
  • 财政年份:
    1995
  • 资助金额:
    $ 1.09万
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了