Knowledge Processing and Information Systems
Compiling Metric Temporal Answer Set Programming

@inproceedings{DBLP:conf/lpnmr/BeckerCDHRS24,
  title = {Compiling Metric Temporal Answer Set Programming},
  author = {Becker, Arvid and Cabalar, Pedro and Di{\'{e}}guez, Mart{\'{\i}}n and Hahn, Susana and Romero, Javier and Schaub, Torsten},
  booktitle = {{LPNMR}},
  pages = {15--29},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {15245},
  year = {2024}
}