Obserwuj
Augusto B.  Corrêa
Tytuł
Cytowane przez
Cytowane przez
Rok
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
592020
Generalized potential heuristics for classical planning
G Francès Medina, AB Corrêa, C Geissmann, F Pommerening
International Joint Conferences on Artificial Intelligence, 2019
392019
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
342021
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
182022
Best-first width search for lifted classical planning
AB Corrêa, J Seipp
Proceedings of the International Conference on Automated Planning and …, 2022
132022
Scorpion Maidu: Width Search in the Scorpion Planning System
AB Corrêa, G Frances, M Hecher, DM Longo, J Seipp
Tenth International Planning Competition (IPC-10): Planner Abstracts, 2023
9*2023
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
82023
Analyzing Tie-Breaking Strategies for the A* Algorithm
AB Corrêa, AG Pereira, M Ritt
IJCAI 2018, 8, 2018
82018
An empirical study of perfect potential heuristics
AB Corrêa, F Pommerening
Proceedings of the International Conference on Automated Planning and …, 2019
72019
The powerlifted planning system in the IPC 2023
AB Corrêa, G Frances, M Hecher, DM Longo, J Seipp
Tenth International Planning Competition (IPC-10): Planner Abstracts, 2023
52023
Levitron: Combining Ground and Lifted Planning
AB Corrêa, G Frances, M Hecher, DM Longo, J Seipp
Tenth International Planning Competition (IPC-10): Planner Abstracts 160, 77, 2023
52023
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
42022
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
4*2022
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
42021
Generalized potential heuristics for classical planning: Additional material
G Frances, AB Corrêa, C Geissmann, F Pommerening
Technical Report CS-2019-003, University of Basel, Department of Mathematics …, 2019
42019
Planning with object creation
AB Corrêa, G De Giacomo, M Helmert, S Rubin
Proceedings of the International Conference on Automated Planning and …, 2024
32024
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
32024
Fast Downward Stone Soup 2023
C Büchner, R Christen, AB Corrêa, S Eriksson, P Ferber, J Seipp, ...
University_of_Basel, 2023
32023
Planning using lifted task representations
AB Corrêa
Master’s thesis, University of Basel, 2019
32019
Relaxed Decision Diagrams for Delete-Free Planning
AB Corrêa, F Pommerening, G Frances
Proceedings of the CP 2018 Workshop on Constraints and AI Planning …, 2018
32018
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20