• DLV2型

  • 引用9篇文章[sw33094]
  • DLV2。我们介绍DLV2,一种新的回答 设置 编程(ASP)系统。DVL2联合收割机(数学。。。
  • DLVHEX公司

  • 引用8篇文章[sw03032]
  • 程序,它是回答-设置 程序外部计算资源的整合。。。
  • 卡拉

  • 引用5篇文章[sw30392]
  • 翻译的视觉编辑回答-设置 程序. 回答-设置 编程(ASP),解决方案。。。逻辑理论。这些回答 根据程序这代表了理论。。。解算器并作为基本一阶字面值。就这样。。。iddpraw的开发允许可视化回答 . 卡拉的工具,在这里介绍。。。
  • ezcsp公司

  • 引用8篇文章[sw27479]
  • 允许计算扩展的引擎回答 ASP的程序,如[bal09a,bal09b。。。约束编程(CP)。扩展的回答 设置ASP的程序P是一对。。。
  • 阿斯维兹

  • 引用4篇文章[sw30389]
  • ASPVIZ:使用回答 设置 编程.回答 设置 编程提供强大的。。。回答 我们利用回答 设置 编程来定义视觉化是如何。。。协助调试回答 设置 程序因为他们的声明。。。传统方法:视觉渲染回答 提供了一种帮助程序员识别错误的方法。。。
  • 斯波克

  • 引用5篇文章【sw30413】
  • 程序回答-设置语义学。回答-设置 编程(ASP)是一种新兴的逻辑-编程... 调试逻辑的跟踪技术程序回答-设置语义学似乎很不自然,因为。。。spock,一个调试支持工具回答-设置 程序利用ASP本身。。。与实际计算无关回答 ...
  • 奥米加

  • 引用5篇文章[sw33084]
  • 提出一个新的解决方案回答-设置 程序其主要特征包括接地。。。分布式解决回答-设置 程序. 求解器是用Java实现的。。。
  • 钻石

  • 参考7篇文章[sw22086]
  • 钻石本质上是回答 设置 编程(ASP)抽象语义编码。。。
  • 普拉斯普

  • 参考7篇文章[sw07080]
  • plasp,通过编制实施规划回答 设置 编程(ASP)。我们的方法受到启发。。。
  • 本体论

  • 参考7篇文章[sw30415]
  • 这一领域的语义特点回答 设置 编程(ASP),就像封闭世界假设。。。
  • 卡扣福利奥2

  • 参考7篇文章[sw11706]
  • 算法选择的研究进展回答 设置 编程. 基于屡获殊荣的投资组合。。。
  • CCalc公司

  • 引用75篇文章[sw09899]
  • 与默认逻辑和逻辑相关编程. 计算上,CCalc使用可满足性规划的思想。。。州立大学,使用回答 设置解算器而不是SAT解算器。。。
  • ASPMT2SMT公司

  • 引用4篇文章[sw13280]
  • 用SMT求解器计算ASPMT理论。回答 设置 编程模理论(ASPMT)是一种。。。结合回答 设置 编程以及基于功能稳定模型语义的可满足模理论。。。
  • 猿类

  • 引用5篇文章[sw30402]
  • 支持逻辑编程范式回答 设置 编程(ASP),特别是当更大规模的应用程序。。。
  • 哈维

  • 引用4篇文章[sw21395]
  • 随机测试工具回答 设置 编程(ASP)允许合并约束。。。纸张允许随机测试回答 设置 程序其中两个测试输入生成。。。
  • 茶匙

  • 引用3篇文章[sw27500]
  • 基于课程的课程时间表问题回答 设置 编程.回答 设置 编程...
  • 电影

  • 引用3篇文章[sw27497]
  • 动态逻辑程序通过多镜头回答 设置 编程. 基于因果拒绝的更新语义。。。将语义更新为逻辑程序属于回答 设置 编程(ASP),他们有。。。由此产生的逻辑程序给了一个回答 设置求解器计算模型。。。由迭代组成回答 设置变化的计算程序不用从头开始。。。
  • 维迪亚斯

  • 引用3篇文章[sw09771]
  • VIDEAS:一个开发工具回答-设置 程序基于模型驱动工程技术。。。专用工具来缓解编程为了防止编程错误。最近,模型技术。。。开发过程。在世界上回答-设置 编程(ASP),情况不同。很多。。。图形化地支持回答-设置 程序,应用所提供的技术。。。
  • dynASP公司

  • 引用5篇文章[sw09817]
  • 提出一种新颖的命题系统回答-设置 编程(ASP)。这个系统叫做dynASP。。。
  • 干杯

  • 引用3篇文章[sw32206]
  • 吐司:涂抹回答 设置 编程超优化。回答 设置 编程(ASP)是一种形式。。。声明的编程特别适用于困难的组合搜索问题。然而。。。应用程序,TOAST(使用回答 设置技术)系统,寻求产生最佳。。。