• 烟雾

  • 引用238篇文章[sw04631]
  • Smodels系统是一个回答 套装 编程(ASP)基于稳定模型语义的实现。。。逻辑上的问题程序以至于回答 (稳定模型)程序...程序引擎来找到回答 程序...
  • 外国佬

  • 引用94篇文章[sw04630]
  • 文档介绍了回答 设置 编程(ASP)工具gringo,卡扣,保鲜膜。。。用户进入等价命题逻辑程序. 这个回答 这样的程序可以计算。。。
  • 扣环

  • 引用90篇文章[sw07095]
  • 卡扣是一种回答 设置(扩展)正常逻辑的求解器程序. 它结合了。。。高级建模能力回答 设置 编程(ASP)采用最先进的技术。。。卡扣是为回答 设置基于冲突驱动的nogood学习解决问题。。。
  • C模型

  • 引用66篇文章[sw04435]
  • 回答 对于任一个析取逻辑程序或逻辑程序包含选择规则。回答... 等级程序叫紧了,那个回答 设置语义相当于完成语义。。。那个回答 为了这样一个程序可由SAT解算器枚举。。。“根据需要”计算公式回答 程序...
  • 钾肥

  • 引用66篇文章[sw06996]
  • 解决收集,捆绑工具回答 设置 编程在波茨坦大学开发的。。。
  • 阿萨德

  • 在168篇文章中引用[SW024号文件]
  • 计算系统回答 逻辑的程序通过使用SAT解算器。简而言之。。。给定的逻辑程序P、 ASSAT(X),取决于使用的SAT解算器X。。。将其转换为设置条款C。重复呼叫。。。存在这样的M)。如果M是回答 设置,然后返回。。。
  • 保鲜膜

  • 引用了43篇文章[sw09893]
  • 解决集合,捆绑工具回答 设置 编程波茨坦大学开发的:Clingo。。。
  • 保鲜膜

  • 引用36篇[sw09892]
  • Clinccon是一个回答 设置(扩展)约束正规逻辑的求解器程序. 它结合了。。。高级建模能力回答 设置 编程使用ASP(约束)求解。限制。。。
  • 阿斯匹德

  • 参考12篇文章[sw06309]
  • ASPIDE:集成开发环境回答 设置 编程.回答 设置 编程(ASP)是一个真正的。。。
  • 喘息

  • 参考11篇文章[sw07096]
  • 喘息:回答 设置 编程近几年来由于懒散的停滞不前,回答 设置 编程已经获得。。。计算回答 一个回答 设置 程序. 所提出的方法保持了一个底部。。。计算方法回答 (与现有系统一样),但它使。。。回答 . 该实现采用约束逻辑实现编程在有限域上。。。
  • 天冬氨酸

  • 引用18条[sw08820号]
  • aspatix:使用回答-设置 编程. 系统天冬氨酸是一个工具。。。程序它以论证框架的实例作为输入,并使用回答...设置用于计算用户指定的扩展类型的解算器DLV。。。
  • 海狮

  • 在10篇文章中引用[sw30393]
  • 海狮登陆:一个IDE回答-设置 编程-初步报告。我们报道。。。集成开发环境(IDE)回答-设置 编程(ASP)。海狮的主要目标。。。编写、评估、调试和测试回答-设置 程序. 为此,新的支持技术已经。。。方法和方法项目回答-设置 程序在其背景下的发展。。。
  • 诺莫尔

  • 参考22篇文章[sw07094]
  • 语义NoMoRe实现回答 设置正常逻辑语义学程序. 它实现了一种新颖的范式。。。计算回答 通过计算a-着色(两种颜色的非标准图形着色。。。程序美元P$。直观地说,a-着色反映了设置回答... 核心系统是为命题设计的程序只是,我们集成了lparse作为基础。。。
  • 白杨

  • 参考11篇文章[sw27492]
  • aspeed:求解器调度通过回答 设置 编程. 虽然布尔约束技术已经取得了巨大的进步。。。建模和求解能力回答 设置 编程(ASP)自动确定更精细,即。。。
  • STeLP公司

  • 在10篇文章中引用【sw09772】
  • STeLP——时间工具回答 设置 编程. 本文介绍STeLP。。。求解器回答 设置 编程使用时间运算符。把一种特殊的输入。。。
  • f2lp公司

  • 在10篇文章中引用[sw09898号]
  • 将稳定的模型语义转换为回答 设置 程序,所以现有的回答 设置解算器。。。
  • 奥克林戈

  • 参考12篇文章[sw09321]
  • oClingo是一个反应系统回答 设置 编程,伸出gringo和卡扣进行处理。。。
  • 阳光明媚

  • 参考11篇文章[sw31800]
  • 将它们导出到诸如回答 设置 编程逻辑与约束编程...
  • 在10篇文章中引用[sw08842]
  • 通常通过编译来实现,例如回答 设置 编程. 最后,我们开发了。。。
  • D-扁平

  • 参考6篇文章[sw09895]
  • 使用树分解和回答-设置 编程. 在这项工作中,我们提议回答...