本文提出一种参数化的等价概念，同时限制了规则头和规则体中允许出现的原子，该方法是用于逻辑编程中应对强等价和一般等价的一种新的实现方式。

Dec, 2007

本文研究了具有（抽象的）约束原子的逻辑程序的稳定模型语义及其性质，并提出了简洁的抽象表示方法，该方法可以将稳定模型泛化到任意的约束原子逻辑程序中。我们还展示了如何通过这个抽象表示方法来推广现有的方法，并进一步扩展了用于普通原子逻辑程序的标准特征和性质。

Apr, 2009

通过扩展正常逻辑编程的概念和结果，我们研究了具有单调和凸约束条件的程序的性质，这些结果为一些最近扩展的逻辑编程提供了抽象的概述，并应用这些结果进一步提出了通过伪布尔约束的通用求解器计算lparse程序稳定模型的方法，这种方法通常比smodels系统更快。

Sep, 2011

本文提出了两种方法来定义任意类型抽像限制原子（c-atoms）的逻辑程序的答案集，这些定义泛化了正常逻辑程序的修正点和级别映射基础的答案集语义，其中包括四种不同的答案集定义，这四种在应用于正常逻辑程序时是相等的。

Oct, 2011

研究了如何利用命题可满足性 (SAT) 解决比 NP 或 co-NP 更困难的问题，特别是对命题析取答案集编程中的基本推理问题进行探讨，介绍了利用新的 Parameterized Complexity 技术从 Brave 和 Skeptical Reasoning 转换到 SAT 的方法。

Jan, 2013

本文分析了规则体中拥有凸广义原子的程序类，发现对于大部分语义，这个类中提出的许多语义是一致的。这是一个有趣的结果，因为最近已经表明，这个类是FLP语义的确切复杂性边界。

Dec, 2013

该研究使用 Bartholomew 和 Lee 的函数稳定模型语义，提供了关于强否定的另一种描述方式，并表明非布尔内涵函数可以用强否定表示以计算函数稳定模型语义。

Dec, 2013

这篇论文提出了规则受限和循环受限程序的新类别，通过更全局地分析术语如何从规则的主体传播到头部来克服目前方法的各种限制。

Dec, 2015

提出一种基于逻辑编程的建模范式，将ASP和QBF的最佳特性相结合，实现对高层次搜索问题的编码。

Aug, 2016

通过引入引伸函数，扩展一阶稳定模型语义，并将其用作定义Answer Set Programming Modulo Theories (ASPMT)的基础，从而实现类似SMT的有效一阶推理，解决包含实数的领域中的接地问题。

Jul, 2023