Jakub Med, Michael Morak, Lukás Chrpa, Wolfgang Faber 0001. Non-deterministic Action Reversibility: Complexity Results. In Magdalena Ortiz 0001, Renata Wassermann, Torsten Schaub, editors, Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, KR 2025, Melbourne, Australia, November 1-17, 2025. 2025. [doi]
Abstract is missing.