TY  - RPRT
TI  - Metric Temporal Equilibrium Logic over Timed Traces
AU  - Arvid Becker
AU  - Pedro Cabalar
AU  - Martín Diéguez
AU  - Torsten Schaub
AU  - Anna Schuhmann
PY  - 2024
DO  - 10.1017/s1471068424000139
UR  - https://arxiv.org/abs/2304.14778
ID  - 2304.14778
ER  -