该论文介绍了一个基础性的结果，给出了一种稳定模型的存在条件的句法特征表示，利用引入新的规范形式和循环依赖来定义稳定模型元语，从而保证了稳定模型存在的确定性。

Dec, 2004

研究了规则依赖图及其着色在表征和计算逻辑程序的答案集方面的用法，从而得出了运算算子和非确定性序列着色之间的操作特征，发掘了不同形态组合的算子对形式特性的影响。

Feb, 2005

研究答案集编程中的模块化问题，定义 DLP 函数和模块定理，介绍了 DLP 函数的分解方法和模块等价性概念。

Jan, 2014

通过稳定模型语义重新审视逻辑编程在约束满足问题中的角色定义，提出一种函数符号被消除的新型逻辑编程系统，基于约束来描述问题的解决方案。该方法具有良好的应用范围、有力的计算算法和新型编程方法。

Sep, 1998

本论文探讨否定作为失败的两种理论之间的关系：基于程序完成和基于稳定模型或答案集。研究表明，当一个逻辑程序满足一定的语法条件 (被称为 “紧密性”) 时，它的稳定模型可以被表征为其完成模型。本研究将 “紧密性” 的定义和 Fages 的定理扩展到规则体中包含嵌套表达式的程序，并研究包含谓词的传递闭包定义的紧致逻辑程序。

Feb, 2003

本篇论文重点针对模型导向人工智能的方法及其应用中 SAT 和 ASP 这两个系统的输入形式进行分析，特别是通过将输入形式重新制定和配置，优化推理过程。经过广泛领域内数据的实验证明，使用这种方法可以获得不同的优势。

Mar, 2022

本文研究在一个规范上执行广泛的推断任务的可行性，通过将 IDP3 扩展到与动态规范相关的领域中使用的多种推断技术。

May, 2014

本文提出一种基于稳定模型语义的逻辑程序的多值扩展，其中每个模型中的真实原子都与一组证明相关联，这些证明是由规则标签形成的因果图表示它们的应用顺序而表达的。通过在因果值的格子上进行代数运算（乘积，和，应用），可以以纯粹语义的方式获得这种因果信息。对于带否定的程序，引入一种类似的转换来定义因果稳定模型。

Sep, 2014

本文探讨了命题理论在答案集语义下的一个性质（称为 Equilibrium Logic），即任何理论都可以重新表述为一个具有强等价性的模态逻辑规划，可能具有头部否定。我们提供了两个不同的证明：一个涉及语法变换，另一个从中间逻辑的反例开始构建程序。

Jan, 2007

本文介绍了关于 ASP 中程序重写的正式结果，并提供了 Projector 系统的正确性证明，它可以对程序进行自动重写来提高效率。

Jan, 2019