精选理由
ASP(Q)扩展了回答集编程的表达力，做逻辑编程和知识表示的团队可以关注这篇——它既给出了理论复杂度边界，又提供了实用的CEGAR实现策略，值得一试。
本文研究了带弱约束的两量词ASP(Q)程序（2-ASP(Q)^w），这是回答集编程的扩展，能够表达Delta_3^P类优化问题。理论方面，给出了主要计算任务的完整复杂度刻画，包括紧的完备性结果和之前未处理的非平凡情况。实践方面，在Casper系统中引入了基于反例引导抽象精化（CEGAR）的新策略来计算（最优）量化回答集。实验表明，该方法在多个应用领域的硬基准测试中效果显著。
AI 翻译 · 中文
本文研究了带弱约束的两量词ASP(Q)程序（2-ASP(Q)^w），这是回答集编程的扩展，能够表达Delta_3^P类优化问题。理论方面，给出了主要计算任务的完整复杂度刻画，包括紧的完备性结果和之前未处理的非平凡情况。实践方面，在Casper系统中引入了基于反例引导抽象精化（CEGAR）的新策略来计算（最优）量化回答集。实验表明，该方法在多个应用领域的硬基准测试中效果显著。
ASP(Q) extends Answer Set Programming (ASP) with Quantifiers over answer sets. In this paper we focus on the class of ASP(Q) programs with two quantifiers and weak constraints, denoted as 2-ASP(Q)^w. 2-ASP(Q)^w is a prac…