Augusto B. Corrêa

Augusto B. Corrêa
Address
Department of Mathematics and Computer Science
Spiegelgasse 5
CH - 4051 Basel, Switzerland
Room
04.001
Email
Phone
+41 61 207 55 83

Active projects

Publications

(Show all abstracts) (Hide all abstracts)

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.
    (PDF) (slides; PDF)

  • 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.
    (PDF) (code, scripts and data)

  • 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.
    (Show abstract) (PDF) (code) (slides; PDF) (poster; PDF)

  • 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.
    (Show abstract) (PDF) (slides; PDF) (technical report; PDF)

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 Sixth Workshop on Generalization in Planning (GenPlan 2022). 2022.
    Note: This work was also presented at HSDIP 2022. Due to different page limits, the HSDIP version has some additional details.
    (Show abstract) (slides; PDF)

  • 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.
    (Show abstract) (PDF) (poster; PDF) (video; MP4) (interactive demo)

  • 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.
    (Show abstract) (PDF)

  • 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.
    Erratum: In the published version of the paper, the proof of Theorem 7 mistakenly says "DDA" instead of "SDDA" in some places. This is fixed in the version provided here.
    (Show abstract) (PDF) (slides; PDF) (poster; PDF)

  • 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.
    (Show abstract) (PDF) (poster; PDF) (slides; PDF) (code, scripts, and data)

  • 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.
    (Show abstract) (PDF) (slides (short); PDF) (slides (long); PDF) (poster; PDF) (code and appendix)

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.
    (Show abstract) (PDF) (slides; PDF) (recording) (poster; PDF) (code)

  • 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.
    (Show abstract) (PDF)

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.
    (Show abstract) (PDF) (slides; PDF) (recording) (poster; PDF)

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.
    (Show abstract) (PDF) (technical report; PDF) (slides IJCAI 2019; PDF) (slides GenPlan 2020; PDF) (poster; PDF)

  • 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.
    (Show abstract) (PDF) (slides; PDF) (code)

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.
    (Show abstract) (PDF)

  • 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.
    (Show abstract) (PDF)