第1至第20个结果474
排序依据：

  • 吉隆坡一号
  • 引用了40篇文章[sw28891]
  • 的tableau算法概述描述 逻辑学.说明 逻辑学是一个知识表示家族。。。可满足性）在各种各样的描述 逻辑学可以用类似表格的算法来决定。。。这并不奇怪，因为描述 逻辑学结果证明他们有着密切的关系。。。不同的基本直觉和应用，大多数描述 逻辑学与普通的。。。

  • 赛车手
  • 引用了65篇文章[sw09837]
  • 高度优化的tableau演算描述 逻辑SRIQ（D）。Racer是继任者。。。

  • 三倍的
  • 引用21篇文章[sw02460]
  • 与F最重要的区别-逻辑SiLRI说三人组没有。。。主题映射或RDF模式。说明 逻辑学RDF（模式）的扩展，如OIL和DAML。。。与描述 逻辑分类器，例如事实，产生一个混合规则。。。

  • Fuzzydl公司
  • 27条引用[sw11709]
  • FuzzyDL是一个说明 逻辑支持模糊推理机逻辑粗糙集与模糊推理。。。

  • MSPASS公司
  • 引用24篇文章[sw17667]
  • 定理证明器描述 逻辑学以及一个关系式的定理证明器。。。

  • 洛特雷克
  • 引用25篇文章[sw07684]
  • LoTREC公司：合乎逻辑的tableaux研究工程指南。本文描述了一个通用的tableaux系统。。。模态和中公式的可满足性描述 逻辑学. 这个系统叫做LoTREC2.0。。。

  • 凯尔
  • 引用15篇文章【sw12477】
  • 说明 逻辑学（DLs）是关于本体论推理的一个重要的形式主义家族。。。第一个推理者描述 逻辑以支持计算为主要推理任务的EL+。。。多项式时间算法。支持的描述 逻辑EL+提供了一套精选的表达手段。。。

  • 塞萨尔
  • 引用156篇文章[sw08510]
  • 给定的规范集。算法描述是用一种高级语言完成的。。。分枝时间公式逻辑其时间算子可迭代计算。。。通过自动翻译获得描述编写一个解释Petri网来表示。。。

  • ETPS公司
  • 在153篇文章中引用[sw06302]
  • 逻辑和类型理论：通过证明达到真理，第二版，克鲁尔学术出版社，2002年。描述...

  • HTab公司
  • 参考11篇文章[sw12427]
  • 与两种模态有关逻辑和描述 逻辑. 混合动力的各种证明机制。。。逻辑存在，但唯一广泛使用的证明系统，HyLoRes，是基于。。。广泛用于模态和描述 逻辑学. Tableaux算法也被开发出来。。。

  • 德洛宁
  • 引用15篇文章[sw22920]
  • 几个模糊扩张逻辑而且很粗糙逻辑，在其他形式中，已经提出。。。这允许使用经典（广泛可用）说明 逻辑推理机的推理与表现。。。

  • 蛤蜊
  • 引用24篇文章[sw19614]
  • 高阶规划逻辑用λ蛤蜊。这个系统描述概述了λ蛤蜊系统。。。

  • 数据日志
  • 参考7篇文章[sw09839]
  • 高效描述 逻辑Prolog推理：DLog系统。传统算法说明 逻辑...

  • DL学习者
  • 参考7篇文章[sw14439]
  • 学习中的学习者概念描述 逻辑学. 在本文中，我们介绍了DL学习者，一个框架。。。学习描述 逻辑学还有猫头鹰。OWL是W3C官方标准本体语言。。。

  • GF公司
  • 引用32篇文章[sw13667]
  • 语法。它使用一个合乎逻辑的框架（LF）描述抽象语法，并添加。。。

  • 康克鲁德
  • 引用8篇文章[sw12474]
  • 语言的正式特征是说明 逻辑（DL）SROIQV（D）。换句话说，包括。。。

  • 梅特尔
  • 引用15篇文章[sw11990]
  • 梅特尔：一个有逻辑-独立推理机。MetTeL是一个通用的表格验证程序。。。多种模态，直觉，混合，描述和公制逻辑学. MetTeL的核心组件。。。

  • GDL公司
  • 引用18条[sw27615]
  • 游戏说明语言或GDL是逻辑程序设计语言[1]由迈克尔·吉内塞雷斯设计。。。

  • 马斯特罗
  • 参考7篇文章[sw35563]
  • 轻便型系列说明 逻辑学专门为基于本体的数据访问定制。。。