• 烟雾

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

  • 引用110篇文章[sw04630]
  • 文档介绍了回答 设置 编程(ASP)工具gringo,clap,clingo…用户变成等价的命题逻辑程序. The回答 这样的程序可以计算。。。
  • 扣环

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

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

  • 在106篇文章中引用[sw09893]
  • 解决集合,捆绑工具回答 设置 编程波茨坦大学开发的:Clingo。。。
  • 钾肥

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

  • 引用176篇文章[sw02524]
  • 计算系统回答 逻辑的程序通过使用SAT解算器。简单地说…给一个基本的逻辑程序P、 ASSAT(X),取决于所使用的SAT解算器…将其转换为设置条款C。重复呼叫…这样的M存在)。如果M是回答 设置,然后返回。。。
  • 保鲜膜

  • 在39篇文章中引用[sw09892]
  • Clinccon是一个回答 设置(扩展)约束正规逻辑的求解器程序它结合了…的高级建模能力回答 设置 编程(ASP)与约束求解。限制。。。
  • 喘息

  • 引用19篇文章[sw07096]
  • 喘息:回答 设置 编程懒散地停滞不前。近年来,回答 设置 编程已经获得…计算回答 一个回答 设置 程序。所提议的方法保持了一种底部…方法来计算回答 (与现有系统一样),但它使。。。回答 实现采用了约束逻辑编程在有限域上。。。
  • 阿斯匹德

  • 在14篇文章中引用[sw06309]
  • ASPIDE:集成开发环境回答 设置 编程.回答 设置 编程(ASP)是一个真正的。。。
  • DLV2型

  • 引用23条[sw33094]
  • DLV2。我们介绍DLV2,一种新的回答 设置 编程(ASP)系统。DVL2联合收割机(数学。。。
  • 天冬氨酸

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

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

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

  • 在10篇文章中引用【sw09772】
  • STeLP——时间工具回答 设置 编程在本文中,我们提出STeLP…解算器回答 设置 编程使用时间运算符。把一种特殊的输入。。。
  • 奥米加

  • 在10篇文章中引用[sw33084]
  • 提出一个新的解决方案回答-设置 程序其主要特点包括接地…准备用于解决分布式问题回答-设置 程序求解器是用Java语言实现的。。。
  • 白杨

  • 在10篇文章中引用[sw27492]
  • aspeed:求解器调度通过回答 设置 编程.虽然布尔约束技术已经取得了巨大的进步…建模和求解能力回答 设置 编程(ASP)自动确定更精细,即。。。
  • 奥克林戈

  • 在14篇文章中引用[sw09321]
  • oClingo是一个反应系统回答 设置 编程,伸出gringo和卡扣进行处理。。。
  • ezcsp公司

  • 参考12篇文章[sw27479]
  • 允许计算扩展的引擎回答 ASP的程序,如[bal09a,bal09b…约束中定义的编程(CP)。扩展的回答 设置ASP的程序P是一对。。。
  • f2lp公司

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