edoc

Browse by Basel Contributors ID

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | Refereed | No Grouping

Conference or Workshop Item

Sievers, Silvan and Pommerening, Florian and Keller, Thomas and Helmert, Malte. (2020) Cost-Partitioned Merge-and-Shrink Heuristics for Optimal Classical Planning. In: Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020). pp. 4152-4160.

Rovner, Alexander and Sievers, Silvan and Helmert, Malte. (2019) Counterexample-Guided Abstraction Refinement for Pattern Selection in Optimal Classical Planning. In: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 29. pp. 362-367.

Sievers, Silvan and Röger, Gabriele and Wehrle, Martin and Katz, Michael. (2019) Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks. In: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 29. pp. 446-454.

Sievers, Silvan and Katz, Michael and Sohrabi, Shirin and Samulowitz, Horst and Ferber, Patrick. (2019) Deep Learning for Cost-Optimal Planning: Task-Dependent Planner Selection. In: Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019), 33. pp. 7715-7723.

Torralba, Álvaro and Sievers, Silvan. (2019) Merge-and-Shrink Task Reformulation for Classical Planning. In: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. pp. 5644-5652.

Röger, Gabriele and Sievers, Silvan and Katz, Michael. (2018) Symmetry-based Task Reduction for Relaxed Reachability Analysis. In: Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018). pp. 208-217.

Sievers, Silvan. (2018) Merge-and-Shrink Heuristics for Classical Planning: Efficient Implementation and Partial Abstractions. In: Proceedings of the Eleventh Annual Symposium on Combinatorial Search (SoCS 2018). pp. 90-98.

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

Sievers, Silvan and Wehrle, Martin and Helmert, Malte. (2016) An Analysis of Merge Strategies for Merge-and-Shrink Heuristics. In: Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling (ICAPS 2016). pp. 294-298.

Wehrle, Martin and Sievers, Silvan and Helmert, Malte. (2016) Graph-Based Factorization of Classical Planning Problems. In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 4. Palo Alto, California, pp. 3286-3292.

Shleyfman, Alexander and Katz, Michael and Helmert, Malte and Sievers, Silvan and Wehrle, Martin. (2015) Heuristics and symmetries in classical planning. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) : January 25 –30, 2015, Austin, Texas, USA. Palo Alto, Calif., pp. 3371-3377.

Sievers, Silvan and Wehrle, Martin and Helmert, Malte and Shleyfman, Alexander and Katz, Michael. (2015) Factored symmetries for merge-and-shrink abstractions. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) : January 25 –30, 2015, Austin, Texas, USA. Palo Alto, Calif., pp. 3378-3385.

Seipp, Jendrik and Sievers, Silvan and Helmert, Malte and Hutter, Frank. (2015) Automatic configuration of sequential planning portfolios. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) : January 25 –30, 2015, Austin, Texas, USA. Palo Alto, Calif., pp. 3364-3370.

Helmert, Malte and Röger, Gabriele and Sievers, Silvan. (2015) 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). Palo Alto, California, pp. 106-114.

Sievers, Silvan and Helmert, Malte. (2015) A Doppelkopf Player Based on UCT. In: Proceedings of the 38th Annual German Conference on Artificial Intelligence. Cham, pp. 151-165.

Sievers, Silvan and Wehrle, Martin and Helmert, Malte and Katz, Michael. (2015) 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. Cham, pp. 166-180.

Sievers, Silvan and Wehrle, Martin and Helmert, Malte. (2014) Generalized label reduction for merge-and-shrink heuristics. In: Proceedings of twenty-eighth AAAI Conference on Artificial Intelligence and the twenty-sixth Innovative Applications of Artificial Intelligence Conference (AAAI 2014) : 27-31 July 2014, Québec City, Québec, Canada, 3. Palo Alto, Calif., pp. 2358-2366.

Sievers, Silvan and Wehrle, Martin and Helmert, Malte. (2014) Bounded intention planning revisited. In: ECAI 2014 : 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic. Amsterdam, pp. 1097-1098.

Sievers, Silvan and Ortlieb, Manuela and Helmert, Malte. (2012) Efficient implementation of pattern database heuristics for classical planning. In: Proceedings of the Fifth Annual Symposium on Combinatorial Search (SoCS 2012). [Niagara Falls], pp. 105-111.

Thesis

Sievers, Silvan. Merge-and-shrink abstractions for classical planning : theory, strategies, and implementation. 2017, Doctoral Thesis, University of Basel, Faculty of Science.

Other

Sievers, Silvan. (2018) Fast Downward Merge-and-Shrink (planner abstract). Ninth International Planning Competition (IPC 2018).

Sievers, Silvan and Katz, Michael. (2018) Metis 2018 (planner abstract). Ninth International Planning Competition (IPC 2018).

Katz, Michael and Sohrabi, Shirin and Samulowitz, Horst and Sievers, Silvan. (2018) Delfi: Online Planner Selection for Cost-Optimal Planning (planner abstract). Ninth International Planning Competition (IPC 2018).