The following publications are possibly variants of this publication:
- Past-present temporal programs over finite traces: a preliminary reportPedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub. ICLP 2023: [doi]
- Temporal Answer Set Programming on Finite TracesPedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann. tplp, 18(3-4):406-420, 2018. [doi]
- Dynamic and Temporal Answer Set Programming on Linear Finite TracesPedro Cabalar, Torsten Schaub. datalog 2019: 3-6 [doi]
- Towards Dynamic Answer Set Programming over Finite TracesPedro Cabalar, Martín Diéguez, Torsten Schaub. lpnmr 2019: 148-162 [doi]
- Implementing Dynamic Answer Set Programming over Finite TracesPedro Cabalar, Martín Diéguez, Torsten Schaub, François Laferrière. ecai 2020: 656-663 [doi]
- Metric Temporal Answer Set Programming over Timed TracesPedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann. lpnmr 2022: 117-130 [doi]