• 烟雾

  • 引用238篇文章[sw04631]
  • Smodels系统是一个回答 设置 编程(ASP)基于稳定模型语义的实现。。。逻辑程序以至于回答 (稳定模型)程序符合。。。
  • 外国佬

  • 引用94篇文章[sw04630]
  • 介绍回答 设置 编程(ASP)工具gringo,clasp,clingo和iclingo。。。逻辑程序由用户提供等价命题逻辑程序. 这个回答 这样的。。。作为用户的整体解算器程序. 最后,iclingo通过增量扩展clingo。。。本文件旨在ASP新手使用上述工具。。。
  • 扣环

  • 引用90篇文章[sw07095]
  • 高级建模能力回答 设置 编程(ASP)用最先进的技术。。。满意度检查(SAT)。与其他学习不同ASP解算器,clasp不依赖遗留软件。。。其他现有ASP解算器。更确切地说,卡扣是为回答 设置基于解决。。。
  • 保鲜膜

  • 引用36篇[sw09892]
  • 高级建模能力回答 设置 编程(ASP)使用约束求解。限制。。。
  • 阿斯匹德

  • 参考12篇文章[sw06309]
  • 环境回答 设置 编程.回答 设置 编程(ASP)是一个真正的声明编程范式。。。
  • 白杨

  • 参考11篇文章[sw27492]
  • 建模和求解能力回答 设置 编程(ASP)自动确定更精细的,那。。。
  • 海狮

  • 在10篇文章中引用[sw30393]
  • 集成开发环境(IDE)回答-设置 编程(ASP). 海狮的主要目标。。。编写、评估、调试和测试回答-设置 程序. 为此,新的支持技术已经。。。
  • ezcsp公司

  • 引用8篇文章[sw27479]
  • 允许计算扩展的引擎回答 属于ASP 程序,如[bal09a,bal09b。。。编程(CP)。扩展的回答 设置一个ASP 程序P是一对由。。。满足问题(CSP)由这样的定义回答 设置当前版本的EZCSP。。。其他解算器可以指定为ASP解算器和BProlog作为约束解算器。指定。。。
  • DLV2型

  • 引用9篇文章[sw33094]
  • 介绍DLV2,一种新的回答 设置 编程(ASP)系统。DVL2结合(mathcal{I}mathrm。。。
  • 普拉斯普

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

  • 参考7篇文章[sw30415]
  • 本体论:一个ASP-基于系统的企业本体论。企业/企业本体论被广泛地用于概念化业务。。。区域的语义特点回答 设置 编程(ASP)就像封闭世界假设。。。
  • 钻石

  • 参考7篇文章[sw22086]
  • 基本上是回答 设置 编程(ASP)抽象辩证框架的语义编码。。。
  • 斯波克

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

  • 参考6篇文章[sw09895]
  • 这项工作,我们提议回答-设置 编程(ASP)作为快速成型的工具。。。
  • 卡拉

  • 引用5篇文章[sw30392]
  • 回答-设置 程序. 回答-设置 编程(ASP),一个问题的解决方案被编码。。。逻辑理论。这些回答 程序这代表了理论。。。一种ASP解算器并作为首先是地面。。。iddpraw的开发允许可视化回答 . 卡拉的工具,在这里介绍。。。
  • dynASP公司

  • 引用5篇文章[sw09817]
  • 新颖的命题系统回答-设置 编程(ASP). 这个系统叫做dynASP,是基于。。。
  • 芦笋

  • 引用5篇文章[sw08841]
  • 基于网络的芦笋基准环境:回答 设置 编程(ASP)出现于20世纪90年代末。。。
  • 猿类

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

  • 参考第4条[sw21395]
  • 随机测试工具回答 设置 编程(ASP)允许合并约束。。。输入。由于ASP,可以说。。。纸张允许随机测试回答 设置 程序其中两个测试输入生成。。。使用ASP本身:测试输入空间是用。。。
  • 电影

  • 引用3篇文章[sw27497]
  • 语义到逻辑程序属于回答 设置 编程(ASP)他们并没有带来高效。。。由此产生的逻辑程序给了一个回答 设置求解器计算模型。。。多镜头ASP,由迭代组成回答 设置变化的计算程序不重新启动。。。