本文介绍了基于线性时序的 ASP 的时间扩展，提出了一种度量扩展的线性时态平衡逻辑，用于规定定性和定量的动态限制。该翻译提供了 ASP 模块不同约束的实现蓝图。

Apr, 2023

我们扩展了 ASP 的度量时态扩展的理论基础。基于 Here-and-There 逻辑和其不可逆扩展 Equilibrium Logic 的语义基础，我们使用一个有限步长的时间域开发了我们的逻辑。这使得我们能够在统一的框架下比较所有变体，并最终将它们组合在一起的实现中。

Aug, 2020

介绍了一种基于 Temporal Equilibrium Logic 的替代方法，用于有限 trace 的 Temporal Answer Set Programming，可实现多通 Answer Set Programming 系统，并结合时间运算符扩展输入语言，同时提供了时间建模语言。

Apr, 2018

本文提出了 QELF 来处理部分函数，并且将其与 Scott 存在逻辑做了直接联系，还介绍了一个实际应用，即将扩展后的常规逻辑程序转换成无函数的常规程序，可以使用任何标准 ASP 求解器计算其答案集。

Jun, 2010

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

Sep, 2016

本文针对 Temporal Equilibrium Logic（TEL）提供了一种系统的复杂性分析方法，可以检查 TEL 公式的时间均衡模型的存在性，并通过分析不同的 TEL 公式子类的复杂性，确定了可处理和不可处理的片段。

Feb, 2015

本文研究在一个规范上执行广泛的推断任务的可行性，通过将 IDP3 扩展到与动态规范相关的领域中使用的多种推断技术。

May, 2014

本文研究 Answer Set Programming 中的 past-present 句法子类，其扩展了完成和循环公式的定义，并通过 LTLf 表达式捕捉了一组 past-present 时间程序的时态稳定模型。

Jul, 2023

本文提出了一种将 Logic Production System (LPS) 中的 Kernel（KELPS）系统地映射成 Answer Set Programming (ASP) 的方法，并以一个新的有限模型变体 n-distance KELPS 作为实现基础。最后，提出了一个整合 KELPS 和 ASP 优点的混合框架。

Sep, 2021

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

Aug, 2016