Följ
Silvan Sievers
Silvan Sievers
Post-Doc, University of Basel
Verifierad e-postadress på unibas.ch - Startsida
Titel
Citeras av
Citeras av
År
downward-lab 2.0
J Seipp, F Pommerening, S Sievers, M Helmert
103*2017
Heuristics and Symmetries in Classical Planning.
A Shleyfman, M Katz, M Helmert, S Sievers, M Wehrle
AAAI 2015, 3371-3377, 2015
742015
Generalized Label Reduction for Merge-and-Shrink Heuristics
S Sievers, M Wehrle, M Helmert
Heuristics and Search for Domain Independent Planning, 107, 2014
732014
Delfi: Online planner selection for cost-optimal planning
M Katz, S Sohrabi, H Samulowitz, S Sievers
IPC-9 planner abstracts, 57-64, 2018
622018
Automatic Configuration of Sequential Planning Portfolios.
J Seipp, S Sievers, M Helmert, F Hutter
AAAI, 3364-3370, 2015
622015
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
542012
An Analysis of Merge Strategies for Merge-and-Shrink Heuristics.
S Sievers, M Wehrle, M Helmert
ICAPS, 294-298, 2016
482016
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
472019
Automatic Instance Generation for Classical Planning
A Torralba, J Seipp, S Sievers
Proceedings of the International Conference on Automated Planning and …, 2021
332021
Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks
S Sievers, G Röger, M Wehrle, M Katz
Proc. ICAPS, 2019
312019
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
272021
Factored Symmetries for Merge-and-Shrink Abstractions.
S Sievers, M Wehrle, M Helmert, A Shleyfman, M Katz
AAAI, 3378-3385, 2015
272015
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
232016
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
222019
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
Fast Downward Cedalion
J Seipp, S Sievers, F Hutter
Eighth International Planning Competition (IPC-8) Planning and Learning Part …, 2014
182014
On the Expressive Power of Non-Linear Merge-and-Shrink Representations.
M Helmert, G Röger, S Sievers
ICAPS, 106-114, 2015
162015
Metis 2018
S Sievers, M Katz
IPC-9 planner abstracts, 83-84, 2018
122018
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20