Wolfgang Faber 0001, Michael Morak. Encoding Action Reversibility In Planning Using Quantified ASP and Bule. In Giovanni Casini, Besik Dundua, Temur Kutsia, editors, Logics in Artificial Intelligence - 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part I. Volume 16093 of Lecture Notes in Computer Science, pages 327-342, Springer, 2025. [doi]
Abstract is missing.