• 烟雾

  • 引用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]
  • 更大的社区,以稳定的完整和文档化编程语言的实现。。。米兰达的基本思想是模型化在早期语言中。。。