Beyond Distance Estimates: A New Theory of Heuristics for State-Space Search

Project Information

BDE

Grant agreement ID: 817639

DOI

10.3030/817639

Project closed

EC signature date 18 December 2018

Start date 1 February 2019

End date 31 January 2024

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 1 997 510,00

EU contribution

€ 1 997 510,00

Coordinated by

UNIVERSITAT BASEL
Switzerland

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (39)

Learning and Exploiting Progress States in Greedy Best-First Search

Author(s): Patrick Ferber, Liat Cohen, Jendrik Seipp, Thomas Keller
Published in: Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI 2022), 2022, Page(s) 4740-4746
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2022/657

Saturated Post-hoc Optimization for Classical Planning

Author(s): Jendrik Seipp, Thomas Keller, Malte Helmert
Published in: Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI 2021), 2021, Page(s) 11947-11953
Publisher: AAAI Press
DOI: 10.5451/unibas-ep84299

Cost-Partitioned Merge-and-Shrink Heuristics for Optimal Classical Planning

Author(s): Silvan Sievers, Florian Pommerening, Thomas Keller, Malte Helmert
Published in: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020, Page(s) 4152-4160, ISBN 978-0-9992411-6-5
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2020/574

Lagrangian Decomposition for Optimal Cost Partitioning

Author(s): Florian Pommerening, Gabriele Röger, Malte Helmert, Hadrien Cambazard, Louis-Martin Rousseau, Domenico Salvagnin
Published in: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019, Page(s) 338-347
Publisher: AAAI Press
DOI: 10.5451/unibas-ep75020

An Empirical Study of Perfect Potential Heuristics

Author(s): Augusto B. Corrêa, Florian Pommerening
Published in: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019, Page(s) 114-118
Publisher: AAAI Press
DOI: 10.5451/unibas-ep74630

Higher-Dimensional Potential Heuristics: Lower Bound Criterion and Connection to Correlation Complexity

Author(s): Simon Dold,Malte Helmert
Published in: Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), 2024
Publisher: AAAI Press

Subset-Saturated Cost Partitioning for Optimal Classical Planning

Author(s): Jendrik Seipp, Malte Helmert
Published in: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019, Page(s) 391-400
Publisher: AAAI Press

Dantzig-Wolfe Decomposition for Cost Partitioning

Author(s): Florian Pommerening, Thomas Keller, Valentina Halasi, Jendrik Seipp, Silvan Sievers, Malte Helmert
Published in: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 2021, Page(s) 271-280
Publisher: AAAI Press
DOI: 10.5451/unibas-ep84307

Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks

Author(s): Silvan Sievers, Gabriele Röger, Martin Wehrle, Michael Katz
Published in: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019, Page(s) 446-454
Publisher: AAAI Press
DOI: 10.5451/unibas-ep71595

Additive Pattern Databases for Decoupled Search

Author(s): Silvan Sievers, Daniel Gnad, Álvaro Torralba
Published in: Proceedings of the 15th International Symposium on Combinatorial Search (SoCS 2022), 2022, Page(s) 180-189
Publisher: AAAI Press
DOI: 10.1609/socs.v15i1.21766

Landmark Progression in Heuristic Search

Author(s): Clemens Büchner, Thomas Keller, Salomé Eriksson, Malte Helmert
Published in: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 2023, Page(s) 70-79
Publisher: AAAI Press
DOI: 10.1609/icaps.v33i1.27180

Trial-based Heuristic Tree Search for MDPs with Factored Action Spaces

Author(s): Florian Geißer, David Speck, Thomas Keller
Published in: Proceedings of the 13th Annual Symposium on Combinatorial Search (SoCS 2020), 2020, Page(s) 38-47
Publisher: AAAI Press
DOI: 10.5451/unibas-ep78709

Pattern Selection for Optimal Classical Planning with Saturated Cost Partitioning

