Articles with public access mandates - Augusto B. CorrêaLearn more
Available somewhere: 15
Lifted successor generation using query optimization techniques
AB Corrêa, F Pommerening, M Helmert, G Frances
Proceedings of the International Conference on Automated Planning and …, 2020
Mandates: Swiss National Science Foundation, Government of Spain
Generalized potential heuristics for classical planning
G Francès Medina, AB Corrêa, C Geissmann, F Pommerening
International Joint Conferences on Artificial Intelligence, 2019
Mandates: Swiss National Science Foundation
Delete-relaxation heuristics for lifted classical planning
AB Corrêa, G Frances, F Pommerening, M Helmert
Proceedings of the International Conference on Automated Planning and …, 2021
Mandates: Swiss National Science Foundation, European Commission, Government of Spain
The FF heuristic for lifted classical planning
AB Corrêa, F Pommerening, M Helmert, G Frances
Proceedings of the AAAI Conference on Artificial Intelligence 36 (9), 9716-9723, 2022
Mandates: Swiss National Science Foundation, European Commission
Best-first width search for lifted classical planning
AB Corrêa, J Seipp
Proceedings of the International Conference on Automated Planning and …, 2022
Mandates: Swiss National Science Foundation, Knut and Alice Wallenberg Foundation …
An empirical study of perfect potential heuristics
AB Corrêa, F Pommerening
Proceedings of the International Conference on Automated Planning and …, 2019
Mandates: European Commission
Grounding planning tasks using tree decompositions and iterated solving
AB Corrêa, M Hecher, M Helmert, DM Longo, F Pommerening, S Woltran
Proceedings of the International Conference on Automated Planning and …, 2023
Mandates: Swiss National Science Foundation, Austrian Science Fund, European …
On the Complexity of Heuristic Synthesis for Satisficing Classical Planning: Potential Heuristics and Beyond
M Helmert, S Sievers, A Rovner, AB Corrêa
Proceedings of the International Conference on Automated Planning and …, 2022
Mandates: European Commission
Machetli: Simplifying Input Files for Debugging
L Galery Käser, C Büchner, AB Corrêa, F Pommerening, G Röger
32nd International Conference on Automated Planning and Scheduling (ICAPS …, 2022
Mandates: European Commission
Concept Languages as Expert Input for Generalized Planning: Preliminary Results
R De Graaff, AB Corrêa, F Pommerening
ICAPS 2021 Workshop on Knowledge Engineering for Planning and Scheduling, 2021
Mandates: Swiss National Science Foundation, European Commission
Planning with object creation
AB Corrêa, G De Giacomo, M Helmert, S Rubin
Proceedings of the International Conference on Automated Planning and …, 2024
Mandates: Swiss National Science Foundation, European Commission
Lifted planning: recent advances in planning using first-order representations
AB Corrêa, G De Giacomo
Proceedings of the 33rd International Joint Conference on Artificial …, 2024
Mandates: Swiss National Science Foundation, European Commission
Zero-knowledge proofs for classical planning problems
AB Corrêa, C Büchner, R Christen
Proceedings of the AAAI Conference on Artificial Intelligence 37 (10), 11955 …, 2023
Mandates: Swiss National Science Foundation, European Commission
Mechanically Proving Guarantees of Generalized Heuristics: First Results and Ongoing Work
M Abdulaziz, F Pommerening, AB Corrêa
ICAPS 2022 Workshop on Heuristics and Search for Domain-independent Planning …, 2022
Mandates: Swiss National Science Foundation, German Research Foundation, European …
Mechanically Proving Guarantees of Generalized Heuristics: First Results and Ongoing Work
MA Mansour, F Pommerening, AB Corrêa
Sixth Workshop on Generalization in Planning (GenPlan), 2022
Mandates: Swiss National Science Foundation, German Research Foundation, European …
Publication and funding information is determined automatically by a computer program