文章提出一个语言，将 FO (ID) 中的归纳定义结构与 Ordered Epistemic Logic 看做独立的认知组成部分相结合，以便研究这两个故事之间的互动，并探索将它们视为两个单独的经典逻辑扩展还是两个组合的适当性。

Jan, 2013

介绍了基于纯逻辑物理模型语言的扩展的逻辑编程形式，其中的复杂定义是作为规则集的表示，并且通过多种形式的推理来解决不同的计算问题。

Jan, 2014

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

Aug, 2016

该研究论文介绍了一种将一种基于一阶逻辑的扩展语言 FO (.) 转换为 Answer Set Programming (ASP) 的方法， 从而使得基于 ASP 的程序可以作为 FO (.) 的解决器，实验结果表明这种组合可以快速有效地解决 FO (.) 中的问题。

Aug, 2021

该研究介绍一种归纳逻辑编程方法，结合否定和谓词发明，以应对从少量例子中推广的挑战，在多个领域的试验结果表明，该方法改善了预测精度和学习时间。

Jan, 2023

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

Dec, 2013

本文介绍了现有应答集程序更新的语义学，指出两种方法存在的限制，并主张弱否定和强否定应该在更新的上下文中是平等的。我们确定了约束它们交互作用的原则。最后，我们扩展了最先进的语义，直接支持强否定，并展示了它满足所概述的原则，以及一系列其他的优秀特性。

Apr, 2014

通过对逻辑编程领域中的回答集编程（ASP）进行分析，我们提出了一种精细化的方法，描述了 ASP 程序的特征，以及在一些情况下决策问题的半决策解法和用于生成有限扩展的基础步骤。

May, 2024

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

Feb, 2016

本文介绍了一种逻辑语言，用于表示概率因果律，该语言可以被用于概率逻辑编程，并且可以自我解释为概率因果律的表示方法，从而提供了解释这些编程背后想法的新方法。

Apr, 2009