@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} }