Skip navigation
Skip navigation

Symbolic Planning with Axioms

Speck, David; Geißer, Florian; Mattmüller, Robert; Torralba, Álvaro


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]

CollectionsANU Research Publications
Date published: 2019
Type: Conference paper
Source: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS 2019)
Access Rights: Open Access


File Description SizeFormat Image
speck-et-al-icaps2019.pdfMain article362.66 kBAdobe PDFThumbnail

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator