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

Informations projet

BDE

N° de convention de subvention: 817639

DOI 10.3030/817639

Projet clôturé

Date de signature de la CE 18 Decembre 2018

Date de début 1 Février 2019

Date de fin 31 Janvier 2024

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total € 1 997 510,00

Contribution de l’UE € 1 997 510,00

Coordonné par

UNIVERSITAT BASEL
Switzerland

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (39)

Learning and Exploiting Progress States in Greedy Best-First Search

Auteurs: Patrick Ferber, Liat Cohen, Jendrik Seipp, Thomas Keller
Publié dans: Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI 2022), 2022, Page(s) 4740-4746
Éditeur: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2022/657

Saturated Post-hoc Optimization for Classical Planning

Auteurs: Jendrik Seipp, Thomas Keller, Malte Helmert
Publié dans: Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI 2021), 2021, Page(s) 11947-11953
Éditeur: AAAI Press
DOI: 10.5451/unibas-ep84299

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

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

Lagrangian Decomposition for Optimal Cost Partitioning

Auteurs: Florian Pommerening, Gabriele Röger, Malte Helmert, Hadrien Cambazard, Louis-Martin Rousseau, Domenico Salvagnin
Publié dans: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019, Page(s) 338-347
Éditeur: AAAI Press

An Empirical Study of Perfect Potential Heuristics

Auteurs: Augusto B. Corrêa, Florian Pommerening
Publié dans: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019, Page(s) 114-118
Éditeur: AAAI Press

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

Auteurs: Simon Dold,Malte Helmert
Publié dans: Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), 2024
Éditeur: AAAI Press

Subset-Saturated Cost Partitioning for Optimal Classical Planning

Auteurs: Jendrik Seipp, Malte Helmert
Publié dans: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019, Page(s) 391-400
Éditeur: AAAI Press

Dantzig-Wolfe Decomposition for Cost Partitioning

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

Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks

Auteurs: Silvan Sievers, Gabriele Röger, Martin Wehrle, Michael Katz
Publié dans: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019, Page(s) 446-454
Éditeur: AAAI Press

Additive Pattern Databases for Decoupled Search

Auteurs: Silvan Sievers, Daniel Gnad, Álvaro Torralba
Publié dans: Proceedings of the 15th International Symposium on Combinatorial Search (SoCS 2022), 2022, Page(s) 180-189
Éditeur: AAAI Press
DOI: 10.1609/socs.v15i1.21766

Landmark Progression in Heuristic Search

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

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

Auteurs: Florian Geißer, David Speck, Thomas Keller
Publié dans: Proceedings of the 13th Annual Symposium on Combinatorial Search (SoCS 2020), 2020, Page(s) 38-47
Éditeur: AAAI Press

Pattern Selection for Optimal Classical Planning with Saturated Cost Partitioning

Auteurs: Jendrik Seipp
Publié dans: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Page(s) 5621-5627, ISBN 978-0-9992411-4-1
Éditeur: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2019/780

Subset-Saturated Transition Cost Partitioning

Auteurs: Dominik Drexler, Jendrik Seipp, David Speck
Publié dans: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 2021, Page(s) 131-139
Éditeur: AAAI Press
DOI: 10.5451/unibas-ep84301

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

Auteurs: Silvan Sievers, Thomas Keller, Gabriele Röger
Publié dans: Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), 2024
Éditeur: AAAI Press

On Weak Stubborn Sets in Classical Planning

Auteurs: Silvan Sievers, Martin Wehrle
Publié dans: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Page(s) 4167-4174, ISBN 978-0-9992411-9-6
Éditeur: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2021/573

An Analysis of the Probabilistic Track of the IPC 2018

Auteurs: Florian Geißer, David Speck, Thomas Keller
Publié dans: Proceedings of the ICAPS-2019 Workshop on the International Planning Competition (WIPC 2019), 2019, Page(s) 27-35
Éditeur: Workshop on the International Planning Competition

Iterative Budgeted Exponential Search

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

Kronk (planner abstract)

