课题基金 / 基金详情

Design and evaluation of tableau optimization techniques for description logic reasoners

Design and evaluation of tableau optimization techniques for description logic reasoners
描述逻辑推理器的表格优化技术的设计和评估
批准号：
261562-2003
负责人：
Haarslev, Volker
金额：
$1.97万
依托单位：
Concordia University
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2005
资助国家：
加拿大
项目状态：
已结题
起止时间：
2005-01-01 至 2006-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=306815
关键词：
Designevaluationtableauoptimizationtechniques

项目摘要

项目成果

Haarslev, Volker的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Optimization techniques and software architectures for improving scalability of description logic reasoners
  • 批准号：
    RGPIN-2019-05526
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.48万
  • 财政年份：
    2022
  • 负责人：
    Haarslev, Volker
  • 依托单位：
    Concordia University
Optimization techniques and software architectures for improving scalability of description logic reasoners
  • 批准号：
    RGPIN-2019-05526
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.48万
  • 财政年份：
    2021
  • 负责人：
    Haarslev, Volker
  • 依托单位：
    Concordia University
Optimization techniques and software architectures for improving scalability of description logic reasoners
  • 批准号：
    RGPIN-2019-05526
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.48万
  • 财政年份：
    2020
  • 负责人：
    Haarslev, Volker
  • 依托单位：
    Concordia University
Optimization techniques and software architectures for improving scalability of description logic reasoners
  • 批准号：
    RGPIN-2019-05526
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.48万
  • 财政年份：
    2019
  • 负责人：
    Haarslev, Volker
  • 依托单位：
    Concordia University
国内基金
海外基金
新型小分子蛋白—人肝细胞生长因子三环域(hHGFK1)抑制破骨细胞及治疗小鼠骨质疏松的疗效评估与机制研究
  • 批准号：
    82370885
  • 项目类别：
    面上项目
  • 资助金额：
    49.00万元
  • 批准年份：
    2023
  • 负责人：
    姚晨
  • 依托单位：
    上海交通大学
基于重要农地保护LESA（Land Evaluation and Site Assessment）体系思想的高标准基本农田建设研究
  • 批准号：
    41340011
  • 项目类别：
    专项基金项目
  • 资助金额：
    20.0万元
  • 批准年份：
    2013
  • 负责人：
    钱凤魁
  • 依托单位：
    沈阳农业大学
基于观测角度的汉语名词性隐喻逻辑释义和评价方法研究
  • 批准号：
    61075058
  • 项目类别：
    面上项目
  • 资助金额：
    25.0万元
  • 批准年份：
    2010
  • 负责人：
    苏畅
  • 依托单位：
    厦门大学
面向认知网络的自律计算模型及评价方法研究
  • 批准号：
    60973027
  • 项目类别：
    面上项目
  • 资助金额：
    30.0万元
  • 批准年份：
    2009
  • 负责人：
    王慧强
  • 依托单位：
    哈尔滨工程大学