-
烟雾
- 引用238篇文章[sw04631]
- Smodels系统是一个回答 设置基于稳定模型语义的程序设计(ASP)实现。。。逻辑程序使得回答 套程序的(稳定模型)对应于。。。逻辑程序引擎来查找回答 套程序的。。。
-
阿萨德
- 在168篇文章中引用[sw02524]
- 阿萨德(回答 套是一个计算系统回答 套... 将其转换为设置条款C。重复呼叫。。。存在)。如果M是回答 设置,然后返回。否则,会发现。。。
-
扣环
- 引用90篇文章[sw07095]
- 卡扣:冲突驱动回答 设置解算器。clasp是Potasco项目的一部分。。。Potasco下载页面。卡扣是一种回答 设置(扩展)正常逻辑程序的求解器。。。高级建模能力回答 设置编程(ASP)与最先进的技术。。。卡扣是为回答 设置基于冲突驱动的nogood学习解决问题。。。
-
外国佬
- 引用97篇文章[sw04630]
- 文档介绍了回答 设置编程(ASP)工具gringo,clasp,clingo。。。转化为等价的命题逻辑程序。这个回答 套这样的程序可以计算。。。
-
C模型
- 引用66篇文章[sw04435]
- Cmodels是一个计算回答 套对于析取逻辑程序或逻辑。。。包含选择规则的程序。回答 设置解算器Cmodels使用SAT解算器作为搜索引擎。。。两种语义之间的关系回答 设置逻辑程序的完成语义。。。一类叫做“紧”的程序回答 设置语义相当于完成语义。。。
-
钾肥
- 引用71篇文章[sw06996]
- Potasco:波茨坦回答 设置正在解决集合。本文概述了这篇论文。。。来源项目Potasco,波茨坦回答 设置解决收集,捆绑工具回答 设置编程。。。
-
保鲜膜
- 在34篇文章中引用[sw09892]
- 结合单片机的混合求解器回答 设置解算器Clingo和CSP解算器Gecode。保鲜膜。。。回答 设置(扩展)约束正常逻辑程序的求解器。它结合了高级建模。。。容量回答 设置具有约束求解的程序设计(ASP)。非线性有限整数上的约束。。。
-
诺莫尔
- 参考22篇文章[sw07094]
- 非单调推理系统回答 设置语义NoMoRe实现回答 设置语义学。。。实现了一种新的计算范式回答 套通过计算a-着色(非标准图。。。为回答 设置,这意味着noMoRe是基于规则的。。。
-
天冬氨酸
- 引用18条[sw08820号]
- aspatix:使用回答-设置编程。系统天冬氨酸是一个工具。。。框架作为输入,并使用回答-设置用于计算类型的求解器DLV。。。
-
喘息
- 引用13篇文章[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。。。求解器回答 设置用时态运算符编程。把一种特殊的输入。。。
-
DLV2型
- 引用13篇文章[sw33094]
- DLV2。我们介绍DLV2,一种新的回答 设置程序设计(ASP)系统。DVL2联合收割机(数学。。。