Browse by Basel Contributors ID

2024

Blaas Correa, Augusto. Planning with different representations. 2024, Doctoral Thesis, University of Basel, Faculty of Science.

2023

Büchner, Clemens and Christen, Remo and Corrêa, Augusto B. and Eriksson, Salomé and Ferber, Patrick and Seipp, Jendrik and Sievers, Silvan. (2023) Fast Downward Stone Soup 2023.

2022

Helmert, Malte and Sievers, Silvan and Rovner, Alexander and Corrêa, Augusto B.. (2022) On the Complexity of Heuristic Synthesis for Satisficing Classical Planning: Potential Heuristics and Beyond. In: Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022). pp. 124-133.

Corrêa, Augusto B. and Pommerening, Florian and Helmert, Malte and Francès, Guillem. (2022) The FF Heuristic for Lifted Classical Planning. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence. Palo Alto, California USA, pp. 9716-9723.

Corrêa, Augusto B. and Seipp, Jendrik. (2022) Best-First Width Search for Lifted Classical Planning. In: Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022), 32. Palo Alto, California USA, pp. 11-15.

Abdulaziz, Mohammad and Pommerening, Florian and Corrêa, Augusto B.. (2022) Mechanically Proving Guarantees of Generalized Heuristics: First Results and Ongoing Work. ICAPS 2022 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2022). Proceedings.

Galery Käser, Lucas and Büchner, Clemens and Corrêa, Augusto B. and Pommerening, Florian and Röger, Gabriele. (2022) Machetli: Simplifying Input Files for Debugging. 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022). System Demonstrations.

2021

Corrêa, Augusto B. and Francès, Guillem and Pommerening, Florian and Helmert, Malte. (2021) Delete-Relaxation Heuristics for Lifted Classical Planning. In: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 31. pp. 94-102.

2020

Corrêa, Augusto B. and Pommerening, Florian and Helmert, Malte and Francès, Guillem. (2020) Lifted Successor Generation using Query Optimization Techniques. In: Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), 30. pp. 80-89.

2019

Francès Medina, Guillem and Corrêa, Augusto B. and Geissmann, Cedric and Pommerening, Florian. (2019) Generalized Potential Heuristics for Classical Planning. In: Proceedings of the 28th International Joint Conference on Artificial Intelligence. pp. 5554-5561.

Corrêa, Augusto B. and Pommerening, Florian. (2019) An Empirical Study of Perfect Potential Heuristics. In: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 29. pp. 114-118.

2018

Corrêa, Augusto B. and Pommerening, Florian and Francès, Guillem. (2018) Relaxed Decision Diagrams for Delete-Free Planning. Proceedings of the CP 2018 Workshop on Constraints and AI Planning (ConsAIPlan 2018).