This page shows the publications of our lab. For a full list of an author's publications, please consult their personal page.

Publications

2023

  • Remo Christen, Salomé Eriksson, Michael Katz, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers and David Speck.
    PARIS: Planning Algorithms for Reconfiguring Independent Sets.
    In Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023). 2023.
    paper code citation

  • Paul Höft, David Speck and Jendrik Seipp.
    Sensitivity Analysis for Saturated Post-hoc Optimization in Classical Planning.
    In Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023). 2023.
    paper code citation

  • Thorsten Klößner, Jendrik Seipp and Marcel Steinmetz.
    Cartesian Abstractions and Saturated Cost Partitioning in Probabilistic Planning.
    In Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023). 2023.
    paper code citation

  • Simon Ståhlberg.
    Lifted Successor Generation by Maximum Clique Enumeration.
    In Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023). 2023.
    paper citation

  • Simon Ståhlberg, Blai Bonet and Hector Geffner.
    Learning General Policies with Policy Gradient Methods.
    In Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning (KR 2023). 2023.
    paper citation

  • Dominik Drexler, Jendrik Seipp and Hector Geffner.
    Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch Rules.
    In Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning (KR 2023). 2023.
    paper slides code citation

  • Mauricio Salerno, Raquel Fuentetaja and Jendrik Seipp.
    Eliminating Redundant Actions from Plans using Classical Planning.
    In Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning (KR 2023). 2023.
    paper code citation

  • David Speck, Paul Höft, Daniel Gnad and Jendrik Seipp.
    Finding Matrix Multiplication Algorithms with Classical Planning - Extended Abstract.
    In The 35th Annual Workshop of the Swedish Artificial Intelligence Society (SAIS). 2023.
    paper code citation (Superseded by the ICAPS 2023 paper with the same name.)

  • Dominik Drexler and Jendrik Seipp.
    DLPlan: Description Logics State Features for Planning.
    In ICAPS 2023 System Demonstrations and Exhibits. 2023.
    paper citation

  • Daniel Gnad, Malte Helmert, Peter Jonsson and Alexander Shleyfman.
    Planning over Integers: Compilations and Undecidability.
    In Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS 2023). 2023.
    paper citation

  • Daniel Gnad, Silvan Sievers and Álvaro Torralba.
    Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases.
    In Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS 2023). 2023.
    paper citation

  • 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), pp. 411–416. 2023.
    paper code citation

  • Gregor Behnke, David Speck, Michael Katz and Shirin Sohrabi.
    On Partial Satisfaction Planning with Total-Order HTNs.
    In Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS 2023), pp. 42–51. 2023.
    paper code citation

  • Alexander 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.
    paper 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), pp. 474–483. 2022.
    paper slides code citation

  • Patrick 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 citation

  • Dominik 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 citation

  • Silvan 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 citation

  • Kilian 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 citation

  • Remo 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 citation

  • Simon 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), pp. 629–637. 2022.
    paper slides citation

  • Augusto 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 citation

  • Dominik 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 citation

  • Daniel 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 citation

  • David 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 citation

  • Julian 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 citation

  • Christian Muise, Florian Pommerening, Jendrik Seipp and Michael Katz.
    Planutils: Bringing Planning to the Masses.
    In ICAPS 2022 System Demonstrations and Exhibits. 2022.
    paper recording poster citation

  • Clemens 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 citation

  • André 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 citation

  • Patrick 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