• 模特儿

  • 238篇参考文献[SW04631]
  • SMODES系统是一个答案集编程ASP基于稳定模型语义学的实现。正常的逻辑程序。基本理念ASP是对约束进行编码…
  • 扣环

  • 90篇参考文献[SW07095]
  • 回答集编程的水平建模能力ASP)用最先进的技术…可满足性检查(SAT)。不像其他学习ASP解决方案,扣不依赖于传统软件…求解器或任何其他现有ASP求解器。更确切地说,钩子是真正开发出来的答案…学习扣可以作为一个应用ASP求解器(关于SMODEL格式,作为输出…
  • 格林戈

  • 91篇参考文献[SW04630]
  • 答案集编程介绍ASP)工具Grango,扣,克林戈,和IcLIGO,开发…本文件旨在实现ASP新手利用上述工具…提供了它们的特性的参考ASP行家可能会想利用…
  • 黄蜂

  • 35篇参考文献[SW09565 ]
  • 黄蜂:本地人ASP基于约束学习的求解器。本文介绍了WASP…ASP求解器在稳定模型语义下处理析取逻辑程序。黄蜂最初实施技术…已经扩展到应付ASP程序其中重启、冲突驱动…专门设计的方法ASP计算,如源指针增强无基础…
  • 克林戈

  • 42篇参考文献[SW09893]
  • 因为GRIGO 4坚持最近ASP语言标准。用于处理遗留编码…
  • 克林贡

  • 36篇参考文献[SW09892]
  • 回答集编程的水平建模能力ASP)约束求解。非线性约束
  • 阿斯皮德

  • 12篇参考文献[SW06309]
  • 答案集编程。答案集编程ASP是一个真正的声明性编程范式提出…最近几年,一些工具ASP-程序开发已经提出,包括(更多…不太先进的编辑器和调试器。然而,ASP仍然缺乏集成开发环境(IDE)支持…全生命周期ASP开发,从(辅助)程序编辑到应用部署。在这…
  • DLV2

  • 9篇参考文献[ SW33094]
  • ASP系统DLV2。我们介绍了一个新的答案集编程DLV2(ASP)系统。DVL2结合…完全兼容的MaTCAL{I}MaTracm {-DLV})ASP-核心-2地雷,评估良好…过去基准的实证分析ASP比赛表明,DLV2优于…接近最先进的ASP系统链接…
  • ASP

  • 11篇参考文献[SW10790]
  • ASP微分方程近似对称性的自动符号计算。问题的性质:计算近似…
  • 歪斜的

  • 11篇参考文献[SW27 492 ]
  • 求解答案集编程的能力(英文)ASP自动确定更精细,也就是说,不均匀…多准则优化问题及其求解ASP编码。由此产生的编码很容易定制。
  • 塑料浆

  • 7篇参考文献[SW07080]
  • 基于PDDL的规划原型ASP. 我们提出了一个典型的系统,PACP,实施规划…编译-应答集编程ASP我们的方法灵感来自规划作为可满足性…基于元规划的规划技术建模ASP. 这有几个优点。第一,ASP模型…第二,我们可以利用现有的资源。ASP获得命题表示的基础。第三…
  • EZCSP

  • 7篇参考文献[SW27 79]
  • 这允许计算扩展的答案集。ASP程序,如[BAL09A,BAL09B]中定义的。直觉地…EZCSP允许轻量级集成ASP约束规划(CP)。一个扩展的答案…ASP程序P是由答案组成的一对…其他解算器可以指定为ASP求解器和BPROLG作为约束求解器。指定…
  • 恩托洛夫

  • 7篇参考文献[SW30415]
  • OntoDLV:一个ASP基于企业本体的系统。企业/企业本体被广泛应用于企业概念化。答案集编程的语义特征ASP,就像封闭的世界假设…文章介绍了一种基于OntoDLV的系统ASP对于企业的规范和推理…本体表示语言,称为OntoDLP,扩展(析取)ASP所有主要的本体特征包括…
  • 伊林戈

  • 12篇参考文献[SW11388 ]
  • ICLIGO是一个增量ASP系统在CLIGO之上实现。它是基于…
  • Calpple 2

  • 7篇参考文献[SW11706]
  • 基于获奖组合的构建ASP求解器CalpOpIO,我们提出CalpFoCo…轻量级版本ASP求解器扣以生成静态和动态实例特征…区别因素甚至超越ASP. 因此,它提供了一个独特的比较框架。
  • D平面

  • 6篇参考文献[SW09895]
  • 这项工作,我们提出答案集编程(ASP作为快速原型制造工具…必须在ASP语言D平面采用ASP求解者…此外,我们报告实验表明ASP基于D平面编码的一些问题…优于单片ASP小树宽实例的编码…
  • 钻石

  • 7篇参考文献[SW22086]
  • 本质上是答案集编程的集合(ASP编码抽象的辩证框架的语义…用一个调用脚本的包装脚本ASP解算器具有足够的编码对于给定的…
  • 科拉

  • 10篇参考文献[ SW0842]
  • Coala:从动作语言到编译器的编译器ASP. 动作语言允许紧凑地描述动态…