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)

Compiling Metric Temporal Answer Set Programming. - Arvid Becker; Pedro Cabalar; Martín Diéguez; Susana Hahn; Javier Romero 003; Torsten Schaub (LPNMR, 2024)

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