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

Información del proyecto

BDE

Identificador del acuerdo de subvención: 817639

DOI

10.3030/817639

Proyecto cerrado

Fecha de la firma de la CE 18 Diciembre 2018

Fecha de inicio 1 Febrero 2019

Fecha de finalización 31 Enero 2024

Financiado con arreglo a

• EXCELLENT SCIENCE - European Research Council (ERC)

Coste total

€ 1 997 510,00

Aportación de la UE

€ 1 997 510,00

Coordinado por

UNIVERSITAT BASEL
Switzerland

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (39)

Learning and Exploiting Progress States in Greedy Best-First Search

Autores: Patrick Ferber, Liat Cohen, Jendrik Seipp, Thomas Keller
Publicado en: Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI 2022), 2022, Página(s) 4740-4746
Editor: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2022/657

Saturated Post-hoc Optimization for Classical Planning

Autores: Jendrik Seipp, Thomas Keller, Malte Helmert
Publicado en: Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI 2021), 2021, Página(s) 11947-11953
Editor: AAAI Press
DOI: 10.5451/unibas-ep84299

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

Autores: Silvan Sievers, Florian Pommerening, Thomas Keller, Malte Helmert
Publicado en: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020, Página(s) 4152-4160, ISBN 978-0-9992411-6-5
Editor: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2020/574

Lagrangian Decomposition for Optimal Cost Partitioning

Autores: Florian Pommerening, Gabriele Röger, Malte Helmert, Hadrien Cambazard, Louis-Martin Rousseau, Domenico Salvagnin
Publicado en: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019, Página(s) 338-347
Editor: AAAI Press

An Empirical Study of Perfect Potential Heuristics

Autores: Augusto B. Corrêa, Florian Pommerening
Publicado en: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019, Página(s) 114-118
Editor: AAAI Press

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

Autores: Simon Dold,Malte Helmert
Publicado en: Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), 2024
Editor: AAAI Press

Subset-Saturated Cost Partitioning for Optimal Classical Planning

Autores: Jendrik Seipp, Malte Helmert
Publicado en: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019, Página(s) 391-400
Editor: AAAI Press

Dantzig-Wolfe Decomposition for Cost Partitioning

Autores: Florian Pommerening, Thomas Keller, Valentina Halasi, Jendrik Seipp, Silvan Sievers, Malte Helmert
Publicado en: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 2021, Página(s) 271-280
Editor: AAAI Press
DOI: 10.5451/unibas-ep84307

Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks

Autores: Silvan Sievers, Gabriele Röger, Martin Wehrle, Michael Katz
Publicado en: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019, Página(s) 446-454
Editor: AAAI Press

Additive Pattern Databases for Decoupled Search

Autores: Silvan Sievers, Daniel Gnad, Álvaro Torralba
Publicado en: Proceedings of the 15th International Symposium on Combinatorial Search (SoCS 2022), 2022, Página(s) 180-189
Editor: AAAI Press
DOI: 10.1609/socs.v15i1.21766

Landmark Progression in Heuristic Search

Autores: Clemens Büchner, Thomas Keller, Salomé Eriksson, Malte Helmert
Publicado en: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 2023, Página(s) 70-79
Editor: AAAI Press
DOI: 10.1609/icaps.v33i1.27180

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

Autores: Florian Geißer, David Speck, Thomas Keller
Publicado en: Proceedings of the 13th Annual Symposium on Combinatorial Search (SoCS 2020), 2020, Página(s) 38-47
Editor: AAAI Press

Pattern Selection for Optimal Classical Planning with Saturated Cost Partitioning

Autores: Jendrik Seipp
Publicado en: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Página(s) 5621-5627, ISBN 978-0-9992411-4-1
Editor: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2019/780

Subset-Saturated Transition Cost Partitioning

Autores: Dominik Drexler, Jendrik Seipp, David Speck
Publicado en: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 2021, Página(s) 131-139
Editor: AAAI Press
DOI: 10.5451/unibas-ep84301

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

Autores: Silvan Sievers, Thomas Keller, Gabriele Röger
Publicado en: Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), 2024
Editor: AAAI Press

On Weak Stubborn Sets in Classical Planning

Autores: Silvan Sievers, Martin Wehrle
Publicado en: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Página(s) 4167-4174, ISBN 978-0-9992411-9-6
Editor: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2021/573

An Analysis of the Probabilistic Track of the IPC 2018

Autores: Florian Geißer, David Speck, Thomas Keller
Publicado en: Proceedings of the ICAPS-2019 Workshop on the International Planning Competition (WIPC 2019), 2019, Página(s) 27-35
Editor: Workshop on the International Planning Competition

Iterative Budgeted Exponential Search

Autores: Malte Helmert, Tor Lattimore, Levi H. S. Lelis, Laurent Orseau, Nathan R. Sturtevant
Publicado en: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Página(s) 1249-1257, ISBN 978-0-9992411-4-1
Editor: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2019/174

Kronk (planner abstract)

Autores: Jendrik Seipp
Publicado en: Proceedings of the Sparkle Planning Challenge 2019, 2019
Editor: Sparkle Planning Challenge 2019

Detecting Unsolvability Based on Separating Functions

