Folgen
Silvan Sievers
Silvan Sievers
Post-Doc, University of Basel
Bestätigte E-Mail-Adresse bei unibas.ch - Startseite
Titel
Zitiert von
Zitiert von
Jahr
downward-lab 2.0
J Seipp, F Pommerening, S Sievers, M Helmert
111*2017
Heuristics and Symmetries in Classical Planning.
A Shleyfman, M Katz, M Helmert, S Sievers, M Wehrle
AAAI 2015, 3371-3377, 2015
782015
Generalized Label Reduction for Merge-and-Shrink Heuristics
S Sievers, M Wehrle, M Helmert
Heuristics and Search for Domain Independent Planning, 107, 2014
752014
Delfi: Online planner selection for cost-optimal planning
M Katz, S Sohrabi, H Samulowitz, S Sievers
IPC-9 planner abstracts, 57-64, 2018
632018
Automatic Configuration of Sequential Planning Portfolios.
J Seipp, S Sievers, M Helmert, F Hutter
AAAI, 3364-3370, 2015
612015
Efficient Implementation of Pattern Database Heuristics for Classical Planning
S Sievers, M Ortlieb, M Helmert
Proceedings of the Fifth Annual Symposium on Combinatorial Search (SOCS 2012 …, 2012
532012
An Analysis of Merge Strategies for Merge-and-Shrink Heuristics.
S Sievers, M Wehrle, M Helmert
ICAPS, 294-298, 2016
502016
Deep learning for cost-optimal planning: Task-dependent planner selection
S Sievers, M Katz, S Sohrabi, H Samulowitz, P Ferber
Proceedings of the AAAI Conference on Artificial Intelligence 33, 7715-7723, 2019
492019
Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks
S Sievers, G Röger, M Wehrle, M Katz
Proc. ICAPS, 2019
362019
Automatic Instance Generation for Classical Planning
A Torralba, J Seipp, S Sievers
Proceedings of the International Conference on Automated Planning and …, 2021
352021
Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems
S Sievers, M Helmert
Journal of Artificial Intelligence Research 71, 781-883, 2021
302021
Factored Symmetries for Merge-and-Shrink Abstractions.
S Sievers, M Wehrle, M Helmert, A Shleyfman, M Katz
AAAI, 3378-3385, 2015
282015
Symmetry-based task reduction for relaxed reachability analysis
G Röger, S Sievers, M Katz
Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
252018
Fast Downward Aidos
J Seipp, F Pommerening, S Sievers, M Wehrle, C Fawcett, Y Alkhazraji
UIPC 2016 Planner Abstracts, 28-38, 2016
242016
Counterexample-guided abstraction refinement for pattern selection in optimal classical planning
A Rovner, S Sievers, M Helmert
Proceedings of the International Conference on Automated Planning and …, 2019
232019
Merge-and-shrink heuristics for classical planning: Efficient implementation and partial abstractions
S Sievers
Proceedings of the 11th Annual Symposium on Combinatorial Search (SoCS 2018 …, 2018
192018
On the Expressive Power of Non-Linear Merge-and-Shrink Representations.
M Helmert, G Röger, S Sievers
ICAPS, 106-114, 2015
172015
Fast Downward Cedalion
J Seipp, S Sievers, F Hutter
Eighth International Planning Competition (IPC-8) Planning and Learning Part …, 2014
172014
Metis 2018
S Sievers, M Katz
Ninth International Planning Competition (IPC-9): Planner Abstracts, 83-84, 2018
132018
Structural Symmetries of the Lifted Representation of Classical Planning Tasks
S Sievers, G Röger, M Wehrle, M Katz
ICAPS 2017 Workshop on Heuristics and Search for Domain-independent Planning …, 2017
122017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20