Thomas Eiter, Patrik Schneider. A Qualitative Temporal Extension of Here-and-There Logic. In Georg Gottlob, Daniela Inclezan, Marco Maratea, editors, Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings. Volume 13416 of Lecture Notes in Computer Science, pages 159-176, Springer, 2022. [doi]
Abstract is missing.