Auteurs: Jendrik Seipp
Publié dans: Proceedings of the Sparkle Planning Challenge 2019, 2019
Éditeur: Sparkle Planning Challenge 2019

Detecting Unsolvability Based on Separating Functions

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

A Comparison of Abstraction Heuristics for Rubik's Cube

Auteurs: Clemens Büchner, Patrick Ferber, Jendrik Seipp, Malte Helmert
Publié dans: Proceedings of the ICAPS 2022 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2022), 2022
Éditeur: Workshop on Heuristics and Search for Domain-Independent Planning

Lagrangian Decomposition for Classical Planning (Extended Abstract)

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

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

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

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

Auteurs: Jendrik Seipp
Publié dans: Proceedings of the ICAPS-2019 Workshop on the International Planning Competition (WIPC 2019), 2019, Page(s) 40-41
Éditeur: Workshop on the International Planning Competition

Transition Landmarks from Abstraction Cuts

Auteurs: Florian Pommerening, Clemens Büchner, Thomas Keller
Publié dans: Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), 2024
Éditeur: AAAI Press

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

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

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

Auteurs: Daniel Gnad, Silvan Sievers, Álvaro Torralba
Publié dans: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 2023, Page(s) 138-147
Éditeur: AAAI Press
DOI: 10.1609/icaps.v33i1.27188

Incremental Search for Counterexample-Guided Cartesian Abstraction Refinement

Auteurs: Jendrik Seipp, Samuel von Allmen, Malte Helmert
Publié dans: Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), 2020, Page(s) 244-248
Éditeur: AAAI Press

Online Saturated Cost Partitioning for Classical Planning

Auteurs: Jendrik Seipp
Publié dans: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 2021, Page(s) 317-321
Éditeur: AAAI Press
DOI: 10.5451/unibas-ep84300

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

Auteurs: Simon Dold, Malte Helmert
Publié dans: Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI 2024), 2024
Éditeur: AAAI Press

Merge-and-Shrink Task Reformulation for Classical Planning

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

Exploiting Cyclic Dependencies in Landmark Heuristics

Auteurs: Clemens Büchner, Thomas Keller, Malte Helmert
Publié dans: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 2021, Page(s) 65-73
Éditeur: AAAI Press
DOI: 10.5451/unibas-ep84308

An Atom-Centric Perspective on Stubborn Sets

Auteurs: Gabriele Röger, Malte Helmert, Jendrik Seipp, Silvan Sievers
Publié dans: Proceedings of the 13th Annual Symposium on Combinatorial Search (SoCS 2020), 2020, Page(s) 57-65
Éditeur: AAAI Press

LM-BFS: A Framework for Landmarks in Planning

Auteurs: Clemens Büchner, Thomas Keller
Publié dans: Proceedings of the ICAPS 2021 Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP 2021), 2021
Éditeur: Workshop on Heuristics and Search for Domain-Independent Planning

Stochastic Planning with Lifted Symbolic Trajectory Optimization

Auteurs: Hao Cui, Thomas Keller, Roni Khardon
Publié dans: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019, Page(s) 119-127
Éditeur: AAAI Press

Neural Network Heuristic Functions: Taking Confidence into Account

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

Oversubscription Planning as Classical Planning with Multiple Cost Functions

Auteurs: Michael Katz, Emil Keyder, Florian Pommerening, Dominik Winterer
Publié dans: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019, Page(s) 237-245
Éditeur: AAAI Press

Cost Partitioning Heuristics for Stochastic Shortest Path Problems

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

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

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

Peer reviewed articles (2)

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

Auteurs: Silvan Sievers, Malte Helmert
Publié dans: Journal of Artificial Intelligence Research, Numéro 71, 2021, Page(s) 781-883, ISSN 1076-9757
Éditeur: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.12557

Saturated Cost Partitioning for Optimal Classical Planning

Auteurs: Jendrik Seipp, Thomas Keller, Malte Helmert
Publié dans: Journal of Artificial Intelligence Research, Numéro 67, 2020, Page(s) 129-167, ISSN 1076-9757
Éditeur: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.11673