您的位置： 专家智库 > >

龚昌盛

作品数：1 被引量：0H指数：0
供职机构：武汉大学计算机学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：哲学宗教自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇哲学宗教
  • 1篇自动化与计算...

主题

  • 1篇可扩展
  • 1篇可扩展标记语...
  • 1篇扩展标记语言
  • 1篇基于XML
  • 1篇XML
  • 1篇标记语言
  • 1篇次协调逻辑

机构

  • 1篇武汉大学

作者

  • 1篇余振坤
  • 1篇朱福喜
  • 1篇龚昌盛

传媒

  • 1篇武汉大学学报...

年份

  • 1篇2006
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于XML的次协调推理
2006年
标记逻辑是一种次协调逻辑系统,将XML用于表示标记逻辑,探讨了在这种表示之下标记逻辑线性推理规则和推理策略及其实现问题,并给出了推理实例.实例表明,使用XML能够很方便地表达标记逻辑,并且利用XML的辅助工具能够很方便地实现其推理机制.
朱福喜龚昌盛余振坤
关键词：次协调逻辑
全选 清除 导出
共1页<1>
聚类工具0