Salomé Eriksson

Salomé Eriksson
Address:
Department of Mathematics and Computer Science
Spiegelgasse 5
CH - 4051 Basel, Switzerland
Room:
04.001
Email:
salome.eriksson@unibas.ch
Phone:
+41 61 207 55 83

Publications

(Show all abstracts) (Hide all abstracts)

2018

  • Salomé Eriksson, Gabriele Röger and Malte Helmert.
    Inductive Certificates of Unsolvability for Domain-Independent Planning.
    In Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018). 2018.
    Note: This paper was invited for submission to the Best Papers From Sister Conferences Track, based on a paper that appeared in the International Conference on Automated Planning and Scheduling (ICAPS) 2017. When referring to this work, please cite the ICAPS 2017 paper instead of this version.
    (Show abstract)

  • Salomé Eriksson, Gabriele Röger and Malte Helmert.
    A Proof System for Unsolvable Planning Tasks.
    In Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018). 2018.
    (Show abstract) (PDF)

2017

  • Salomé Eriksson, Gabriele Röger and Malte Helmert.
    Unsolvability Certificates for Classical Planning.
    In Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017), pp. 88-97. 2017.
    (Show abstract) (PDF) (slides; PDF)

Publications under my maiden name

(Show all abstracts) (Hide all abstracts)

2015

  • Salomé Simon and Gabriele Röger.
    Finding and Exploiting LTL Trajectory Constraints in Heuristic Search.
    In Proceedings of the 8th Annual Symposium on Combinatorial Search (SoCS 2015), pp. 113-121. 2015.
    A non-archival version of this paper was also presented at the ICAPS-2015 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP).
    (Show abstract) (PDF) (slides; PDF) (slides HSDIP; PDF)