-
烟雾
- 第238条引用[sw04631]
- Smodels系统是一个回答 设置基于稳定模型语义的程序设计（ASP）实现。。。逻辑程序使得回答 套程序的（稳定模型）对应于。。。找到引擎的逻辑回答 套程序的。。。
-
阿萨德
- 在168篇文章中引用[sw02524]
- 阿萨德(回答 套是一个计算系统回答 套... 将其转换为设置条款C。重复呼叫。。。存在）。如果M是回答 设置，然后返回。否则，会发现。。。
-
扣环
- 引用90篇文章[sw07095]
- 卡扣：冲突驱动回答 设置解算器。clasp是Potasco项目的一部分。。。Potasco下载页面。卡扣是一种回答 设置（扩展）正常逻辑程序的求解器。。。高级建模能力回答 设置编程（ASP）与最先进的技术。。。卡扣是为回答 设置基于冲突驱动的nogood学习解决问题。。。
-
外国佬
- 引用94篇文章[sw04630]
- 文档介绍了回答 设置编程（ASP）工具gringo，clasp，clingo。。。转化为等价的命题逻辑程序。这个回答 套这样的程序可以计算。。。
-
C模型
- 引用66篇文章[sw04435]
- Cmodels是一个计算回答 套对于析取逻辑程序或逻辑。。。包含选择规则的程序。回答 设置解算器Cmodels使用SAT解算器作为搜索引擎。。。两种语义之间的关系回答 设置逻辑程序的完成语义。。。一类叫做“紧”的程序回答 设置补全语义相当于语义。。。
-
钾肥
- 引用66篇文章[sw06996]
- Potasco：波茨坦回答 设置正在解决集合。本文概述了开放式。。。来源项目Potasco，波茨坦回答 设置解决收集，捆绑工具回答 设置编程。。。
-
保鲜膜
- 引用36篇[sw09892]
- 结合单片机的混合求解器回答 设置解算器Clingo和CSP解算器Gecode。保鲜膜。。。回答 设置（扩展）约束正常逻辑程序的求解器。它结合了高级建模。。。容量回答 设置具有约束求解的程序设计（ASP）。非线性有限整数上的约束。。。
-
诺莫尔
- 参考22篇文章[sw07094]
- 非单调推理系统回答 设置语义NoMoRe实现回答 设置语义学。。。实现了一种新的计算范式回答 套通过计算a-着色（非标准图。。。为回答 设置，这意味着noMoRe是基于规则的。。。
-
天冬氨酸
- 引用18条[sw08820号]
- aspatix:使用回答-设置编程。系统天冬氨酸是一个工具。。。框架作为输入，并使用回答-设置用于计算类型的求解器DLV。。。
-
喘息
- 参考11篇文章[sw07096]
- 喘息：回答 设置近几年来，懒散地编程，回答 设置编程已经获得。。。提出了一种新的计算方法回答 套一个回答 设置程序。提议。。。计算方法回答 套（与现有系统一样），但它使。。。在计算回答 套. 该实现是利用约束实现的。。。
-
海狮
- 在10篇文章中引用[sw30393]
- 海狮登陆：一个IDE回答-设置编程-初步报告。我们报道。。。集成开发环境（IDE）回答-设置编程（ASP）。海狮的主要目标。。。编写、评估、调试和测试回答-设置程序。为此，新的支持技术已经。。。符合回答-设置符合实际的语义约束。。。
-
f2lp公司
- 在10篇文章中引用[sw09898号]
- 系统f2lp–计算回答 套一阶公式。我们提出了一个实现。。。将稳定的模型语义转换为回答 设置程序，使现有回答 设置解算器。。。
-
Fg指数
- 引用9篇文章[sw18892]
- 提议首先获得一个候选人回答 设置通过过滤部分错误结果。。。当候选人的规模回答 设置很大。在本文中，我们建议。。。index返回精确的设置查询的答案没有进行候选验证。当查询。。。图，FG索引生成一个候选回答 设置这一点非常接近回答...
-
白杨
- 参考11篇文章[sw27492]
- aspeed:求解器调度通过回答 设置编程。虽然布尔约束技术已经取得了巨大的进步。。。建模和求解能力回答 设置程序设计（ASP）自动确定更精细，即。。。
-
ezcsp公司
- 引用8篇文章[sw27479]
- 允许计算扩展的推理机回答 套ASP程序，定义见[bal09a。。。约束规划（CP）。扩展的回答 设置一个ASP程序的P是一对。。。由回答 设置关于P，以及约束满足的解。。。这样定义的问题（CSP）回答 设置当前版本的EZCSP使用。。。
-
STeLP公司
- 在10篇文章中引用【sw09772】
- STeLP——时间工具回答 设置编程。本文介绍STeLP。。。求解器回答 设置用时态运算符编程。把一种特殊的输入。。。
