This page shows the publications of our lab. For a full list of an author's publications, please consult their personal page.
Publications
2023
David Speck, Paul Höft, Daniel Gnad and Jendrik Seipp.
Finding Matrix Multiplication Algorithms with Classical Planning.
In Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS 2023). 2023.
paper code citationAlexander Shleyfman, Daniel Gnad and Peter Jonsson.
Structurally Restricted Fragments of Numeric Planning – A Complexity Analysis.
In Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023). 2023.
citation
2022
Simon Ståhlberg, Blai Bonet and Hector Geffner.
Learning Generalized Policies without Supervision Using GNNs.
In Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2022). 2022.
paper slides citationPatrick Ferber, Liat Cohen, Jendrik Seipp and Thomas Keller.
Learning and Exploiting Progress States in Greedy Best-First Search.
In Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI 2022), pp. 4740–4746. 2022.
paper slides poster code citationDominik Drexler, Javier Segovia-Aguas and Jendrik Seipp.
Learning General Policies and Helpful Action Classifiers from Partial State Spaces.
In IJCAI 2022 Workshop on Generalization in Planning. 2022.
paper slides citationSilvan Sievers, Daniel Gnad and Álvaro Torralba.
Additive Pattern Databases for Decoupled Search.
In Proceedings of the 15th Annual Symposium on Combinatorial Search (SoCS 2022), pp. 180–189. 2022.
paper code citationKilian Hu and David Speck.
On Bidirectional Heuristic Search in Classical Planning: An Analysis of BAE*.
In Proceedings of the 15th Annual Symposium on Combinatorial Search (SoCS 2022), pp. 91–99. 2022.
paper slides code citationRemo Christen, Salomé Eriksson, Michael Katz, Emil Keyder, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers and David Speck.
(PARIS) Planning Algorithms for Reconfiguring Independent Sets.
In First CoRe Challenge: Solver and Graph Descriptions, pp. 15–22. 2022.
paper citationSimon Ståhlberg, Blai Bonet and Hector Geffner.
Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits.
In Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022). 2022.
paper slides citationAugusto B. Corrêa and Jendrik Seipp.
Best-First Width Search for Lifted Classical Planning.
In Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022), pp. 11–15. 2022.
paper slides poster code citationDominik Drexler, Jendrik Seipp and Hector Geffner.
Learning Sketches for Decomposing Planning Problems into Subproblems of Bounded Width.
In Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022), pp. 62–70. 2022.
paper slides poster code citationDaniel Gnad, Álvaro Torralba and Daniel Fišer.
Beyond Stars - Generalized Topologies for Decoupled Search.
In Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022), pp. 110–118. 2022.
paper code citationDavid Speck and Jendrik Seipp.
New Refinement Strategies for Cartesian Abstractions.
In Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022), pp. 348–352. 2022.
paper slides recording poster code citationJulian von Tschammer, Robert Mattmüller and David Speck.
Loopless Top-K Planning.
In Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022), pp. 380–384. 2022.
paper slides recording poster citationChristian Muise, Florian Pommerening, Jendrik Seipp and Michael Katz.
Planutils: Bringing Planning to the Masses.
In 32nd International Conference on Automated Planning and Scheduling, System Demonstrations and Exhibits. 2022.
paper recording poster citationClemens Büchner, Patrick Ferber, Jendrik Seipp and Malte Helmert.
A Comparison of Abstraction Heuristics for Rubik's Cube.
In ICAPS 2022 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP). 2022.
paper slides recording code citationAndré Biedenkapp, David Speck, Silvan Sievers, Frank Hutter, Marius Lindauer and Jendrik Seipp.
Learning Domain-Independent Policies for Open List Selection.
In ICAPS 2022 Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL). 2022.
paper slides recording citationPatrick Ferber and Jendrik Seipp.
Explainable Planner Selection for Classical Planning.
In Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI 2022), pp. 9741–9749. 2022.
paper slides poster code citation
2021
Dominik Drexler, Jendrik Seipp and Hector Geffner.
Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches.
In Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), pp. 258–268. 2021.
paper slides recording poster citationSimon Ståhlberg, Guillem Francès and Jendrik Seipp.
Learning Generalized Unsolvability Heuristics for Classical Planning.
In Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021), pp. 4175–4181. 2021.
paper slides poster code citationDominik Drexler, Jendrik Seipp and David Speck.
Subset-Saturated Transition Cost Partitioning.
In Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling (ICAPS 2021), pp. 131–139. 2021.
paper slides poster code citationFlorian Pommerening, Thomas Keller, Valentina Halasi, Jendrik Seipp, Silvan Sievers and Malte Helmert.
Dantzig-Wolfe Decomposition for Cost Partitioning.
In Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling (ICAPS 2021), pp. 271–280. 2021.
paper technical report slides recording poster code citationJendrik Seipp.
Online Saturated Cost Partitioning for Classical Planning.
In Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling (ICAPS 2021), pp. 317–321. 2021.
paper slides poster code citationÁlvaro Torralba, Jendrik Seipp and Silvan Sievers.
Automatic Instance Generation for Classical Planning.
In Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling (ICAPS 2021), pp. 376–384. 2021.
paper slides poster code citationJendrik Seipp, Thomas Keller and Malte Helmert.
Saturated Post-hoc Optimization for Classical Planning.
In Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021), pp. 11947–11953. 2021.
paper slides recording poster code citation