The semantic problem of logic programs with negation; a study on object-oriented database management

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

基本信息

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

Large datasets of water vapor sorption, mass diffusion immersed in water, hygroscopic expansion and mechanical properties of flax fibre/shape memory epoxy hygromorph composites.
  • DOI:
    10.1016/j.dib.2022.108367
  • 发表时间:
    2022-08
  • 期刊:
  • 影响因子:
    1.2
  • 作者:
    Li, Qinyu;Sun, Rujie;Le Duigou, Antoine;Guo, Jianglong;Rossiter, Jonathan;Li, Liwu;Leng, Jinsong;Scarpa, Fabrizio
  • 通讯作者:
    Scarpa, Fabrizio
Assembly of inflammation-related genes for pathway-focused genetic analysis.
与炎症相关的基因组装,用于途径为中心的遗传分析。
  • DOI:
    10.1371/journal.pone.0001035
  • 发表时间:
    2007-10-17
  • 期刊:
  • 影响因子:
    3.7
  • 作者:
    Loza, Matthew J.;McCall, Charles E.;Li, Liwu;Isaacs, William B.;Xu, Jianfeng;Chang, Bao-Li
  • 通讯作者:
    Chang, Bao-Li
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

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

相似国自然基金

流体湍流运动的相关数学分析
  • 批准号:
    10971174
  • 批准年份:
    2009
  • 资助金额:
    25.0 万元
  • 项目类别:
    面上项目
不可压流体力学方程中的一些问题
  • 批准号:
    10771177
  • 批准年份:
    2007
  • 资助金额:
    17.0 万元
  • 项目类别:
    面上项目
N-体问题的中心构型及动力系统的分支理论
  • 批准号:
    10601071
  • 批准年份:
    2006
  • 资助金额:
    10.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

School Readiness Intervention for Preschool Children with Sickle Cell Disease
患有镰状细胞病的学龄前儿童的入学准备干预
  • 批准号:
    10570119
  • 财政年份:
    2023
  • 资助金额:
    $ 1.36万
  • 项目类别:
Acceptability and Feasibility of Work-Oriented, Veteran-Centric, Social-Cognitive Skills Training
以工作为导向、以退伍军人为中心的社会认知技能培训的可接受性和可行性
  • 批准号:
    10582392
  • 财政年份:
    2022
  • 资助金额:
    $ 1.36万
  • 项目类别:
Genetic analysis of effort discounting in C. elegans
线虫努力折扣的遗传分析
  • 批准号:
    10244629
  • 财政年份:
    2021
  • 资助金额:
    $ 1.36万
  • 项目类别:
Designing Deaf-MET: A Deaf-Accessible Pre-Treatment for Alcohol Use Disorder
设计聋人-MET:一种可供聋人使用的酒精使用障碍预治疗方案
  • 批准号:
    10283090
  • 财政年份:
    2021
  • 资助金额:
    $ 1.36万
  • 项目类别:
Designing Deaf-MET: A Deaf-Accessible Pre-Treatment for Alcohol Use Disorder
设计聋人-MET:一种可供聋人使用的酒精使用障碍预治疗方案
  • 批准号:
    10680526
  • 财政年份:
    2021
  • 资助金额:
    $ 1.36万
  • 项目类别:
Genetic analysis of effort discounting in C. elegans
线虫努力折扣的遗传分析
  • 批准号:
    10363756
  • 财政年份:
    2021
  • 资助金额:
    $ 1.36万
  • 项目类别:
Testing Peer-led Network Intervention to Prevent Adolescent Vaping
测试同伴主导的网络干预措施以防止青少年吸电子烟
  • 批准号:
    9976773
  • 财政年份:
    2020
  • 资助金额:
    $ 1.36万
  • 项目类别:
Testing Peer-led Network Intervention to Prevent Adolescent Vaping
测试同伴主导的网络干预措施以防止青少年吸电子烟
  • 批准号:
    10152572
  • 财政年份:
    2020
  • 资助金额:
    $ 1.36万
  • 项目类别:
Diabetes Disparities: Texting to Extend Treatment (DD-TXT)
糖尿病差异:发短信延长治疗 (DD-TXT)
  • 批准号:
    9833680
  • 财政年份:
    2020
  • 资助金额:
    $ 1.36万
  • 项目类别:
Testing Peer-led Network Intervention to Prevent Adolescent Vaping
测试同伴主导的网络干预措施以防止青少年吸电子烟
  • 批准号:
    10380122
  • 财政年份:
    2020
  • 资助金额:
    $ 1.36万
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了