• C模型

  • 引用66篇文章[sw04435]
  • 它计算两种方法的答案集析取逻辑程序或逻辑程序包含选择规则。。。程序--可能的解决方案析取 程序SAT求解器zChaff也被使用。。。
  • GNT公司

  • 参考第22条[sw00367]
  • 的稳定模型语义析取逻辑程序[Gelfond和Lifschitz,1991年]。我们的实施是。。。交互smodels解算器-析取 程序. 其中一个负责。。。
  • LogMIP公司

  • 参考第22条[sw05035]
  • 程序用于求解线性和非线性析取 编程问题,包括二进制变量和分离定义。。。
  • 黄蜂

  • 引用36篇[sw09565]
  • 介绍了一个ASP解决方案处理WASP析取逻辑程序在稳定的模型语义下。黄蜂。。。
  • DLV公司

  • 引用了30篇文章[sw04640]
  • 演绎数据库系统,基于析取逻辑编程,为一些高级。。。
  • 天冬氨酸

  • 引用18条[sw08820号]
  • aspatix:使用答案集实现论证框架编程. 系统天冬氨酸是一个工具。。。因此。天冬氨酸依赖于析取数据日志程序举个例子。。。
  • 皮塔

  • 17条引用[sw06950]
  • 独立选择逻辑程序带注释的析取(lpad)、Problog、PRISM等。这些语言。。。翻译的方法已经被设计出来了程序在这些语言之间。计算的复杂性。。。
  • DLPEQ公司

  • 引用4篇文章[sw33088]
  • 测试等效性的工具析取逻辑程序. 翻译dlpeq是一个实现。。。弱等价性的证明析取逻辑程序在[OJ,LPNMR'04]中。它的设计。。。
  • cc(FD)

  • 17条引用[sw21237]
  • 约束逻辑的扩展编程(CLP)计划[21]。它的约束求解器包括(非线性)算法。。。一般用途的组合词,特别是基数,构造性的分离,以及阻止暗示,与。。。非基本约束的定义和析取在语言层面上加以解决。实施。。。问题。此外,一个小的cc(FD)程序能够找到最佳解决方案。。。
  • TCAS系统

  • 引用5篇文章[sw21413]
  • 将约束传播与线性编程解条件析取有界整数上的约束系统。。。
  • selp公司

  • 引用3篇文章[sw31006]
  • 答案集语言版本编程(ASP)特别是允许用户。。。将ELP输入非接地析取ASP程序,利用长规则体。。。
  • 保鲜膜

  • 引用了43篇文章[sw09893]
  • 解决集合,捆绑回答集的工具编程波茨坦大学开发的:Clingo。。。因此现在支持并行和析取解决问题。注意!外国佬的语言。。。
  • 阿斯普图尔斯

  • 1条引用[sw33089]
  • 模型和SE模型程序;dencode:编码析取规则;揭露:揭示隐藏的原子。。。它们的名称;删除:从程序(随机);igen:添加一个输入生成器。。。逻辑的代码列表程序;lpshift:移位析取规则到普通规则;modlist:拆分。。。
  • 参考6篇文章[sw21178]
  • 广泛应用于程序分析。近似上最简单的数值域分离通过一个不精确的。。。
  • 恰当的

  • 引用3篇文章[sw29303]
  • 执行约束逻辑程序可以概念上显示为搜索树,其中。。。连词和析取. 此树表示程序...
  • 匕首

  • 引用15篇文章[sw04953]
  • 解释。抽象解释技术证明程序通过计算抽象不动点。所有这些分析。。。拓宽(2)新的处理方法析取因为精致而产生的。。。能够证明C的性质程序超出了当前抽象细化工具的范围,例如。。。
  • 客车总成

  • 在10篇文章中引用[sw09137]
  • 论文我们提出GP-COACH基因编程-紧凑型学习法。。。高维问题。教练学习总成析取标准格式规则(通过。。。
  • NP数据日志

  • 引用9篇文章[sw13446]
  • 仅使用受限形式的语言分离定义(不确定的)子集(或分区。。。系统将“目录查询”转换为优化编程语言(OPL)程序执行的。。。