%0 Conference Paper %1 conf/lpnmr/CabalarDSS22 %A Cabalar, Pedro %A Diéguez, Martín %A Schaub, Torsten %A Schuhmann, Anna %B LPNMR %D 2022 %E Gottlob, Georg %E Inclezan, Daniela %E Maratea, Marco %I Springer %K dblp %P 117-130 %T Metric Temporal Answer Set Programming over Timed Traces. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2022.html#CabalarDSS22 %V 13416 %@ 978-3-031-15707-3

@inproceedings{conf/lpnmr/CabalarDSS22, added-at = {2022-09-02T00:00:00.000+0200}, author = {Cabalar, Pedro and Diéguez, Martín and Schaub, Torsten and Schuhmann, Anna}, biburl = {https://www.bibsonomy.org/bibtex/25dbb20e079a9cf9649ed0fa86a4d3cf8/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2022}, editor = {Gottlob, Georg and Inclezan, Daniela and Maratea, Marco}, ee = {https://doi.org/10.1007/978-3-031-15707-3_10}, interhash = {070d6a842d5c15dea68d2dd87e4f1bea}, intrahash = {5dbb20e079a9cf9649ed0fa86a4d3cf8}, isbn = {978-3-031-15707-3}, keywords = {dblp}, pages = {117-130}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T16:58:14.000+0200}, title = {Metric Temporal Answer Set Programming over Timed Traces.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2022.html#CabalarDSS22}, volume = 13416, year = 2022 }