HDDL Parser: A Realtime Hierarchical Planning Language Validation Toolkit. Yousefi, M. & Bercher, P. In ICAPS 2025 Demonstrations, 2025.
HDDL Parser: A Realtime Hierarchical Planning Language Validation Toolkit [pdf]Paper  HDDL Parser: A Realtime Hierarchical Planning Language Validation Toolkit [pdf]Poster  HDDL Parser: A Realtime Hierarchical Planning Language Validation Toolkit [link]Video of tool  abstract   bibtex   
We present HDDL Parser, an open-source language server providing real-time validation for the Hierarchical Planning Domain Definition Language (HDDL). The toolkit implements the well-known Language Server Protocol (LSP), enabling integration into any IDE, with a provided VS Code client demonstrating seamless real-time error detection and correction feedback. The language server performs a comprehensive analysis including: syntax validation, parameter inconsistencies, undefined entities, duplicate definitions, cyclic hierarchies, contradictory formulae, and type checking. Implemented in Rust, the correctness of the HDDL Parser has been validated against all 33 domains from the hierarchical track of the IPC 2023, and even detected critical errors in one of those domains. By providing automated quality assurance directly within the development environment, this tool significantly reduces debugging time and improves model reliability for hierarchical planning applications.

Downloads: 0