Temporal Answer Set Programming on Finite Traces. - Pedro Cabalar; Roland Kaminski; Torsten Schaub; Anna Schuhmann (Theory Pract. Log. Program., 2018)

Temporal Answer Set Programming. - Felicidad Aguado; Pedro Cabalar; Martín Diéguez; Gilberto Pérez 001; Torsten Schaub; Anna Schuhmann; Concepción Vidal (CoRR, 2020)

Towards Metric Temporal Answer Set Programming. - Pedro Cabalar; Martín Diéguez; Torsten Schaub; Anna Schuhmann (Theory Pract. Log. Program., 2020)

Metric Temporal Answer Set Programming over Timed Traces. - Pedro Cabalar; Martín Diéguez; Torsten Schaub; Anna Schuhmann (LPNMR, 2022)

Linear-Time Temporal Answer Set Programming. - Felicidad Aguado; Pedro Cabalar; Martín Diéguez; Gilberto Pérez 001; Torsten Schaub; Anna Schuhmann; Concepción Vidal (Theory Pract. Log. Program., 2023)

Metric dynamic equilibrium logic. - Arvid Becker; Pedro Cabalar; Martín Diéguez; Luis Fariñas del Cerro; Torsten Schaub; Anna Schuhmann (J. Appl. Non Class. Logics, 2023)

Metric Temporal Equilibrium Logic over Timed Traces. - Arvid Becker; Pedro Cabalar; Martín Diéguez; Torsten Schaub; Anna Schuhmann (Theory Pract. Log. Program., 2024)