Abstract
The planning system DPlan is designed as a tool to support the first step of inductive program synthesis - generating finite programs for transforming input examples into the desired output. Because our work is in the context of program synthesis, planning is for small, deterministic domains and completeness and optimality are of more concern than efficiency considerations.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Schmid, U. (2003). 3. Constructing Complete Sets of Optimal Plans. In: Inductive Synthesis of Functional Programs. Lecture Notes in Computer Science(), vol 2654. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44846-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-44846-4_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40174-2
Online ISBN: 978-3-540-44846-4
eBook Packages: Springer Book Archive