• CCalc公司

  • 引用75篇文章[sw09899]
  • 实现因果关系的一个片段逻辑在论文“非单调因果理论。。。CCalc的语言与违约 逻辑逻辑编程。在计算上,CCalc使用了一些想法。。。
  • dl2asp

  • 引用2篇文章[sw00208]
  • dl2asp:实现违约 逻辑通过应答器编程。在本文中,我们证明了赖特。。。违约 逻辑在命题的情况下,可以通过识别。。。a中公式之间的内部关系违约理论。基于。。。这个想法,我们实现了一个新的违约 逻辑解算器–dl2asp。我们报告了一些实验结果。。。
  • 德里斯

  • 引用3篇文章[sw32312]
  • 推理系统,叫做DeReS。DeReS工具违约 逻辑通过支持几个基本的推理。。。
  • 达尔

  • 1条引用[sw25431]
  • 约束有理的定理证明器违约 逻辑学.违约 逻辑学代表一个重要的班级。。。简单而有力的推理规则,称为默认值,这些逻辑系统模型推理模式。。。与点相反”,从而使违约推理,一种特殊的非单调推理。。。约束有理命题的证明器违约 逻辑学. 语义表方法的修改版本。。。
  • 赛车手

  • 引用了65篇文章[sw09837]
  • 高度优化的表演算描述逻辑SRIQ(D)。Racer是继任者。。。Lispworks,也适用于它(setf asdf::*违约-编码*:违约)应进行评估。赛车手分布。。。提供推理服务,例如。,符合逻辑的绑架。Racer还提供强大的。。。
  • CITP公司

  • 参考6篇文章[sw25269]
  • 以构造函数为基础指定逻辑学. CITP配备有违约验证策略。。。
  • BL2D-V2型

  • 引用31篇文章[sw10378]
  • 内部生成点遵循一个正面逻辑他们之间的联系被意识到了。。。横坐标。内部中间节点是违约,在相应边的中间。。。
  • 骨髓基质细胞

  • 参考7篇文章[sw09946]
  • 使用SMT的输出验证条件逻辑学QF_AUFBV和QF_AUFLIRA。ESBMC是建立在。。。框架。ESBMC使用SMT解算器Z3(违约)还包括。。。
  • 显示模块

  • 1条引用[sw20178]
  • 变量违约所有内在类型(整数、实数、复杂、,符合逻辑的,和性格。。。
  • FPL公司

  • 引用2篇文章[sw21298]
  • 值可以是违约,以下数据类型之一:Integer(种类。。。实数(4、8类);合乎逻辑的;字符串。值可以是标量或数组。。。
  • AMG2013年

  • 引用5篇文章[sw13861]
  • 基准测试可以构建各种测试问题。这个违约问题是拉普拉斯类型的问题。。。通过简单地将网格细分为符合逻辑的...
  • 瑞巴

  • 引用2篇文章[sw29435]
  • 描述,以及包含优先顺序的历史记录默认值,被翻译成一个答案集序言。。。非单调表示与推理逻辑-不确定性和不完全性的基于概率的描述。。。具有可靠和高效的推理能力默认值嘈杂的观察和不可靠的行动,在复杂的。。。
  • 数学软件

  • 引用5756篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 濑户

  • 引用了119篇文章[sw00707]
  • SETHEO:一个高性能的定理证明器。报纸。。。
  • R

  • 引用7785篇文章[sw00771]
  • 是一种统计语言和环境。。。
  • 太阳能

  • 引用18条[sw00888]
  • 太阳能(SOLAR for Advanced Reasoning)是第一个。。。