本文引入了一个新的猜测运算符，通过修改关系查询语言如关系代数和 SQL 以增加约束建模能力，从而为约束建模和关系型数据库管理系统提供了强大的集成，同时提高语言表达能力以涵盖所有复杂类 NP 问题。通过多种示例演示了扩展的有效性，并描述了使用局部搜索技术编写的 Java 当前实现。

Jan, 2006

本文旨在以非技术的方式简要概述并表达使用（一阶）逻辑来表示（概率）知识的逻辑和哲学基础。

Jun, 2023

本文提出了一种在数据库中使用的空值的完整 ICs 满足的精确语义，以及引入空值的修复的概念，最后分析了如何使用稳定模型语义的分离逻辑程序来指定包含空值的数据库的修复。

Apr, 2006

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

Dec, 2013

本文研究了提供复合命题演绎的可能性，并通过引入几个扩展后的逻辑来分析是否需要将归谬法视为必要条件，得出了关于其存在（或不存在）的命题证明体系的结果，并确定了所有分段思维的计算复杂度。

Aug, 2008

以关系代数为基础，通过数学建模计算国际关系的可信度，提出测算国际关系的算法模型，可用于辅助政府决策部门的外交和国防决策。

Apr, 2016

本文提出了一种新的形式主义和基于 U-semiring 的实现，扩展了 SQL 的半环语义，并利用 U-semiring 对 SQL 查询的等价性进行推理，该方法能够应对不同的完整约束和集合；我们还对 39 个查询重写规则进行了正式验证。

Feb, 2018

我们提出了一种新的线性代数方法来计算逻辑中的 Tarskian 语义。通过将 M 的实体映射到 N 维独热向量和 k 元关系映射到 k 阶邻接张量，我们在具有 N 个实体的 N 维欧几里得空间 R ^ N 中嵌入了一个有限模型 M。在此框架基础上，我们还提出了一种在线性空间中计算 Datalog 程序定义的最小模型的前所未有的方法，并通过矩阵方程表明其与现有方法相比的有效性。

Mar, 2017

本文介绍了一种逻辑系统 BV，它通过非交换自对偶逻辑运算符扩展了乘法线性逻辑。这种扩展是针对序列演算法而言特别具有挑战性的，并且迄今为止尚未在其中实现。

Oct, 1999

文章综述了目前发展的定性演算，及其计算特性，并提供了按代数属性分类的计算方法概述。

Jun, 2016