您的位置： 专家智库 > >

姜新雷

作品数：1 被引量：2H指数：1
供职机构：中国建设银行股份有限公司更多>>
发文基金：吉林省科技发展计划基金国家自然科学基金国家高技术研究发展计划更多>>
相关领域：理学自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...
  • 1篇理学

主题

  • 1篇逻辑
  • 1篇逻辑基础

机构

  • 1篇吉林大学
  • 1篇中国建设银行...

作者

  • 1篇刘大有
  • 1篇王生生
  • 1篇李昕
  • 1篇姜新雷

传媒

  • 1篇计算机科学

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
时空本体及其逻辑基础研究现状与展望被引量：2
2008年
总结了时空本体及其逻辑基础——时空描述逻辑的研究工作。指出了时空本体和时空描述逻辑的主要问题是复杂度过高(一般情况下不可判定)、不支持多元的时空关系和时空关系复合推理。解决方案是将时空推理和描述逻辑、本体充分结合,建立表达和推理能力更强的时空本体。
王生生刘大有李昕姜新雷袁旻昱
全选 清除 导出
共1页<1>
聚类工具0