Silvan Sievers

Silvan Sievers
Address:
Department of Mathematics and Computer Science
Spiegelgasse 5
CH - 4051 Basel, Switzerland
Room:
04.001
Email:
silvan.sievers@unibas.ch
Phone:
+41 61 207 05 40

About me

I received my Master's degree from University of Freiburg in April 2012. Since November 2012, I am a PhD student in the AI group led by Malte Helmert at the University of Basel. I am working mainly on classical planning, with a focus of merge-and-shrink heuristics and pruning techniques like symmetries.

Software

  • I am a regular contributor to Fast Downward. If you are looking for specific implementations of algorithms described in my papers which are not part of public Fast Downward, please contact me.
  • doko: a C++ framework implementing the game doppelkopf, with an integrated player based on UCT. See my Master's thesis and the KI 2015 paper below for a description of the game and an evaluation of the UCT player.

Tutorials

Publications

(Show all abstracts) (Hide all abstracts)

2017

  • Silvan Sievers, Gabriele Röger, Martin Wehrle and Michael Katz.
    Structural Symmetries of the Lifted Representation of Classical Planning Tasks.
    In Proceedings of the ICAPS-2017 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2017), pp. 67-74. 2017.
    (Show abstract) (PDF) (slides; PDF)

  • Silvan Sievers, Martin Wehrle, Malte Helmert and Michael Katz.
    Strengthening Canonical Pattern Databases with Structural Symmetries.
    In Proceedings of the ICAPS-2017 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2017), pp. 75-83. 2017.
    Superseded by the SoCS 2017 paper by the same name.
    (Show abstract) (PDF) (slides; PDF)

  • Silvan Sievers, Martin Wehrle, Malte Helmert and Michael Katz.
    Strengthening Canonical Pattern Databases with Structural Symmetries.
    In Proceedings of the 10th Annual Symposium on Combinatorial Search (SoCS 2017), pp. 91-99. 2017.
    (Show abstract) (PDF) (slides; PDF)

2016

  • Martin Wehrle, Silvan Sievers and Malte Helmert.
    Graph-Based Factorization of Classical Planning Problems.
    In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), pp. 3286-3292. 2016.
    (Show abstract) (PDF)

  • Jendrik Seipp, Florian Pommerening, Silvan Sievers, Martin Wehrle, Chris Fawcett and Yusra Alkhazraji.
    Fast Downward Aidos (planner abstract).
    In First Unsolvability International Planning Competition. 2016.
    (PDF)

  • Silvan Sievers, Martin Wehrle and Malte Helmert.
    An Analysis of Merge Strategies for Merge-and-Shrink Heuristics.
    In Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016), pp. 294-298. 2016.
    (Show abstract) (PDF) (technical report; PDF) (slides; PDF)

2015

  • Silvan Sievers and Malte Helmert.
    A Doppelkopf Player Based on UCT.
    In Proceedings of the 38th Annual German Conference on Artificial Intelligence (KI 2015), pp. 151-165. 2015.
    (Show abstract) (PDF) (slides; PDF)

  • Silvan Sievers, Martin Wehrle, Malte Helmert and Michael Katz.
    An Empirical Case Study on Symmetry Handling in Cost-Optimal Planning as Heuristic Search.
    In Proceedings of the 38th Annual German Conference on Artificial Intelligence (KI 2015), pp. 166-180. 2015.
    (Show abstract) (PDF) (slides; PDF)

  • Malte Helmert, Gabriele Röger and Silvan Sievers.
    On the Expressive Power of Non-Linear Merge-and-Shrink Representations.
    In Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015), pp. 106-114. 2015.
    (Show abstract) (PDF)

  • Jendrik Seipp, Silvan Sievers, Malte Helmert and Frank Hutter.
    Automatic Configuration of Sequential Planning Portfolios.
    In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), pp. 3364-3370. 2015.
    (Show abstract) (PDF) (technical report with portfolios; PDF) (slides; PDF)

  • Alexander Shleyfman, Michael Katz, Malte Helmert, Silvan Sievers and Martin Wehrle.
    Heuristics and Symmetries in Classical Planning.
    In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), pp. 3371-3377. 2015.
    (Show abstract) (PDF) (technical report; PDF)

  • Silvan Sievers, Martin Wehrle, Malte Helmert, Alexander Shleyfman and Michael Katz.
    Factored Symmetries for Merge-and-Shrink Abstractions.
    In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), pp. 3378-3385. 2015.
    (Show abstract) (PDF)

2014

  • Jendrik Seipp, Silvan Sievers and Frank Hutter.
    Fast Downward Cedalion (planner abstract).
    In Eighth International Planning Competition (IPC 2014), Planning and Learning Part. 2014.
    (PDF)

  • Jendrik Seipp, Silvan Sievers and Frank Hutter.
    Fast Downward SMAC (planner abstract).
    In Eighth International Planning Competition (IPC 2014), Planning and Learning Part. 2014.
    (PDF)

  • Silvan Sievers, Martin Wehrle and Malte Helmert.
    Bounded Intention Planning Revisited.
    In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), pp. 1097-1098. 2014.
    Erratum: On the first page, right column, the paper describes a zero-cost "freeze operator intention" operator Freeze(v, x). In addition to the stated precondition and effect, there should also be a prevail condition: prv[v]=x.
    (Show abstract) (PDF) (technical report; PDF)

  • Silvan Sievers, Martin Wehrle and Malte Helmert.
    Generalized Label Reduction for Merge-and-Shrink Heuristics.
    In Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI 2014), pp. 2358-2366. 2014.
    (Show abstract) (PDF) (slides; PDF)

  • Jendrik Seipp, Silvan Sievers and Frank Hutter.
    Fast Downward Cedalion (planner abstract).
    In Eighth International Planning Competition (IPC 2014), Deterministic Part, pp. 17-27. 2014.
    (PDF)

  • Silvan Sievers, Martin Wehrle and Malte Helmert.
    Generalized Label Reduction for Merge-and-Shrink Heuristics.
    In Proceedings of the ICAPS-2014 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP), pp. 107-115. 2014.
    Superseded by the AAAI 2014 paper by the same name.
    (Show abstract) (PDF)

2013

  • Jendrik Seipp, Silvan Sievers and Frank Hutter.
    Automatic Configuration of Sequential Planning Portfolios.
    Technical Report CS-2013-005, Department of Mathematics and Computer Science, University of Basel, 2013.
    Superseded by the AAAI 2015 paper by the same name.
    (Show abstract) (PDF)

2012

  • Silvan Sievers, Manuela Ortlieb and Malte Helmert.
    Efficient Implementation of Pattern Database Heuristics for Classical Planning.
    In Proceedings of the Fifth Annual Symposium on Combinatorial Search (SoCS 2012), pp. 105-111. 2012.
    (Show abstract) (PDF)

  • Silvan Sievers.
    Implementation of the UCT Algorithm for Doppelkopf.
    Master's thesis, Albert-Ludwigs-Universität Freiburg, 2012.
    (Show abstract) (PDF)