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

Projektinformationen

BDE

ID Finanzhilfevereinbarung: 817639

DOI

10.3030/817639

Projekt abgeschlossen

EK-Unterschriftsdatum 18 Dezember 2018

Startdatum 1 Februar 2019

Enddatum 31 Januar 2024

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 1 997 510,00

EU-Beitrag

€ 1 997 510,00

Koordiniert durch

UNIVERSITAT BASEL
Switzerland

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (39)

Learning and Exploiting Progress States in Greedy Best-First Search

Autoren: Patrick Ferber, Liat Cohen, Jendrik Seipp, Thomas Keller
Veröffentlicht in: Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI 2022), 2022, Seite(n) 4740-4746
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2022/657

Saturated Post-hoc Optimization for Classical Planning

Autoren: Jendrik Seipp, Thomas Keller, Malte Helmert
Veröffentlicht in: Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI 2021), 2021, Seite(n) 11947-11953
Herausgeber: AAAI Press
DOI: 10.5451/unibas-ep84299

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

Autoren: Silvan Sievers, Florian Pommerening, Thomas Keller, Malte Helmert
Veröffentlicht in: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020, Seite(n) 4152-4160, ISBN 978-0-9992411-6-5
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2020/574

Lagrangian Decomposition for Optimal Cost Partitioning

Autoren: Florian Pommerening, Gabriele Röger, Malte Helmert, Hadrien Cambazard, Louis-Martin Rousseau, Domenico Salvagnin
Veröffentlicht in: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019, Seite(n) 338-347
Herausgeber: AAAI Press

An Empirical Study of Perfect Potential Heuristics

Autoren: Augusto B. Corrêa, Florian Pommerening
Veröffentlicht in: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019, Seite(n) 114-118
Herausgeber: AAAI Press

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

Autoren: Simon Dold,Malte Helmert
Veröffentlicht in: Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), 2024
Herausgeber: AAAI Press

Subset-Saturated Cost Partitioning for Optimal Classical Planning

Autoren: Jendrik Seipp, Malte Helmert
Veröffentlicht in: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019, Seite(n) 391-400
Herausgeber: AAAI Press

Dantzig-Wolfe Decomposition for Cost Partitioning

Autoren: Florian Pommerening, Thomas Keller, Valentina Halasi, Jendrik Seipp, Silvan Sievers, Malte Helmert
Veröffentlicht in: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 2021, Seite(n) 271-280
Herausgeber: AAAI Press
DOI: 10.5451/unibas-ep84307

Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks

Autoren: Silvan Sievers, Gabriele Röger, Martin Wehrle, Michael Katz
Veröffentlicht in: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019, Seite(n) 446-454
Herausgeber: AAAI Press

Additive Pattern Databases for Decoupled Search

Autoren: Silvan Sievers, Daniel Gnad, Álvaro Torralba
Veröffentlicht in: Proceedings of the 15th International Symposium on Combinatorial Search (SoCS 2022), 2022, Seite(n) 180-189
Herausgeber: AAAI Press
DOI: 10.1609/socs.v15i1.21766

Landmark Progression in Heuristic Search

Autoren: Clemens Büchner, Thomas Keller, Salomé Eriksson, Malte Helmert
Veröffentlicht in: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 2023, Seite(n) 70-79
Herausgeber: AAAI Press
DOI: 10.1609/icaps.v33i1.27180

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

Autoren: Florian Geißer, David Speck, Thomas Keller
Veröffentlicht in: Proceedings of the 13th Annual Symposium on Combinatorial Search (SoCS 2020), 2020, Seite(n) 38-47
Herausgeber: AAAI Press

Pattern Selection for Optimal Classical Planning with Saturated Cost Partitioning

Autoren: Jendrik Seipp
Veröffentlicht in: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Seite(n) 5621-5627, ISBN 978-0-9992411-4-1
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2019/780

Subset-Saturated Transition Cost Partitioning

Autoren: Dominik Drexler, Jendrik Seipp, David Speck
Veröffentlicht in: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 2021, Seite(n) 131-139
Herausgeber: AAAI Press
DOI: 10.5451/unibas-ep84301

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

Autoren: Silvan Sievers, Thomas Keller, Gabriele Röger
Veröffentlicht in: Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), 2024
Herausgeber: AAAI Press

On Weak Stubborn Sets in Classical Planning

Autoren: Silvan Sievers, Martin Wehrle
Veröffentlicht in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Seite(n) 4167-4174, ISBN 978-0-9992411-9-6
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2021/573

An Analysis of the Probabilistic Track of the IPC 2018

Autoren: Florian Geißer, David Speck, Thomas Keller
Veröffentlicht in: Proceedings of the ICAPS-2019 Workshop on the International Planning Competition (WIPC 2019), 2019, Seite(n) 27-35
Herausgeber: Workshop on the International Planning Competition

Iterative Budgeted Exponential Search

Autoren: Malte Helmert, Tor Lattimore, Levi H. S. Lelis, Laurent Orseau, Nathan R. Sturtevant
Veröffentlicht in: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Seite(n) 1249-1257, ISBN 978-0-9992411-4-1
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2019/174

Kronk (planner abstract)

Autoren: Jendrik Seipp
Veröffentlicht in: Proceedings of the Sparkle Planning Challenge 2019, 2019
Herausgeber: Sparkle Planning Challenge 2019

Detecting Unsolvability Based on Separating Functions

Autoren: Remo Christen, Salomé Eriksson, Florian Pommerening, Malte Helmert
Veröffentlicht in: Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022), 2022, Seite(n) 44-52
Herausgeber: AAAI Press
DOI: 10.1609/icaps.v32i1.19784

