Wolfgang Faber 0001, Michael Morak. Logic-based Languages For Solving Reversibility in Planning. In Juw Won Park, Junyoung Heo, Christian Esposito 0001, editors, Proceedings of the 41st ACM/SIGAPP Symposium on Applied Computing, SAC 2026, Grand Hotel Palace, Thessaloniki, Greece, March 23-27, 2026. pages 962-969, ACM, 2026. [doi]
Abstract is missing.