Author(s): Jendrik Seipp
Published in: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Page(s) 5621-5627, ISBN 978-0-9992411-4-1
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2019/780

Subset-Saturated Transition Cost Partitioning

Author(s): Dominik Drexler, Jendrik Seipp, David Speck
Published in: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 2021, Page(s) 131-139
Publisher: AAAI Press
DOI: 10.5451/unibas-ep84301

Merging or Computing Saturated Cost Partitionings? A Merge Strategy for the Merge-and-Shrink Framework

Author(s): Silvan Sievers, Thomas Keller, Gabriele Röger
Published in: Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), 2024
Publisher: AAAI Press

On Weak Stubborn Sets in Classical Planning

Author(s): Silvan Sievers, Martin Wehrle
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Page(s) 4167-4174, ISBN 978-0-9992411-9-6
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2021/573

An Analysis of the Probabilistic Track of the IPC 2018

Author(s): Florian Geißer, David Speck, Thomas Keller
Published in: Proceedings of the ICAPS-2019 Workshop on the International Planning Competition (WIPC 2019), 2019, Page(s) 27-35
Publisher: Workshop on the International Planning Competition

Iterative Budgeted Exponential Search

Author(s): Malte Helmert, Tor Lattimore, Levi H. S. Lelis, Laurent Orseau, Nathan R. Sturtevant
Published in: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Page(s) 1249-1257, ISBN 978-0-9992411-4-1
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2019/174

Kronk (planner abstract)

Author(s): Jendrik Seipp
Published in: Proceedings of the Sparkle Planning Challenge 2019, 2019
Publisher: Sparkle Planning Challenge 2019

Detecting Unsolvability Based on Separating Functions

Author(s): Remo Christen, Salomé Eriksson, Florian Pommerening, Malte Helmert
Published in: Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022), 2022, Page(s) 44-52
Publisher: AAAI Press
DOI: 10.1609/icaps.v32i1.19784

A Comparison of Abstraction Heuristics for Rubik's Cube

Author(s): Clemens Büchner, Patrick Ferber, Jendrik Seipp, Malte Helmert
Published in: Proceedings of the ICAPS 2022 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2022), 2022
Publisher: Workshop on Heuristics and Search for Domain-Independent Planning

Lagrangian Decomposition for Classical Planning (Extended Abstract)

Author(s): Florian Pommerening, Gabriele Röger, Malte Helmert, Hadrien Cambazad, Louis-Martin Rousseau, Domenico Salvagnin
Published in: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020, Page(s) 4770-4774, ISBN 978-0-9992411-6-5
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2020/663

A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems

Author(s): Thorsten Klößner, Álvaro Torralba, Marcel Steinmetz, Silvan Sievers
Published in: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 2023, Page(s) 203-211
Publisher: AAAI Press
DOI: 10.1609/icaps.v33i1.27196

Planner Metrics Should Satisfy Independence of Irrelevant Alternatives (position paper)

Author(s): Jendrik Seipp
Published in: Proceedings of the ICAPS-2019 Workshop on the International Planning Competition (WIPC 2019), 2019, Page(s) 40-41
Publisher: Workshop on the International Planning Competition

Transition Landmarks from Abstraction Cuts

Author(s): Florian Pommerening, Clemens Büchner, Thomas Keller
Published in: Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), 2024
Publisher: AAAI Press

On the Complexity of Heuristic Synthesis for Satisficing Classical Planning: Potential Heuristics and Beyond

Author(s): Malte Helmert, Silvan Sievers, Alexander Rovner, Augusto B. Corrêa
Published in: Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022), 2022, Page(s) 124-133
Publisher: AAAI Press
DOI: 10.1609/icaps.v32i1.19793

Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases

Author(s): Daniel Gnad, Silvan Sievers, Álvaro Torralba
Published in: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 2023, Page(s) 138-147
Publisher: AAAI Press
DOI: 10.1609/icaps.v33i1.27188

