Alberto Pozanco, Marianela Morales, Daniel Borrajo, Manuela Veloso: A Planning Compilation to Reason About Goal Achievement at Planning Time. KR 2025