本文介绍了命题逻辑程序的顺序组合，并通过研究程序之间的 Green 关系，探讨了程序的顺序分解，这是逻辑编程代数理论的进一步发展。

Feb, 2023

本文探讨了一种更新非单调知识库的方法，并在理论改变和非单调性推理的领域中考虑了更新和修订算子的公设及其新属性，从而提出了一种更好的因果拒绝原则。研究还包括我们提出的语义的细化。同时，我们还研究了与其他方法的关系，证明了我们的方法等同于 Buccafurri 等人的继承程序，并且与某些类的动态逻辑程序一致。最后，文章还着重探讨了我们的方法的计算复杂度，并概述了更新语义及其细化如何在现有逻辑编程引擎上实现。

Sep, 2001

文章介绍了 FP2 程序，这是一种支持无限扩展谓词及任意元数谓词，支持认真和怀疑的稳定模型推理，并可用于奇环问题的解决的新型逻辑编程范例。

Jul, 2010

通过将概率逻辑程序结构抽象化为程序结构，并给出一个正确的元解释器来决定给定外部数据库的程序结构是否意味着某个特定的条件独立性陈述，本研究将 Pearl 和 Verma 的有向分离理论推广到非 ground 情况，进而从 d-separation 中计算条件独立性，实验评估结果显示，比起在 ProbLog 2 中使用精确推理来检查独立性定义，我们的元解释器的性能明显更快。

Aug, 2023

本文探讨了 “离散有限程序” 和 “有限递归程序” 在 “稳定模型语义” 的语境下的性质，证明了 “有限递归程序” 的 “一致性检查” 和 “怀疑推理” 是 “半可判的”，而 “怀疑推理” 对于 “一般有限递归程序” 具有完备性，并展示了如何使用有限的程序实例子集进行矛盾检查和响应怀疑查询。

Jan, 2009

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

Jan, 2017

本文探讨了优先默认推理的两个特性，揭示了优先逻辑程序的互斥性和唯一性之间的密切关系，并探讨了将扩展逻辑程序的分裂技术推广到优先逻辑程序的可能性，证明了可以在一定条件下简化优先逻辑程序的评估。

Mar, 2002

本文介绍了一种适用于逻辑程序的稳定模型扩展 —— 经验逻辑程序，并在此基础上提出了一种逻辑程序拆分属性，最终得出了大多数现有建议都不能满足经验逻辑拆分属性的结论。

Dec, 2018

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

Jan, 2007

本研究介绍了 “时间平衡逻辑”（TEL）的第一阶段版本，它与一阶线性时间逻辑（LTL）共享语法但具有不同的语义，选择了一些我们称之为 “时间稳定模型” 的 LTL 模型，并提出了计算可推导事实的方法。

Sep, 2016