@article(abaman89a,
 author       = {M. Abadi and Z. Manna},
 year         = {1989},
 title        = {Temporal Logic Programming},
 journal      = {Journal of Symbolic Computation},
 volume       = {8},
 pages        = {277--295},
 doi          = {10.1016/s0747-7171(89)80070-7},
)
@inproceedings(abjoossctowa19a,
 author       = {D. Abels and J. Jordi and M. Ostrowski and T. Schaub and A. Toletti and P. Wanko},
 year         = {2009},
 title        = {Train scheduling with hybrid {ASP}},
 editor       = {C. Boutilier},
 booktitle    = {Proceedings of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI'09)},
 publisher    = {{AAAI/MIT} Press},
 pages        = {3--17},
 doi          = {10.1007/978-3-030-20528-7_1},
)
@article(allen83a,
 author       = {J. Allen},
 year         = {1983},
 title        = {Maintaining knowledge about temporal intervals},
 journal      = {Communications of the {ACM}},
 volume       = {26},
 number       = {11},
 pages        = {832--843},
 doi          = {10.1016/b978-1-4832-1447-4.50033-x},
)
@inproceedings(anyaatst19a,
 author       = {A. Andreychuk and K. Yakovlev and D. Atzmon and R. Stern},
 year         = {2019},
 title        = {Multi-Agent Pathfinding with Continuous Time},
 editor       = {S. Kraus},
 booktitle    = {Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI'19)},
 publisher    = {ijcai.org},
 pages        = {39--45},
 doi          = {10.24963/ijcai.2019/6},
)
@inproceedings(bamama16b,
 author       = {M. Balduccini and D. Magazzeni and M. Maratea},
 year         = {2016},
 title        = {{PDDL}+ Planning via Constraint Answer Set Programming},
 editor       = {B. Bogaerts and A. Harrison},
 booktitle    = {Proceedings of the Ninth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'16)},
 pages        = {1--12},
 url          = {https://sites.google.com/site/aspocp2016/},
)
@inproceedings(cakamosc19a,
 author       = {P. Cabalar and R. Kaminski and P. Morkisch and T. Schaub},
 year         = {2009},
 title        = {telingo = {ASP} + Time},
 editor       = {C. Boutilier},
 booktitle    = {Proceedings of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI'09)},
 publisher    = {{AAAI/MIT} Press},
 pages        = {256--269},
 doi          = {10.1007/978-3-030-20528-7_19},
)
@book(degola16a,
 author       = {S. Demri and V. Goranko and M. Lange},
 year         = {2016},
 title        = {Temporal Logics in Computer Science: Finite-State Systems},
 series       = {Cambridge Tracts in Theoretical Computer Science},
 publisher    = {Cambridge University Press},
)
@article(dwgrniscse07a,
 author       = {S. Dworschak and S. Grell and V. Nikiforova and T. Schaub and J. Selbig},
 year         = {2008},
 title        = {Modeling biological networks by action languages via answer set programming},
 journal      = {Constraints},
 volume       = {13},
 number       = {1-2},
 pages        = {21--65},
 doi          = {10.1007/s10601-007-9031-y},
)
@article(foxlon06a,
 author       = {M. Fox and D. Long},
 year         = {2006},
 title        = {Modelling Mixed Discrete-Continuous Domains for Planning},
 journal      = {Journal of Artificial Intelligence Research},
 volume       = {27},
 number       = {1},
 pages        = {235--297},
 doi          = {10.1613/jair.2044},
 url          = {https://dl.acm.org/doi/10.5555/1622572.1622580},
)
@inproceedings(gabbay87a,
 author       = {D. Gabbay},
 year         = {1987},
 title        = {The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems},
 editor       = {B. Banieqbal and H. Barringer and A. Pnueli},
 booktitle    = {Proceedings of the Conference on Temporal Logic in Specification},
 series       = {Lecture Notes in Computer Science},
 volume       = {398},
 publisher    = {Springer-Verlag},
 pages        = {409--448},
 doi          = {10.1007/3-540-51803-7_36},
)
@inproceedings(gegrsc10a,
 author       = {M. Gebser and T. Grote and T. Schaub},
 year         = {2010},
 title        = {Coala: A Compiler from Action Languages to {ASP}},
 editor       = {T. Janhunen and I. Niemel{\"a}},
 booktitle    = {Proceedings of the Twelfth European Conference on Logics in Artificial Intelligence (JELIA'10)},
 series       = {Lecture Notes in Artificial Intelligence},
 volume       = {6341},
 publisher    = {Springer-Verlag},
 pages        = {360--364},
 doi          = {10.1007/978-3-642-15675-5_32},
)
@book(gekakasc12a,
 author       = {M. Gebser and R. Kaminski and B. Kaufmann and T. Schaub},
 year         = {2012},
 title        = {Answer Set Solving in Practice},
 series       = {Synthesis Lectures on Artificial Intelligence and Machine Learning},
 publisher    = {Morgan and Claypool Publishers},
)
@inproceedings(gekanesc07b,
 author       = {M. Gebser and B. Kaufmann and A. Neumann and T. Schaub},
 year         = {2007},
 title        = {clasp: A Conflict-Driven Answer Set Solver},
 editor       = {C. Baral and G. Brewka and J. Schlipf},
 booktitle    = {Proceedings of the Ninth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07)},
 series       = {Lecture Notes in Artificial Intelligence},
 volume       = {4483},
 publisher    = {Springer-Verlag},
 pages        = {260--265},
 doi          = {10.1007/978-3-540-72200-7_23},
)
@inproceedings(gescth07a,
 author       = {M. Gebser and T. Schaub and S. Thiele},
 year         = {2007},
 title        = {Gringo: A New Grounder for Answer Set Programming},
 editor       = {C. Baral and G. Brewka and J. Schlipf},
 booktitle    = {Proceedings of the Ninth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07)},
 series       = {Lecture Notes in Artificial Intelligence},
 volume       = {4483},
 publisher    = {Springer-Verlag},
 pages        = {266--271},
 doi          = {10.1007/978-3-540-72200-7_24},
)
@inproceedings(gellif88b,
 author       = {M. Gelfond and V. Lifschitz},
 year         = {1988},
 title        = {The Stable Model Semantics for Logic Programming},
 editor       = {R. Kowalski and K. Bowen},
 booktitle    = {Proceedings of the Fifth International Conference and Symposium of Logic Programming (ICLP'88)},
 publisher    = {MIT Press},
 pages        = {1070--1080},
)
@article(gellif98a,
 author       = {M. Gelfond and V. Lifschitz},
 year         = {1998},
 title        = {Action languages},
 journal      = {Electronic Transactions on Artificial Intelligence},
 volume       = {3},
 number       = {6},
 pages        = {193--210},
 url          = {http://www.ep.liu.se/ej/etai/1998/007/},
)
@inproceedings(giulif98a,
 author       = {E. Giunchiglia and V. Lifschitz},
 year         = {1998},
 title        = {An Action Language Based on Causal Explanation: Preliminary Report},
 booktitle    = {Proceedings of the {AAAI} Conference on Artificial Intelligence},
 pages        = {623--630},
 url          = {citeseer.nj.nec.com/article/giunchiglia98action.html},
)
@article(goheba21a,
 author       = {R. G{\'{o}}mez and C. Hern{\'{a}}ndez and J. Baier},
 year         = {2021},
 title        = {A Compact Answer Set Programming Encoding of Multi-Agent Pathfinding},
 journal      = {{IEEE} Access},
 volume       = {9},
 pages        = {26886--26901},
 doi          = {10.1109/access.2021.3053547},
)
@article(tn1,
 author       = {M{\'{a}}rton Karsai and Nicola Perra and Alessandro Vespignani},
 year         = {2014},
 title        = {Time varying networks and the weakness of strong ties},
 journal      = {Scientific Reports},
 volume       = {4},
 number       = {1},
 doi          = {10.1038/srep04001},
)