David Speck – Publications

(Show all abstracts) (Hide all abstracts)

2025

  • Paul Höft, David Speck and Jendrik Seipp.
    Representing Perfect Saturated Cost Partitioning Heuristics in Classical Planning.
    In Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025). 2025.
    (Show abstract) (PDF) (code, scripts and data)

  • Daniel Gnad, Markus Hecher, Sarah Gaggl, Dominik Rusovac, David Speck and Johannes K. Fichte.
    Interactive Exploration of Plan Spaces.
    In Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025). 2025.
    (Show abstract)

  • David Speck and Malte Helmert.
    On Performance Guarantees for Symbolic Search in Classical Planning.
    In Proceedings of the 28th European Conference on Artifical Intelligence (ECAI 2025). 2025.
    (Show abstract) (PDF) (code, scripts and data) (ICAPS 2025 extended abstract; PDF)

  • Mauricio Salerno, Raquel Fuentetaja, David Speck and Jendrik Seipp.
    Merging Cartesian Abstractions for Classical Planning.
    In Proceedings of the 28th European Conference on Artifical Intelligence (ECAI 2025). 2025.
    (Show abstract)

  • Gregor Behnke, David Speck and Daniel Gnad.
    AxSAT - Bringing Axioms to SAT Planning.
    In Proceedings of the 19th European Conference on Logics in Artificial Intelligence (JELIA 2025), pp. 77-93. 2025.
    (Show abstract) (PDF) (code, scripts and data)

  • David Speck and Daniel Gnad.
    Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning (Extended Abstract).
    In Proceedings of the 34th International Joint Conference on Artificial Intelligence (IJCAI 2025). 2025.
    Note: This paper was invited for submission to the Best Papers From Sister Conferences Track, based on a paper that appeared in the International Conference on Automated Planning and Scheduling (ICAPS) 2024. When referring to this work, please cite the ICAPS 2024 paper instead of this version.
    (Show abstract) (PDF)

  • David Speck, Jendrik Seipp and Álvaro Torralba.
    Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions.
    Journal of Artificial Intelligence Research 82, pp. 1349-1405. 2025.
    (Show abstract) (PDF) (code, scripts and data)

  • David Speck, Markus Hecher, Daniel Gnad, Johannes K. Fichte and Augusto B. Corrêa.
    Counting and Reasoning with Plans.
    In Proceedings of 39th AAAI Conference on Artificial Intelligence (AAAI 2025), pp. 26688-26696. 2025.
    (Show abstract) (PDF) (code, scripts and data)

2024

  • David Speck and Daniel Gnad.
    Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning.
    In Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), pp. 546-554. 2024.
    (Show abstract) (PDF) (appendix, code, scripts and data)

  • Paul Höft, David Speck, Florian Pommerening and Jendrik Seipp.
    Versatile Cost Partitioning with Exact Sensitivity Analysis.
    In Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), pp. 276-280. 2024.
    (Show abstract) (PDF) (code, scripts and data)

  • Daniel Gnad and David Speck.
    On an Attempt at Casting Orbit Search as a Task Transformation.
    In Proceedings of the ICAPS 2024 Workshop on Echoing (failed) Efforts in Planning (WEEP 2024). 2024.
    (Show abstract) (PDF)