edoc

Items where contributor is "Eriksson, Salomé"

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

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.