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

Jul, 2023

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

Apr, 2023

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

Aug, 2020

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

Sep, 2016

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

Feb, 2015

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

Jun, 2010

在这篇研究论文中，我们发展了基于时间序列的线性时间扩展的动态均衡逻辑的度量扩展，它通过整数区间对动态运算符进行约束，从而提供了用于指定定性和定量动态约束条件的基于 ASP 的方法。

Jan, 2024

提出了一种新的基于超定理解的概率时态逻辑，用于处理现实动态系统中的不确定性，探讨了逻辑的特性并提供了基于自动机的推断机制。同时，研究了具有更好计算性质的逻辑片段，可以通过现有的声明性流程发现技术从事件日志数据中发现公式。

Mar, 2019

文章介绍一种基于 Answer Set Programming (ASP) 的不完整信息规划的通用方法，提出使用量化 Answer Set Programming (QASP) 来解决符合和条件型规划问题，并介绍了一款基于翻译的 QASP 求解器用于将量化逻辑程序转换为量化布尔公式 (QBF) 进而求解。

Aug, 2021

采用 ASP 和 difference 约束的混合方法以解决实际列车调度问题，并探索如何通过结合不同的 ASP 求解技术来提高性能。

Mar, 2020