Incremental Search for Counterexample-Guided Cartesian Abstraction Refinement

Author(s): Jendrik Seipp, Samuel von Allmen, Malte Helmert
Published in: Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), 2020, Page(s) 244-248
Publisher: AAAI Press

Online Saturated Cost Partitioning for Classical Planning

Author(s): Jendrik Seipp
Published in: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 2021, Page(s) 317-321
Publisher: AAAI Press
DOI: 10.5451/unibas-ep84300

Novelty vs. Potential Heuristics: A Comparison of Hardness Measures for Satisficing Planning

Author(s): Simon Dold, Malte Helmert
Published in: Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI 2024), 2024
Publisher: AAAI Press

Merge-and-Shrink Task Reformulation for Classical Planning

Author(s): Álvaro Torralba, Silvan Sievers
Published in: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Page(s) 5644-5652, ISBN 978-0-9992411-4-1
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2019/783

Exploiting Cyclic Dependencies in Landmark Heuristics

Author(s): Clemens Büchner, Thomas Keller, Malte Helmert
Published in: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 2021, Page(s) 65-73
Publisher: AAAI Press
DOI: 10.5451/unibas-ep84308

An Atom-Centric Perspective on Stubborn Sets

Author(s): Gabriele Röger, Malte Helmert, Jendrik Seipp, Silvan Sievers
Published in: Proceedings of the 13th Annual Symposium on Combinatorial Search (SoCS 2020), 2020, Page(s) 57-65
Publisher: AAAI Press
DOI: 10.5451/unibas-ep78736

LM-BFS: A Framework for Landmarks in Planning

Author(s): Clemens Büchner, Thomas Keller
Published in: Proceedings of the ICAPS 2021 Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP 2021), 2021
Publisher: Workshop on Heuristics and Search for Domain-Independent Planning

Stochastic Planning with Lifted Symbolic Trajectory Optimization

Author(s): Hao Cui, Thomas Keller, Roni Khardon
Published in: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019, Page(s) 119-127
Publisher: AAAI Press

Neural Network Heuristic Functions: Taking Confidence into Account

Author(s): Daniel Heller, Patrick Ferber, Julian Bitterwolf, Matthias Hein, Jörg Hoffmann
Published in: Proceedings of the 15th International Symposium on Combinatorial Search (SoCS 2022), 2022, Page(s) 223-228
Publisher: AAAI Press
DOI: 10.1609/socs.v15i1.21771

Oversubscription Planning as Classical Planning with Multiple Cost Functions

Author(s): Michael Katz, Emil Keyder, Florian Pommerening, Dominik Winterer
Published in: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019, Page(s) 237-245
Publisher: AAAI Press

Cost Partitioning Heuristics for Stochastic Shortest Path Problems

Author(s): Thorsten Klößner, Florian Pommerening, Thomas Keller, Gabriele Röger
Published in: Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022), 2022, Page(s) 193-202
Publisher: AAAI Press
DOI: 10.1609/icaps.v32i1.19802

Computing Domain Abstractions for Optimal Classical Planning with Counterexample-Guided Abstraction Refinement

Author(s): Raphael Kreft, Clemens Büchner, Silvan Sievers, Malte Helmert
Published in: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 2023, Page(s) 221-226
Publisher: AAAI Press
DOI: 10.1609/icaps.v33i1.27198

Peer reviewed articles (2)

Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems

Author(s): Silvan Sievers, Malte Helmert
Published in: Journal of Artificial Intelligence Research, Issue 71, 2021, Page(s) 781-883, ISSN 1076-9757
Publisher: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.12557

Saturated Cost Partitioning for Optimal Classical Planning

Author(s): Jendrik Seipp, Thomas Keller, Malte Helmert
Published in: Journal of Artificial Intelligence Research, Issue 67, 2020, Page(s) 129-167, ISSN 1076-9757
Publisher: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.11673