Autores: Remo Christen, Salomé Eriksson, Florian Pommerening, Malte Helmert
Publicado en: Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022), 2022, Página(s) 44-52
Editor: AAAI Press
DOI: 10.1609/icaps.v32i1.19784

A Comparison of Abstraction Heuristics for Rubik's Cube

Autores: Clemens Büchner, Patrick Ferber, Jendrik Seipp, Malte Helmert
Publicado en: Proceedings of the ICAPS 2022 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2022), 2022
Editor: Workshop on Heuristics and Search for Domain-Independent Planning

Lagrangian Decomposition for Classical Planning (Extended Abstract)

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

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

Autores: Thorsten Klößner, Álvaro Torralba, Marcel Steinmetz, Silvan Sievers
Publicado en: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 2023, Página(s) 203-211
Editor: AAAI Press
DOI: 10.1609/icaps.v33i1.27196

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

Autores: Jendrik Seipp
Publicado en: Proceedings of the ICAPS-2019 Workshop on the International Planning Competition (WIPC 2019), 2019, Página(s) 40-41
Editor: Workshop on the International Planning Competition

Transition Landmarks from Abstraction Cuts

Autores: Florian Pommerening, Clemens Büchner, Thomas Keller
Publicado en: Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), 2024
Editor: AAAI Press

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

Autores: Malte Helmert, Silvan Sievers, Alexander Rovner, Augusto B. Corrêa
Publicado en: Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022), 2022, Página(s) 124-133
Editor: AAAI Press
DOI: 10.1609/icaps.v32i1.19793

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

Autores: Daniel Gnad, Silvan Sievers, Álvaro Torralba
Publicado en: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 2023, Página(s) 138-147
Editor: AAAI Press
DOI: 10.1609/icaps.v33i1.27188

Incremental Search for Counterexample-Guided Cartesian Abstraction Refinement

Autores: Jendrik Seipp, Samuel von Allmen, Malte Helmert
Publicado en: Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), 2020, Página(s) 244-248
Editor: AAAI Press

Online Saturated Cost Partitioning for Classical Planning

Autores: Jendrik Seipp
Publicado en: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 2021, Página(s) 317-321
Editor: AAAI Press
DOI: 10.5451/unibas-ep84300

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

Autores: Simon Dold, Malte Helmert
Publicado en: Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI 2024), 2024
Editor: AAAI Press

Merge-and-Shrink Task Reformulation for Classical Planning

Autores: Álvaro Torralba, Silvan Sievers
Publicado en: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Página(s) 5644-5652, ISBN 978-0-9992411-4-1
Editor: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2019/783

Exploiting Cyclic Dependencies in Landmark Heuristics

Autores: Clemens Büchner, Thomas Keller, Malte Helmert
Publicado en: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 2021, Página(s) 65-73
Editor: AAAI Press
DOI: 10.5451/unibas-ep84308

An Atom-Centric Perspective on Stubborn Sets

Autores: Gabriele Röger, Malte Helmert, Jendrik Seipp, Silvan Sievers
Publicado en: Proceedings of the 13th Annual Symposium on Combinatorial Search (SoCS 2020), 2020, Página(s) 57-65
Editor: AAAI Press

LM-BFS: A Framework for Landmarks in Planning

Autores: Clemens Büchner, Thomas Keller
Publicado en: Proceedings of the ICAPS 2021 Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP 2021), 2021
Editor: Workshop on Heuristics and Search for Domain-Independent Planning

Stochastic Planning with Lifted Symbolic Trajectory Optimization

Autores: Hao Cui, Thomas Keller, Roni Khardon
Publicado en: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019, Página(s) 119-127
Editor: AAAI Press

Neural Network Heuristic Functions: Taking Confidence into Account

Autores: Daniel Heller, Patrick Ferber, Julian Bitterwolf, Matthias Hein, Jörg Hoffmann
Publicado en: Proceedings of the 15th International Symposium on Combinatorial Search (SoCS 2022), 2022, Página(s) 223-228
Editor: AAAI Press
DOI: 10.1609/socs.v15i1.21771

Oversubscription Planning as Classical Planning with Multiple Cost Functions

Autores: Michael Katz, Emil Keyder, Florian Pommerening, Dominik Winterer
Publicado en: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 2019, Página(s) 237-245
Editor: AAAI Press

Cost Partitioning Heuristics for Stochastic Shortest Path Problems

Autores: Thorsten Klößner, Florian Pommerening, Thomas Keller, Gabriele Röger
Publicado en: Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022), 2022, Página(s) 193-202
Editor: AAAI Press
DOI: 10.1609/icaps.v32i1.19802

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

Autores: Raphael Kreft, Clemens Büchner, Silvan Sievers, Malte Helmert
Publicado en: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 2023, Página(s) 221-226
Editor: AAAI Press
DOI: 10.1609/icaps.v33i1.27198

Peer reviewed articles (2)

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

Autores: Silvan Sievers, Malte Helmert
Publicado en: Journal of Artificial Intelligence Research, Edición 71, 2021, Página(s) 781-883, ISSN 1076-9757
Editor: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.12557

Saturated Cost Partitioning for Optimal Classical Planning

Autores: Jendrik Seipp, Thomas Keller, Malte Helmert
Publicado en: Journal of Artificial Intelligence Research, Edición 67, 2020, Página(s) 129-167, ISSN 1076-9757
Editor: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.11673