conftrace_

planning compilation

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

automated planning (4) classical planning (3) conditional effect (2) numeric planning (2) logarithmic encoding (1) grounded representation (1) polynomial compilation (1) lifted description language (1) plan compilation (1) constraint compilation (1)

Papers

Towards Practical Classical Planning Compilations of Numeric Planning AAAI 2025 An Effective Polynomial Technique for Compiling Conditional Effects Away AAAI 2024 Dealing with Numeric and Metric Time Constraints in PDDL3 via Compilation to Numeric Planning AAAI 2024 On Succinct Groundings of HTN Planning Problems AAAI 2020 Generating Context-Free Grammars using Classical Planning IJCAI 2017