比较了置信修正中三种最常见的状态表示方式：显式表示、按级别表示和按历史记录表示的差异，并研究了它们之间的联系与区别。

May, 2023

本文提出了基于范畴论概念的 C - 集合和双推出重写 (DPO) 的计划表示的一种替代方法，其可以有效处理支持所有层次域抽象的关于世界状态的结构化知识，提供了使用知识图谱和关系型数据库对世界状态和计划更新建模的形式语义，相较于经典规划表示，在处理隐含前提和效果上具有优越性，提供了一种更有结构的框架来建模和解决规划问题。

May, 2023

本文介绍了扩展的分裂集定义及其在处理知识规范下的应用，扩展分裂集定理的应用，分层知识规范的表征，以及在某些知识逻辑程序子类的世界观计算中的一种算法方法。

Mar, 2000

本文介绍了关于稳定模型语义的一种另类的认识论方法，探讨了稳定模型语义可以完全定义为 Kripke-Kleene 语义的扩展，证明了封闭世界假设可以看作是要累加到 Kripke-Kleene 语义上的一个 “虚假” 的附加来源。

Mar, 2004

提出了一种多代理认知规划的表示语言，解决了现有编译成经典计划所面临的各种限制，包括只能生成线性计划、限制公共行动和无法处理分离信念等问题。

Jun, 2018

该研究论文介绍了认知逻辑程序的语言和形式语义，并探讨了该领域的当前状态和未来研究的挑战。

Aug, 2021

通过将规划器使用的一阶符号表示从编码状态空间结构的非符号输入中学习，我们解决了图像与符号之间的鸿沟，这意味着推断一个完整的一阶表示（即一般的动作模式、关系符号和对象）来解释所观察到的状态空间结构。

Sep, 2019

通过定义和说明，本文提出了一种新的解决方案来代表非概率性信念状态，并将其与概率理论进行比较，发现新理论在结构上类似于概率理论，但更容易实现，并且在某些方面更为简单。

Mar, 2013

本文重新审视认识规范的形式化方法，提出新的定义，并给出了多种语义，其中之一在句法限制下等价于原定义的 Gelfond 语义。我们还从推理能力的角度分析了其复杂度，并展示了它在最近由 Faber 和 Woltran 考虑的需要元推理的问题中的有效性，从而证明了这个方法配得上更多的关注。

Aug, 2011

本文将标准逻辑规划中无基础概念推广到认知规划中，定义了何时认知规划中的一个世界观是有基础的，提出了一种结合了 Moore's Autoepistemic Logic 和 Pearce's Equilibrium Logic 的新的计算语义。

Feb, 2019