• 格林戈

  • 91篇参考文献[SW04630]
  • 答案集介绍编程(ASP)工具格林戈,扣,克林戈,和伊林戈,开发…rST工具,格林戈是一个能翻译逻辑的地滚球程序由用户提供…逻辑程序. 这样的答案集程序可以通过卡环计算,其中…格林戈和扣,因此,作为一个整体求解器为用户程序. 最后,ICLIGO扩展…
  • 克林戈

  • 42篇参考文献[SW09893]
  • 答案集编程波茨坦大学的发展:CLIGO合并了两者格林戈扣上…
  • 奥克林戈

  • 12篇参考文献[SW09321]
  • 无功应答器系统编程延伸格林戈以及用于处理外部模块的卡环…
  • 国歌

  • 2篇参考文献[SW30423 ]
  • 颂歌:转变格林戈 程序一阶理论(初步报告)。在最近的一篇论文中…程序在ASP游戏机的输入语言中格林戈. 我们想…生成和简化完成公式程序在这种语言中,因为检查产生的输出…
  • 扣环

  • 90篇参考文献[SW07095]
  • 答案集的高层次建模能力编程(ASP)与最先进的技术…求解器(基于SMODEL格式,作为输出)格林戈作为一个SAT求解器(简化的…
  • 海狮

  • 10篇参考文献[SW3093]
  • 答案集的方法和方法程序在其背景下实现发展。目前。。。格林戈提供语法高亮显示、语法检查和可视化的DLV程序概述。进一步…
  • ASPMT2SMT

  • 4篇参考文献[SW13280]
  • 求解ASPMT稳定模型的求解器程序. 在本文中,我们提出了一个编译器…格林戈SMT求解器Z3。格林戈部分接地输入程序同时留下一些变量…
  • LP2正常

  • 3篇参考文献[SW25505]
  • 接地逻辑滤波器程序由地面工人生产的,如格林戈. 它提供了选项…使用可比技术的语句。产生的逻辑程序是对缺少工具的适当输入。
  • EZCSP

  • 7篇参考文献[SW27 79]
  • ASP的扩展答案集程序P是由答案组成的一对…EZCSP使用的当前版本格林戈+扣默认(LPARSE + SMODEL或其他解决方案…
  • HCLAP

  • 1篇参考文献[ SW33081]
  • 回答集中的领域特定启发式算法编程. 在AAAI。AAAI出版社。源代码…SooCeFig公司HCLAP可以与基座一起运行格林戈或者说……
  • L2SAT

  • 1篇参考文献[ SW33082]
  • L2SAT:这些工具翻译正常程序成一组子句,使…与现代地滚球一起使用,如格林戈. (参见PoassCo收藏)
  • IDPDRAW

  • 2篇参考文献[SW30412]
  • IDpDRAP是一种可视化有限结构的工具。