We elaborate upon the theoretical foundations of a metric temporal extension of Answer Set Programming. In analogy to previous extensions of ASP with constructs from Linear Temporal and Dynamic Logic, we accomplish this in the setting of the logic of Here-and-There and its non-monotonic extension, called Equilibrium Logic. More precisely, we develop our logic on the same semantic underpinnings as its predecessors and thus use a simple time domain of bounded time steps. This allows us to compare all variants in a uniform framework and ultimately combine them in a common implementation.

中文翻译：

---

迈向度量时间答案集编程

我们详细阐述了答案集编程的度量时间扩展的理论基础。类似于先前使用线性时间和动态逻辑构造的 ASP 扩展，我们在此处和那里的逻辑及其非单调扩展（称为平衡逻辑）的设置中实现了这一点。更准确地说，我们在与其前辈相同的语义基础上开发我们的逻辑，因此使用有界时间步长的简单时域。这使我们能够在一个统一的框架中比较所有变体，并最终将它们组合在一个通用的实现中。