Pedro Cabalar. Temporal ASP: From Logical Foundations to Practical Use with telingo. In Mantas Simkus, Ivan Varzinczak, editors, Reasoning Web. Declarative Artificial Intelligence - 17th International Summer School 2021, Leuven, Belgium, September 8-15, 2021, Tutorial Lectures. Volume 13100 of Lecture Notes in Computer Science, pages 94-114, Springer, 2021. [doi]
Abstract is missing.