A Comparison of Abstraction Heuristics for Rubik's Cube

Autoren: Clemens Büchner, Patrick Ferber, Jendrik Seipp, Malte Helmert
Veröffentlicht in: Proceedings of the ICAPS 2022 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2022), 2022
Herausgeber: Workshop on Heuristics and Search for Domain-Independent Planning

Lagrangian Decomposition for Classical Planning (Extended Abstract)

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

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

Autoren: Thorsten Klößner, Álvaro Torralba, Marcel Steinmetz, Silvan Sievers
Veröffentlicht in: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 2023, Seite(n) 203-211
Herausgeber: AAAI Press
DOI: 10.1609/icaps.v33i1.27196

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

Autoren: Jendrik Seipp
Veröffentlicht in: Proceedings of the ICAPS-2019 Workshop on the International Planning Competition (WIPC 2019), 2019, Seite(n) 40-41
Herausgeber: Workshop on the International Planning Competition

Transition Landmarks from Abstraction Cuts

Autoren: Florian Pommerening, Clemens Büchner, Thomas Keller
Veröffentlicht in: Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), 2024
Herausgeber: AAAI Press

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

Autoren: Malte Helmert, Silvan Sievers, Alexander Rovner, Augusto B. Corrêa
Veröffentlicht in: Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022), 2022, Seite(n) 124-133
Herausgeber: AAAI Press
DOI: 10.1609/icaps.v32i1.19793

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

Autoren: Daniel Gnad, Silvan Sievers, Álvaro Torralba
Veröffentlicht in: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 2023, Seite(n) 138-147
Herausgeber: AAAI Press
DOI: 10.1609/icaps.v33i1.27188

Incremental Search for Counterexample-Guided Cartesian Abstraction Refinement

Autoren: Jendrik Seipp, Samuel von Allmen, Malte Helmert
Veröffentlicht in: Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), 2020, Seite(n) 244-248
Herausgeber: AAAI Press

Online Saturated Cost Partitioning for Classical Planning

Autoren: Jendrik Seipp
Veröffentlicht in: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 2021, Seite(n) 317-321
Herausgeber: AAAI Press
DOI: 10.5451/unibas-ep84300

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

Autoren: Simon Dold, Malte Helmert
Veröffentlicht in: Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI 2024), 2024
Herausgeber: AAAI Press

Merge-and-Shrink Task Reformulation for Classical Planning

Autoren: Álvaro Torralba, Silvan Sievers
Veröffentlicht in: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Seite(n) 5644-5652, ISBN 978-0-9992411-4-1
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2019/783

Exploiting Cyclic Dependencies in Landmark Heuristics

Autoren: Clemens Büchner, Thomas Keller, Malte Helmert
Veröffentlicht in: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 2021, Seite(n) 65-73
Herausgeber: AAAI Press
DOI: 10.5451/unibas-ep84308

An Atom-Centric Perspective on Stubborn Sets

Autoren: Gabriele Röger, Malte Helmert, Jendrik Seipp, Silvan Sievers
Veröffentlicht in: Proceedings of the 13th Annual Symposium on Combinatorial Search (SoCS 2020), 2020, Seite(n) 57-65
Herausgeber: AAAI Press

LM-BFS: A Framework for Landmarks in Planning

Autoren: Clemens Büchner, Thomas Keller
Veröffentlicht in: Proceedings of the ICAPS 2021 Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP 2021), 2021
Herausgeber: Workshop on Heuristics and Search for Domain-Independent Planning

Stochastic Planning with Lifted Symbolic Trajectory Optimization

Autoren: Hao Cui, Thomas Keller, Roni Khardon
Veröffentlicht in: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019, Seite(n) 119-127
Herausgeber: AAAI Press

Neural Network Heuristic Functions: Taking Confidence into Account

Autoren: Daniel Heller, Patrick Ferber, Julian Bitterwolf, Matthias Hein, Jörg Hoffmann
Veröffentlicht in: Proceedings of the 15th International Symposium on Combinatorial Search (SoCS 2022), 2022, Seite(n) 223-228
Herausgeber: AAAI Press
DOI: 10.1609/socs.v15i1.21771

Oversubscription Planning as Classical Planning with Multiple Cost Functions

Autoren: Michael Katz, Emil Keyder, Florian Pommerening, Dominik Winterer
Veröffentlicht in: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019, Seite(n) 237-245
Herausgeber: AAAI Press

Cost Partitioning Heuristics for Stochastic Shortest Path Problems

Autoren: Thorsten Klößner, Florian Pommerening, Thomas Keller, Gabriele Röger
Veröffentlicht in: Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022), 2022, Seite(n) 193-202
Herausgeber: AAAI Press
DOI: 10.1609/icaps.v32i1.19802

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

Autoren: Raphael Kreft, Clemens Büchner, Silvan Sievers, Malte Helmert
Veröffentlicht in: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 2023, Seite(n) 221-226
Herausgeber: AAAI Press
DOI: 10.1609/icaps.v33i1.27198

Peer reviewed articles (2)

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

Autoren: Silvan Sievers, Malte Helmert
Veröffentlicht in: Journal of Artificial Intelligence Research, Ausgabe 71, 2021, Seite(n) 781-883, ISSN 1076-9757
Herausgeber: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.12557

Saturated Cost Partitioning for Optimal Classical Planning

Autoren: Jendrik Seipp, Thomas Keller, Malte Helmert
Veröffentlicht in: Journal of Artificial Intelligence Research, Ausgabe 67, 2020, Seite(n) 129-167, ISSN 1076-9757
Herausgeber: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.11673