这篇论文通过系统检视问题之前的范围并提出一个新的数据集，讨论了同时出现的新挑战，并提出了一种模糊逻辑理论的新搜索算法，以解决新的公式并在现有公式中胜过以前的方法。

Apr, 2023

本文提出了一种新的辩护关系和辩护图的概念，基于辩护语义，定义了两种接受论点的原因，即直接原因和根本原因，介绍了辩证汇总中根等价的概念。

Apr, 2017

本文从不同角度探讨了非简洁逻辑规划的互补推理，通过稍微修改定义非简洁互补语义的一些方法，我们展示了一种直观的互补推理形式，并提供了一种自下而上的程序，从而阐明了不同方法之间的关系及其优缺点。

Jan, 2003

本文通过利用语言中常量的对称性，将隐式可学习性推广，提出了一种在第一阶逻辑中进行强健学习的新理论方法。

Jun, 2019

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

Jan, 2007

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

Jun, 2023

本文提出一种 Peirce 存在图的扩展，以提供 Quantified Equilibrium Logic（QEL）表达式的图表表示。使用这种形式化方法，逻辑连接词被圆圈和正方形等区域所代替，量化变量则用 “身份” 线表示。虽然表达能力和 QEL 一样，但新的表示方法可用于说明或教育目的。

Sep, 2016

本文探讨了基于对称‘友谊’关系的网络中，关于知识和社会关系变化模式的二维模态逻辑和通信问题。

Oct, 2013

研究使用实数向量作为一阶逻辑的模型理论 / 语义学的一种方法，以结合分布式表示和离散表示的优势，并探讨此系统的一些有趣属性和简单的查询答案方法。

Oct, 2014

提出了一种将抽象辩证框架及其语义编码为经典高阶逻辑的方法，通过证明助手 Isabelle/HOL 来正式编码并证明重要性质和语义关系。这种方法允许在统一逻辑环境中使用自动化和交互式推理工具对抽象辩证框架进行计算机辅助分析。示例应用包括形式分析和验证元理论性质以及在特定语义约束下生成解释和扩展。

Dec, 2023