publications
Most papers contain a Zenodo link containing the source code and sometimes the experimental data. If not, feel free to ask by email.
2024
-
Augusto B. Corrêa.
Planning with Different Representations.
Ph.D. Thesis, University of Basel, Switzerland, 2024.
Date of disputation: 2024-09-26. -
Augusto B. Corrêa and Giuseppe De Giacomo.
Lifted Planning: Recent Advances in Planning Using First-Order Representations.
In Proceedings of the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024). 2024. -
Augusto B. Corrêa, Giuseppe De Giacomo, Malte Helmert and Sasha Rubin.
Planning with Object Creation.
In Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), pp. 104-113. 2024.
(technical report) -
Augusto B. Corrêa and Jendrik Seipp.
Consolidating LAMA with Best-First Width Search.
In Proceedings of the ICAPS 2024 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2024). 2024.
2023
-
Augusto B. Corrêa, Markus Hecher, Malte Helmert, Davide Mario Longo, Florian Pommerening and Stefan Woltran.
Grounding Planning Tasks Using Tree Decompositions and Iterated Solving (Extended Abstract).
In KR 2023 Recently Published Research Track. 2023.
Note: This is an abridged version of a paper published at ICAPS 2023. -
Augusto B. Corrêa, Guillem Francès, Markus Hecher, Davide Mario Longo and Jendrik Seipp.
Levitron: Combining Ground and Lifted Planning (planner abstract).
In Tenth International Planning Competition (IPC 2023), Deterministic Part. 2023. -
Augusto B. Corrêa, Guillem Francès, Markus Hecher, Davide Mario Longo and Jendrik Seipp.
The Powerlifted Planning System in the IPC 2023 (planner abstract).
In Tenth International Planning Competition (IPC 2023), Deterministic Part. 2023. -
Augusto B. Corrêa, Guillem Francès, Markus Hecher, Davide Mario Longo and Jendrik Seipp.
Scorpion Maidu: Width Search in the Scorpion Planning System (planner abstract).
In Tenth International Planning Competition (IPC 2023), Deterministic Part. 2023. -
Daniel Doebber, André Grahl Pereira and Augusto B. Corrêa.
OpCount4Sat: Operator Counting Heuristics for Satisficing Planning (planner abstract).
In Tenth International Planning Competition (IPC 2023), Deterministic Part. 2023. -
Clemens Büchner, Remo Christen, Augusto B. Corrêa, Salomé Eriksson, Patrick Ferber, Jendrik Seipp and Silvan Sievers.
Fast Downward Stone Soup 2023 (planner abstract).
In Tenth International Planning Competition (IPC 2023), Deterministic Part. 2023. -
Augusto B. Corrêa, Markus Hecher, Malte Helmert, Davide Mario Longo, Florian Pommerening and Stefan Woltran.
Grounding Planning Tasks Using Tree Decompositions and Iterated Solving.
In Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023). 2023. -
Augusto B. Corrêa, Clemens Büchner and Remo Christen.
Zero-Knowledge Proofs for Classical Planning Problems.
In Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI 2023), pp. 11955-11962. 2023.
(technical report)
2022
-
Lucas Galery Käser, Clemens Büchner, Augusto B. Corrêa, Florian Pommerening and Gabriele Röger.
Machetli: Simplifying Input Files for Debugging.
In System Demonstrations at the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022). 2022. -
Mohammad Abdulaziz, Florian Pommerening and Augusto B. Corrêa.
Mechanically Proving Guarantees of Generalized Heuristics: First Results and Ongoing Work.
In Proceedings of the ICAPS 2022 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2022). 2022.
Note: This work was also presented at GenPlan 2022. Due to different page limits, the HSDIP version has some additional details. -
Malte Helmert, Silvan Sievers, Alexander Rovner and Augusto B. Corrêa.
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. 2022. -
Augusto B. Corrêa and Jendrik Seipp.
Best-First Width Search for Lifted Classical Planning.
In Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022). 2022. -
Augusto B. Corrêa, Florian Pommerening, Malte Helmert and Guillem Francès.
The FF Heuristic for Lifted Classical Planning.
In Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), pp. 9716-9723. 2022.
(technical report)
2021
-
Augusto B. Corrêa, Guillem Francès, Florian Pommerening and Malte Helmert.
Delete-Relaxation Heuristics for Lifted Classical Planning.
In Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), pp. 94-102. 2021. -
Rik de Graaff, Augusto B. Corrêa and Florian Pommerening.
Concept Languages as Expert Input for Generalized Planning: Preliminary Results.
In Proceedings of the ICAPS 2021 Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2021). 2021.
2020
- Augusto B. Corrêa, Florian Pommerening, Malte Helmert and Guillem Francès.
Lifted Successor Generation using Query Optimization Techniques.
In Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), pp. 80-89. 2020.
2019
-
Guillem Francès, Augusto B. Corrêa, Cedric Geissmann and Florian Pommerening.
Generalized Potential Heuristics for Classical Planning.
In Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), pp. 5554-5561. 2019.
(technical report) -
Augusto B. Corrêa and Florian Pommerening.
An Empirical Study of Perfect Potential Heuristics.
In Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), pp. 114-118. 2019.
2018
-
Augusto B. Corrêa, Florian Pommerening and Guillem Francès.
Relaxed Decision Diagrams for Delete-Free Planning.
In Proceedings of the CP 2018 Workshop on Constraints and AI Planning (ConsAIPlan 2018). 2018. -
Augusto B. Corrêa, André G. Pereira and Marcus Ritt.
Analyzing Tie-Breaking Strategies for the A* Algorithm.
In Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018), pp. 4715-4721. 2018.