• 烟雾

  • 第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,波茨坦回答 设置解决收集,捆绑工具回答 设置编程。。。
  • 保鲜膜

  • 引用了55篇文章[sw09893]
  • 波茨坦钾肥公司回答 设置解决集合,捆绑工具回答 设置编程开发。。。
  • CCalc公司

  • 引用75篇文章[sw09899]
  • 州立大学,使用回答 设置解算器而不是SAT解算器。。。
  • 保鲜膜

  • 引用36篇[sw09892]
  • 结合单片机的混合求解器回答 设置解算器Clingo和CSP解算器Gecode。保鲜膜。。。回答 设置(扩展)约束正常逻辑程序的求解器。它结合了高级建模。。。容量回答 设置具有约束求解的程序设计(ASP)。非线性有限整数上的约束。。。
  • 诺莫尔

  • 参考22篇文章[sw07094]
  • 非单调推理系统回答 设置语义NoMoRe实现回答 设置语义学。。。实现了一种新的计算范式回答 通过计算a-着色(非标准图。。。回答 设置,这意味着noMoRe是基于规则的。。。
  • 天冬氨酸

  • 引用18条[sw08820号]
  • aspatix:使用回答-设置编程。系统天冬氨酸是一个工具。。。框架作为输入,并使用回答-设置用于计算类型的求解器DLV。。。
  • 喘息

  • 参考11篇文章[sw07096]
  • 喘息:回答 设置近几年来,懒散地编程,回答 设置编程已经获得。。。提出了一种新的计算方法回答 一个回答 设置程序。提议。。。计算方法回答 (与现有系统一样),但它使。。。在计算回答 . 该实现是利用约束实现的。。。
  • 海狮

  • 在10篇文章中引用[sw30393]
  • 海狮登陆:一个IDE回答-设置编程-初步报告。我们报道。。。集成开发环境(IDE)回答-设置编程(ASP)。海狮的主要目标。。。编写、评估、调试和测试回答-设置程序。为此,新的支持技术已经。。。符合回答-设置符合实际的语义约束。。。
  • 阿斯匹德

  • 参考12篇文章[sw06309]
  • ASPIDE:集成开发环境回答 设置编程。回答 设置编程(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。。。求解器回答 设置用时态运算符编程。把一种特殊的输入。。。
  • 奥克林戈

  • 参考12篇文章[sw09321]
  • oClingo是一个反应系统回答 设置编程,扩展gringo和卡扣处理。。。