• 天冬氨酸

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

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

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

  • 参考6篇文章【sw30413】
  • 程序回答-设置语义学。回答-设置 编程(ASP)是一种新兴的逻辑-编程... 缺乏支持程序开发商。特别是,需要工具。。。调试逻辑的跟踪技术程序回答-设置语义学似乎很不自然,因为。。。spock,一个调试支持工具回答-设置 程序利用ASP本身。。。
  • 奥米加

  • 参考6篇文章[sw33084]
  • 提出一个新的解决方案回答-设置 程序其主要特征包括接地。。。准备好用于解决分布式回答-设置 程序. 求解器是用Java实现的。。。
  • 卡拉

  • 引用5篇文章[sw30392]
  • 翻译的视觉编辑回答-设置 程序. 回答-设置 编程(ASP),解决方案。。。
  • DLVHEX公司

  • 引用8篇文章[sw03032]
  • 程序,它是回答-设置 程序外部计算资源的整合。。。
  • 维迪亚斯

  • 引用3篇文章[sw09771]
  • VIDEAS:一个开发工具回答-设置 程序基于模型驱动工程技术。。。专用工具来缓解编程为了防止编程错误。最近,模型技术。。。开发过程。在世界上回答-设置 编程(ASP),情况不同。很多。。。图形化地支持回答-设置 程序,应用所提供的技术。。。
  • dynASP公司

  • 引用5篇文章[sw09817]
  • 提出一种新颖的命题系统回答-设置 编程(ASP)。这个系统叫做dynASP。。。
  • 乌胡拉

  • 1条引用[sw31979]
  • Uhura:一个用于指定回答-设置 程序使用自然语言。在这个。。。介绍开发工具Uhura回答-设置 程序通过指定问题描述。。。然后翻译成回答-设置 编程(ASP)规则。工具的目标是。。。支持不熟悉的用户回答-设置 编程-或者一般的基于逻辑的方法。。。
  • 拉娜

  • 1条引用[sw30403]
  • 注释回答-设置 程序在拉娜。过去的研究回答-设置 编程(ASP)主要是。。。特别是,我们建议增加回答-设置 程序有了额外的元信息。。。
  • 民主党

  • 引用2篇文章[sw27637]
  • 首选项聚合。陈述性的回答-设置 编程(ASP)和状态的表现。。。
  • xpath日志

  • 参考7篇文章[sw15782]
  • 逻辑-编程语言,同时也是一种等价物回答-设置评估XPathLog查询的语义。。。
  • 阿斯普多克

  • 1条引用[sw30404]
  • 注释回答-设置 程序在拉娜。。为了证明它的多功能性,我们介绍了两个这样的工具。。。
  • 阿斯单位

  • 1条引用[sw30405]
  • 注释回答-设置 程序在拉娜。。为了证明它的多功能性,我们介绍了两个这样的工具。。。
  • 超小卫星

  • 引用541篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。