语义 Web 中的自动推理和主动规则终止性分析

出版社:中国科学院
出版年:2008
作者:徐贵红
资源类型:图书
细分类型:中文文献
相关推荐

细粒度分布式一致性语义的自动分析和推理

  • 作者:马凯
  • 出版社:中国科学技术大学
  • 出版年:2023

程序终止性的分析和验证

  • 作者:李玲娜
  • 出版年:2012

融合文本语义和逻辑规则的知识推理技术研究

  • 作者:兰胤余
  • 出版社:中国科学院大学人工智能学院
  • 出版年:2022

语义Web服务中的自动服务组合研究

  • 作者:万长林
  • 出版年:2010

语义Web的动态推理及应用研究

  • 作者:陈立民
  • 出版年:2011