王富彬

作品数：1被引量：0H指数：0
导出分析报告
供职机构：云南师范大学信息学院更多>>
发文主题：描述逻辑时态逻辑时态扩展更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
描述逻辑SHIOQ的时态扩展
《现代计算机》2010年第10期8-10,22,共4页王富彬 
分析描述逻辑时态扩展的优缺点,同时结合实际应用需求,将时间当作具体领域加入到描述逻辑中来处理,给出带时态扩展的描述逻辑SHIOQ(T)的形式化描述,并给出SHIOQ(T)中概念、关系和实例的描述形式以及它们的语义解释,从而方便地实现时态...
关键词：描述逻辑 时态逻辑 具体领域 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部