Alberto Pozanco, Marianela Morales, Daniel Borrajo, Manuela Veloso. A Planning Compilation to Reason About Goal Achievement at Planning Time. 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.