Knowledge Processing and Information Systems
Metric Temporal Answer Set Programming over Timed Traces (extended abstract)

@inproceedings{TEMP:misc/CabalarSR21,
  title = {Metric Temporal Answer Set Programming over Timed Traces (extended abstract)},
  author = {Cabalar, Pedro and Di{\'{e}}guez, Mart{\'{\i}}n and Schaub, Torsten and Schuhmann, Anna},
  booktitle = {Stream Reasoning Workshop},
  year = {2021}
}