本文提出了一种多值扩展的逻辑程序，基于可靠模型语义，其中模型中的每个真实原子都与一组证明关联，在一个证明树的集合中类似，我们将证明捕捉到一个真值的代数中，该代数具有三个内部操作：加号表示公式的替代证明，可交换乘积表示导致的联合交互以及非交换积表示证明构造器。使用这种多值语义，我们得到了标准（非因果）逻辑程序的语法证明树与模型中每个真实原子的解释之间的一一对应关系，并且由于这种代数特征，我们可以检测到获得的证明的冗余性和相关性。我们还确定了此代数的基于格的特征，定义了直接后果算子，证明了其连续性，并证明其最小修复点可以在有限次迭代后计算。最后，我们通过引入类似于 Gelfond 和 Lifschitz 的程序削减的变换来定义因果稳定模型的概念。

Dec, 2013

本文提出了一种基于逻辑编程的新方法，其中每个派生自良基模型的默认文字都与一个代表证明的代数表达式相关联，并包含启用或禁用因果规则的条件，这些条件分别称为 “激活剂” 和 “抑制剂”，并与默认否定有紧密关联，本文通过一些例子进行了探讨。此外本文还比较了两种最近的 LP 证明方法：为什么不证明（WnP）和因果图（CG），表明当前方法在良基语义下扩展了 WnP 和 CG 证明，并建立了这两种方法之间的形式关系。

Feb, 2016

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

Dec, 2008

这篇论文介绍了证明理论的一个统一框架，可以应用于非单调逻辑、知识表示语言等领域，并可以为实现目的提供帮助，同时还探讨了可能的扩展。

May, 2019

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

Apr, 2009

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

Dec, 2004

本文研究基于 Sato 分布语义的概率逻辑程序，分析了基于稳定和基于良基模型这两种语义，探讨了 credal 语义产生的概率模型集合是无限单调 Choquet 容量的结果产生的几个有用的结果，并研究了其推理和查询的复杂度。作者对此进行了详细说明，并对无环、分层、周期性的命题和关系程序，提出了推理和查询复杂度的结果，该复杂度达到各种计数层次和指数级别。

Jan, 2017

本文提出了一种计算正常逻辑程序的稳定模型的方法，该方法不需要程序存在有限基数限制，支持使用术语作为参数，并使用非赫赛宾德宇宙、共归纳、构造否定等技术。该方法具有较高的通用性和可行性。

Sep, 2017

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

Sep, 1998

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

Oct, 2011