结果1至99
排序依据：

  • EL2MCS公司
  • 参考6篇文章[sw28624]
  • 高效公理 精确定位用EL2MCS。公理 精确定位包括计算一个集合最小值。。。开发一种用于公理 精确定位基于对不满足命题公式的分析。。。它利用了公理集合和最小不可满足子公式。。。比现有的公理 精确定位轻量级描述逻辑的方法。。。

  • 弹丸
  • 引用92篇文章[sw07019]
  • Pellet:owl2reasoner for Java。应用程序。。。

  • 信标
  • 引用5篇文章[sw16742]
  • BEACON：一个高效的基于SAT的调试工具。。。

  • 只是
  • 引用3篇文章[sw16743]
  • 只是：一个计算正当性的工具。。。