@inproceedings{DBLP:conf/lpnmr/CabalarDSS22,
title = {Metric Temporal Answer Set Programming over Timed Traces},
author = {Cabalar, Pedro and Di{\'{e}}guez, Mart{\'{\i}}n and Schaub, Torsten and Schuhmann, Anna},
booktitle = {{LPNMR}},
pages = {117--130},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {13416},
year = {2022}
}