• 吉隆坡一号

  • 引用了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+提供了一套精选的表达手段。。。
  • 塞萨尔

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

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

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

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

  • 在14篇文章中引用[sw04848号]
  • 数值回归。一级逻辑 描述被诱导去划分那些子空间。。。
  • 蛤蜊

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

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

  • 引用32篇文章[sw13667]
  • 语法。它使用一个合乎逻辑的框架(LF)描述抽象语法,并添加。。。
  • 康克鲁德

  • 引用8篇文章[sw12474]
  • 语言的正式特征是说明 逻辑(DL)SROIQV(D)。换句话说,包括。。。
  • 梅特尔

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

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

  • 参考第10条[sw07659]
  • 分析。方面是程序模块,包括描述关键事件(称为连接点。。。使用线性时间构造的机器逻辑(升)描述假设中,a描述...