本文介绍了基于图的解释Answer Set编程的离线和在线证明方法，并将其集成到计算模型中用于调试Answer Set程序。

Dec, 2008

本文提出了QELF来处理部分函数，并且将其与Scott存在逻辑做了直接联系，还介绍了一个实际应用，即将扩展后的常规逻辑程序转换成无函数的常规程序，可以使用任何标准ASP求解器计算其答案集。

Jun, 2010

本文介绍了一种基于可能逻辑的新ASP模型，称为Possibilistic answer set programming（PASP）。通过将对PASP程序中的规则的确定性附加到每个规则上，我们提出了一种更加合适的PASP语义，并且该框架可以轻松使用标准ASP求解器实现。

Mar, 2012

本文提出了一种基于Resource-Based Answer Set Semantics扩展XSB-Resolution逻辑编程的查询和答案过程。

Aug, 2016

本文介绍如何使用 Answer Set Programming 解决 OWL EL 本体语言下的描述逻辑 SROEL-R-T 中的实例检查问题，并利用小模型结果中的 ASP 编码将模型转换为答案集，从而在最小符合性推理下进行推理。

Aug, 2016

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

Dec, 2018

本文研究了抽象论证、非单调逻辑、论证框架、稳定扩展和松弛相容扩展之间的关系，比较了松弛稳定、状态和松弛相容扩展之间的异同，并阐述了松弛相容扩展的对称性。

Jul, 2019

该研究论文扩展了Answer Set Programming的基础框架，引入了条件表达式概念和聚合函数，重点研究了具有线性约束的逻辑程序，并实现了在混合ASP求解器上的条件聚合。

Feb, 2020

我们扩展了ASP的度量时态扩展的理论基础。基于Here-and-There逻辑和其不可逆扩展Equilibrium Logic的语义基础，我们使用一个有限步长的时间域开发了我们的逻辑。这使得我们能够在统一的框架下比较所有变体，并最终将它们组合在一起的实现中。

Aug, 2020

该研究在近似不动点理论的观点下重新考虑了选择用于回答集编程（ASP）中聚合的适当形式化问题，介绍了一种等同于基本ASP程序的Gelfond-Lifschitz规约的AFT形式化，并将其扩展到聚合处理。

Apr, 2021