MMJun, 2012

第三届开放式答案集编程竞赛

PDF
TL;DR本文报道了第三届 (开放式) ASP 竞赛的格式以及结果。该竞赛旨在比较不同基于声明性编程的系统在一系列基准问题上的表现，并讨论了竞赛与第二届 ASP 竞赛以及一些基准领域的最新解决方案的比较。
answer set programmingasp competitionbenchmark problemsdeclarative specification paradigmstate-of-the-art solutions
发现论文，激发创造
  • 第五届答案集程序设计竞赛的设计

    本文介绍了 Answer Set Programming 的发展历程、技术进展及其在解决相关问题中的应用，以比赛形式，特别是 ASP 竞赛，验证了 ASP 的优势和成就。该竞赛的第五届为了加入 FLoC 奥林匹克事件于维也纳逻辑学夏季活动 2014，预计是逻辑史上最大规模的事件。竞赛还推广了 ASP-Core-2 标准。

    May, 2014

  • 第七届答案集编程竞赛：设计与结果

    本文介绍了关于 Answer Set Programming 的比赛，并讨论了设计和结果。

    Apr, 2019

  • 一种多引擎的答案集编程方法

    本文提出了一种在现有 ASP 求解器基础之上通过应用机器学习方法，通过识别 ASP 程序的一组易于计算的句法特征，并对这些实例上的性能表现进行归纳学习算法选择策略，从而能够比第三届 ASP 竞赛的任何求解器都更有效地解决实例。

    Jun, 2013

  • 非基础规则在答案集编程中的威力

    该论文提出了一种新的 ASP 编码模式，通过利用实际问题的大规则来编码难题，尤其针对 NP 问题能提供更强的表达能力，并且提供基于规则分解技术的解决方案，初步的基准测试表明，放弃固定程序的简便方式可以显著提高速度。

    Aug, 2016

  • 验证答案集编程的工具和方法

    该研究的目标是扩展支持 ASP 程序验证的工具和理论，旨在促进知识表示和推理的发展，并解决人工智能中的可靠性和可解释性问题。

    Aug, 2022

  • 模块化答案集编程作为正式规范语言

    本篇论文研究了 ASP 的形式验证问题，通过使用基于 ASP 模块的形式化规范语言，将 ASP 模块与问题实例正确地相对应，从而证明了逻辑程序 P 的正确性，这种模块化的规范语言包含了可能嵌套的一阶程序模块，可以在不同层次上包含本地隐藏原子。

    Aug, 2020

  • 基于启发式分解的答案集计算优化

    该研究提出了一种新的优化方法，基于树分解技术和启发式算法，可以将一个输入的逻辑程序转化为一个等价的程序以提高 ASP 系统的求解效率，并在实验中验证了其有效性。

    Dec, 2018

  • 一个便于应用嵌入 Answer Set Programming 的开发框架

    该研究论文介绍了一种将 Answer Set Programming（ASP）的知识表示和推理能力整合到通用应用程序中的框架，并且展示了在不同平台的 ASP 系统中，特定化该框架的正确方法，包括移动平台和教育场景，并开发了几个基于 ASP 的应用程序。

    Jul, 2017

  • 可行的答案集编程后门

    本文介绍了如何使用 backdoors 的概念来识别能够使 ASP 问题可行的新限制，展示了 backdoors 如何作为一个统一的框架，能够容纳文献中已知的几个可行限制，并展示了如何利用 backdoors 将参数化复杂性理论的最新算法结果应用到答案集编程领域。

    Apr, 2011

  • ASP 程序的部分编译

    本文提出了一种扩展的 ASP 系统结构，其中将输入程序的部分编译为特定的二进制，并可能不受基础步骤的限制。我们提出了相关的部分编译技术，并在一个著名的 ASP 求解器上实现了新方法。结果表明，基于编译的方法对于各种用例都有改进。

    Jul, 2019