Symbolic Planning with Axioms
Axioms are an extension for classical planning models that allow for modeling complex preconditions and goals exponentially more compactly. Although axioms were introduced in planning more than a decade ago, modern planning techniques rarely support axioms, especially in cost-optimal planning. Symbolic search is a popular and competitive optimal planning technique based on the manipulation of sets of states. In this work, we extend symbolic search algorithms to support axioms natively. We...[Show more]
|Collections||ANU Research Publications|
|Source:||Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS 2019)|
|Access Rights:||Open Access|
|speck-et-al-icaps2019.pdf||Main article||362.66 kB||Adobe PDF|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.