结果1至20586
排序依据：

  • 烟雾
  • 引用238篇文章[sw04631]
  • 基于稳定的 模型正常逻辑程序的语义。基本的。。。编程使答案(稳定的 模型)对应于解决方案。。。

  • 黄蜂
  • 引用了35篇文章[sw09565]
  • 下析取逻辑程序的处理稳定的 模型语义学。黄蜂实施最初引进的技术。。。atom支持和技术稳定的 模型检查。关于分支启发式，WASP采用了。。。

  • L分析
  • 引用41篇文章[sw04633]
  • 其他几种语义（经典否定，部分稳定的 模型)把它们转换成正常的逻辑程序。。。

  • GNT公司
  • 参考22篇文章[sw00367]
  • 实验实现稳定的 模型析取逻辑程序的语义学。。。最低限度，如要求从分离稳定的 模型...

  • 微型发电机
  • 引用57篇文章[sw01425号]
  • a的属性稳定的大质量粒子模型. 最早是为了计算。。。文物密度稳定的大质量粒子，代码也计算直接。。。MSSM和各种扩展。扩展到其他模型可以由用户实现。。。

  • 稳定
  • 在102篇文章中引用[sw04843]
  • 稳定的密度和分布函数”，J.P.Nolan，公社。统计学家-随机的模型... Mallows和stick的生成算法稳定的随机变量。它也表现出最大的可能性。。。

  • f2lp公司
  • 在10篇文章中引用[sw09898号]
  • 通用语言的实现稳定的 模型由法拉利，李和利夫希茨提出。在。。。一阶理论稳定的 模型把语义转换成一个答案集程序，这样。。。规则。基于稳定的 模型在限定范围内，f2lp也可以服务于。。。

  • G配合
  • 引用15篇文章[sw14044]
  • GPfit包：高斯过程建模. 计算上的稳定的拟合高斯过程的方法。。。模拟昂贵的计算机模拟器。安装总成模型如果任何一对。。。在计算上提出稳定的装配总成的方法模型到确定性计算机模拟器。他们用。。。

  • 惯性矩
  • 引用24篇文章[sw10551]
  • 以前的分布构造更多稳定的插补估计模型. 我们的目标是。。。

  • STeLP公司
  • 在10篇文章中引用【sw09772】
  • 时间均衡模型（对稳定的 模型对于此扩展语法）。获得的。。。

  • 帕夫姆
  • 在10篇文章中引用[sw19053]
  • 参数脆弱性模型在R中，伽马，反高斯，正稳定的脆弱分布。。。至少一个群集。积极的稳定的 模型显示了类似的困难，但一个特别的解决方案。。。

  • XASP公司
  • 引用5篇文章[sw13876]
  • 斯莫代尔人的计划[14]稳定的 模型发电机。主界面基于。。。程序的完整表示稳定的 模型应该生成，子句被复制。。。调用，以及有关任何稳定的 模型返回生成的。XASP的这种用法。。。也通过稳定的 模型为各种装订而生产的。XASP的当前版本。。。

  • CSP校准仪
  • 引用15篇文章[sw11465]
  • Prover目前专注于稳定的失败模型作为潜在的指称语义学。。。

  • 乌尔德梅
  • 引用24篇文章[sw10400]
  • 反应扩散主方程形式模型正在研究的过程。一个接口。。。多物理）提供了一个稳定的和交互式环境模型施工。核心模拟程序。。。

  • 阿斯匹林
  • 引用8篇文章【sw30408】
  • 允许：计算最优稳定的 模型有偏好的逻辑程序，和；定义新的偏好。。。

  • ASPMT2SMT公司
  • 引用4篇文章[sw13280]
  • 基于泛函的模理论稳定的 模型语义学。结果表明，紧。。。从而使SMT解算器能够计算稳定的 模型ASPMT程序。在本文中。。。

  • 德里斯
  • 引用3篇文章[sw32312]
  • 逻辑程序，DeReS计算稳定的 模型并支持成员资格查询。。。部分或全部原子稳定的 模型. 这篇文章叙述了我们的初步。。。

  • 米兰达
  • 参考文献148篇[sw04986]
  • 更大的社区，以稳定的完整和文档化编程语言的实现。。。米兰达的基本思想是模型化在早期语言中。。。