Augusto B. Corra
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
3
Active years
2018–2025
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | Counting and Reasoning with Plans. | David Speck, Markus Hecher, Daniel Gnad, Johannes Klaus Fichte, Augusto B. Corra |
| 2025 | ICAPS | Delete-Free Planning with Object Creation is Undecidable. | Augusto B. Corra |
| 2025 | ICAPS | Alternation-Based Novelty Search. | Augusto B. Corra, Jendrik Seipp |
| 2024 | ICAPS | Planning with Object Creation. | Augusto B. Corra, Giuseppe De Giacomo, Malte Helmert, Sasha Rubin |
| 2024 | IJCAI | Lifted Planning: Recent Advances in Planning Using First-Order Representations. | Augusto B. Corra, Giuseppe De Giacomo |
| 2023 | AAAI | Zero-Knowledge Proofs for Classical Planning Problems. | Augusto B. Corra, Clemens Bchner, Remo Christen |
| 2022 | AAAI | The FF Heuristic for Lifted Classical Planning. | Augusto B. Corra, Florian Pommerening, Malte Helmert, Guillem Francs |
| 2019 | IJCAI | Generalized Potential Heuristics for Classical Planning. | Guillem Francs, Augusto B. Corra, Cedric Geissmann, Florian Pommerening |
| 2018 | IJCAI | Analyzing Tie-Breaking Strategies for the A* Algorithm. | Augusto B. Corra, Andr Grahl Pereira, Marcus Ritt |