edoc

Browse by Basel Contributors ID

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | Refereed | No Grouping
Jump to: No | Yes

No

Büchner, Clemens and Christen, Remo and Corrêa, Augusto B. and Eriksson, Salomé and Ferber, Patrick and Seipp, Jendrik and Sievers, Silvan. (2023) Fast Downward Stone Soup 2023.

Yes

Helmert, Malte and Sievers, Silvan and Rovner, Alexander and Corrêa, Augusto B.. (2022) 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.

Corrêa, Augusto B. and Pommerening, Florian and Helmert, Malte and Francès, Guillem. (2022) The FF Heuristic for Lifted Classical Planning. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence. Palo Alto, California USA, pp. 9716-9723.

Corrêa, Augusto B. and Seipp, Jendrik. (2022) Best-First Width Search for Lifted Classical Planning. In: Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022), 32. Palo Alto, California USA, pp. 11-15.

Abdulaziz, Mohammad and Pommerening, Florian and Corrêa, Augusto B.. (2022) Mechanically Proving Guarantees of Generalized Heuristics: First Results and Ongoing Work. ICAPS 2022 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2022). Proceedings.

Galery Käser, Lucas and Büchner, Clemens and Corrêa, Augusto B. and Pommerening, Florian and Röger, Gabriele. (2022) Machetli: Simplifying Input Files for Debugging. 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022). System Demonstrations.

Corrêa, Augusto B. and Francès, Guillem and Pommerening, Florian and Helmert, Malte. (2021) Delete-Relaxation Heuristics for Lifted Classical Planning. In: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 31. pp. 94-102.

Corrêa, Augusto B. and Pommerening, Florian and Helmert, Malte and Francès, Guillem. (2020) Lifted Successor Generation using Query Optimization Techniques. In: Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), 30. pp. 80-89.

Francès Medina, Guillem and Corrêa, Augusto B. and Geissmann, Cedric and Pommerening, Florian. (2019) Generalized Potential Heuristics for Classical Planning. In: Proceedings of the 28th International Joint Conference on Artificial Intelligence. pp. 5554-5561.

Corrêa, Augusto B. and Pommerening, Florian. (2019) An Empirical Study of Perfect Potential Heuristics. In: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 29. pp. 114-118.

Corrêa, Augusto B. and Pommerening, Florian and Francès, Guillem. (2018) Relaxed Decision Diagrams for Delete-Free Planning. Proceedings of the CP 2018 Workshop on Constraints and AI Planning (ConsAIPlan 2018).