Metric Dynamic Equilibrium Logic

no code implementations • 19 Jan 2024 • Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas, Torsten Schaub, Anna Schuhmann

In temporal extensions of Answer Set Programming (ASP) based on linear-time, the behavior of dynamic systems is captured by sequences of states.

Scheduling

Metric Temporal Equilibrium Logic over Timed Traces

no code implementations • 28 Apr 2023 • Arvid Becker, Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann

We address this by developing a metric extension of linear-time temporal equilibrium logic, in which temporal operators are constrained by intervals over natural numbers.

Scheduling Translation

Temporal Answer Set Programming

no code implementations • 14 Sep 2020 • Felicidad Aguado, Pedro Cabalar, Martin Dieguez, Gilberto Perez, Torsten Schaub, Anna Schuhmann, Concepcion Vidal

We present an overview on Temporal Logic Programming under the perspective of its application for Knowledge Representation and declarative problem solving.

Model Selection Translation

Towards Metric Temporal Answer Set Programming

no code implementations • 5 Aug 2020 • Pedro Cabalar, Martin Dieguez, Torsten Schaub, Anna Schuhmann

We elaborate upon the theoretical foundations of a metric temporal extension of Answer Set Programming.

Temporal Answer Set Programming on Finite Traces

no code implementations • 26 Apr 2018 • Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann

In this paper, we introduce an alternative approach to Temporal Answer Set Programming that relies on a variation of Temporal Equilibrium Logic (TEL) for finite traces.