%0 Journal Article %1 journals/tplp/AguadoCDPSSV23 %A Aguado, Felicidad %A Cabalar, Pedro %A Diéguez, Martín %A Pérez, Gilberto %A Schaub, Torsten %A Schuhmann, Anna %A Vidal, Concepción %D 2023 %J Theory Pract. Log. Program. %K dblp %N 1 %P 2-56 %T Linear-Time Temporal Answer Set Programming. %U http://dblp.uni-trier.de/db/journals/tplp/tplp23.html#AguadoCDPSSV23 %V 23

@article{journals/tplp/AguadoCDPSSV23, added-at = {2023-02-12T00:00:00.000+0100}, author = {Aguado, Felicidad and Cabalar, Pedro and Diéguez, Martín and Pérez, Gilberto and Schaub, Torsten and Schuhmann, Anna and Vidal, Concepción}, biburl = {https://www.bibsonomy.org/bibtex/2f5b4650e0607571f6d05c0eec53a69bc/dblp}, ee = {https://doi.org/10.1017/S1471068421000557}, interhash = {cf84780da9c8fcad2de129fa7d1823e0}, intrahash = {f5b4650e0607571f6d05c0eec53a69bc}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = 1, pages = {2-56}, timestamp = {2024-04-09T05:34:31.000+0200}, title = {Linear-Time Temporal Answer Set Programming.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp23.html#AguadoCDPSSV23}, volume = 23, year = 2023 }