Browse by Basel Contributors ID

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 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.