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: 2023 | 2022 | 2020 | 2019 | 2018 | 2017 | 2015

2023

Mugdan, Esther and Christen, Remo and Eriksson, Salomé. (2023) Optimality Certificates for Classical Planning. In: Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS 2023), 33. Palo Alto, California USA, pp. 286-294.

Büchner, Clemens and Christen, Remo and Eriksson, Salomé and Keller, Thomas. (2023) DALAI - Disjunctive Action Landmarks All In.

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.

Büchner, Clemens and Keller, Thomas and Eriksson, Salomé and Helmert, Malte. (2023) Landmark Progression in Heuristic Search. In: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 33. pp. 70-79.

2022

Christen, Remo and Eriksson, Salomé and Pommerening, Florian and Helmert, Malte. (2022) Detecting Unsolvability Based on Separating Functions. In: Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022). Palo Alto, California USA, pp. 44-52.

2020

Eriksson, Salomé and Helmert, Malte. (2020) Certified Unsolvability for SAT Planning with Property Directed Reachability. In: Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling (ICAPS 2020), 30. pp. 90-100.

2019

Eriksson, Salomé. Certifying planning systems : witnesses for unsolvability. 2019, Doctoral Thesis, University of Basel, Faculty of Science.

2018

Eriksson, Salomé and Röger, Gabriele and Helmert, Malte. (2018) A Proof System for Unsolvable Planning Tasks. In: Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018). pp. 65-73.

Eriksson, Salomé and Röger, Gabriele and Helmert, Malte. (2018) Inductive Certificates of Unsolvability for Domain-Independent Planning. In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. pp. 5244-5248.

2017

Eriksson, Salomé and Röger, Gabriele and Helmert, Malte. (2017) Unsolvability Certificates for Classical Planning. In: Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017).

2015

Simon, Salomé and Röger, Gabriele. (2015) Finding and Exploiting LTL Trajectory Constraints in Heuristic Search. In: Proceedings of the 8th Annual Symposium on Combinatorial Search (SoCS 2015). pp. 113-121.