• RSBR公司_

  • 引用18条[sw02934]
  • 粗糙集布尔型 推理(RSBR)分别用于挖掘脑膜炎的if-then规则。。。
  • 计算

  • 参考6篇文章[sw13098]
  • 限制。某些正式的验证任务需要推理关于布尔型非线性算术约束的组合。。。凸约束产生于布尔型 推理,我们提供了一个生成保守近似值的程序。。。
  • CSIsat公司

  • 引用15篇文章[sw11407]
  • 解算器到原因关于布尔型结构。我们评估工具的效率。。。
  • 库贝

  • 27条引用[sw11381]
  • 量化布尔型公式(QBF)是人工智能研究中的一个重要课题。很多推理任务。。。
  • 卫星卫星

  • 引用21篇文章[sw13117]
  • RSat是一个完整的布尔型用这样一个详尽的搜索界面。。。RSat由加州大学洛杉矶分校自动化开发推理组。。。
  • 库贝++

  • 在26篇文章中引用[sw00766]
  • 布尔型公式(QBFs)。就我们所知,QuBE++是第一个QBF推理...
  • 稳定

  • 引用2篇文章[sw11913]
  • 硬验证问题组合求解器布尔型 推理计算机代数。本文介绍。。。
  • 隐匿的

  • 参考11篇文章[sw15824]
  • 弯曲固体合理的时间的长短。ESOLID表现准确布尔型使用精确表示的操作。。。
  • 傻瓜

  • 引用3篇文章[sw14287]
  • TPTP。支持推理关于使用运行的程序的属性布尔型价值观需要定理。。。
  • HiTag2

  • 引用9篇文章[sw14133]
  • 从两层结构来看布尔型Hitag2中的函数。然后我们研究一些。。。使用逻辑混合方法推理通过计算机计算,得到了精确的数值。。。
  • 英克雷斯特

  • 引用5篇文章[sw23448]
  • Inkrast:模态推理通过对SAT的增量简化,Inkrast是一个模型的验证程序。。。给定模态可满足性问题布尔型可满足性问题,然后用。。。
  • 很酷

  • 引用4篇文章[sw11992]
  • coalgebraic本体逻辑求解器Cool,一个通用的推理机情态决定了。。。支持一个通用的TBox并将一个布尔型阿博克斯。一般来说。。。采用最先进的技术推理者...
  • 次生质

  • 引用4篇文章[sw12542]
  • 分析事件树,因为这些树表示布尔型这些概念所依据的函数。。。尤其是在专家系统应用中,例如推理维护和多重故障诊断。应用程序。。。
  • MPIDepQBF

  • 引用4篇文章[sw18671]
  • 提出了一种解决量化问题的轻量级方法布尔型公式(QBFs)并行。特别地。。。基于假设的求解器DepQBF推理并将其集成到我们的新型解算器MPIDepQBF中。。。
  • 掷骰子

  • 1条引用[sw32060]
  • 实时人工智能问题。骰子提供渐进推理作为一种处理时间紧迫的方法。。。VAX/VMS环境。它提供了两者布尔型以及多值逻辑实现。一些关于语法的例子。。。
  • 瑞巴

  • 引用2篇文章[sw29435]
  • 本文介绍了REBA,一种知识表示和推理机器人架构是基于。。。动作语言扩展为支持-布尔型流水和非确定性因果律。。。历史记录并用于随后的粗略分辨率推理. 因此,该体系结构结合了互补的优势。。。
  • 吉美娜

  • 1条引用[SW354号文件]
  • 我们介绍并建立了Jimena仿真框架布尔型-ii)基于树的算法;(树结构)。。。此模型在合理的时间。(iii)离散模型的稳定状态是有效的。。。
  • 差异卫星

  • 1条引用[sw13372]
  • 求解的启发式极性决策算法布尔型可满足性(SAT)。该算法继承了许多特性。。。在一个合理的现在最好的SAT解算器。。。
  • 编码方式

  • 在0篇文章中引用[sw27506]
  • 基于API理解和扩展的搜索布尔型模型(E)。多年的软件。。。搜索工具往往不能令人满意。一个大调原因是现有的工具缺乏查询。。。通过应用扩展的布尔型模型,它考虑了。。。
  • 配置检查器

  • 1条引用[sw28842]
  • 容易出错的网络管理任务。为了这个原因网络错误配置成为主要来源。。。访问控制策略的语义布尔型使用二进制决策图(bdd)的函数。然后我们。。。