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
Jump to: No | Yes

No

Kreft, Raphael and Büchner, Clemens and Sievers, Silvan. (2023) CEGAR++: Saturated Cost Partitioning for Diverse Sets of Abstractions.

Büchner, Clemens and Christen, Remo and Corrêa, Augusto B. and Eriksson, Salomé and Ferber, Patrick and Seipp, Jendrik and Sievers, Silvan. (2023) Fast Downward Stone Soup 2023.

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).

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

Seipp, Jendrik and Sievers, Silvan and Hutter, Frank. (2014) Fast Downward SMAC (IPC-learning planner abstract).

Seipp, Jendrik and Sievers, Silvan and Hutter, Frank. (2014) Fast Downward Cedalion (IPC planner abstract).

Yes

Kreft, Raphael and Büchner, Clemens and Sievers, Silvan and Helmert, Malte. (2023) Computing Domain Abstractions for Optimal Classical Planning with Counterexample-Guided Abstraction Refinement. In: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 33. pp. 221-226.

Gnad, Daniel and Sievers, Silvan and Torralba, Álvaro. (2023) Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases. In: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 33. pp. 138-147.

Klößner, Thorsten and Torralba, Álvaro and Steinmetz, Marcel and Sievers, Silvan. (2023) A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems. In: Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 33. pp. 203-211.

Helmert, Malte and Sievers, Silvan and Rovner, Alexander and Corrêa, Augusto B.. (2022) On the Complexity of Heuristic Synthesis for Satisficing Classical Planning: Potential Heuristics and Beyond. In: Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022). pp. 124-133.

Sievers, Silvan and Gnad, Daniel and Torralba, Álvaro. (2022) Additive Pattern Databases for Decoupled Search. In: Proceedings of the 15th International Symposium on Combinatorial Search, 15. pp. 180-189.

Biedenkapp, André and Speck, David and Sievers, Silvan and Hutter, Frank and Lindauer, Marius and Seipp, Jendrik. (2022) Learning Domain-Independent Policies for Open List Selection. In: PRL 2022: Proceedings of the PRL Workshop - Bridging the Gap Between AI Planning and Reinforcement Learning. pp. 1-10.

Torralba, Álvaro and Seipp, Jendrik and Sievers, Silvan. (2021) Automatic Instance Generation for Classical Planning. In: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 31. pp. 376-384.

Sievers, Silvan and Wehrle, Martin. (2021) On Weak Stubborn Sets in Classical Planning. In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. pp. 4167-4174.

Sievers, Silvan and Helmert, Malte. (2021) Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems. The journal of artificial intelligence research, 71. pp. 781-883.

Pommerening, Florian and Keller, Thomas and Halasi, Valentina and Seipp, Jendrik and Sievers, Silvan and Helmert, Malte. (2021) Dantzig-Wolfe Decomposition for Cost Partitioning. In: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 31. pp. 271-280.

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.

Röger, Gabriele and Helmert, Malte and Seipp, Jendrik and Sievers, Silvan. (2020) An Atom-Centric Perspective on Stubborn Sets. In: Proceedings of the 13th Annual Symposium on Combinatorial Search (SoCS 2020). pp. 57-65.

Torralba, Álvaro and Seipp, Jendrik and Sievers, Silvan. (2020) Automatic Configuration of Benchmark Sets for Classical Planning. In: HSDIP 2020: Proceedings of the 12th Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP). pp. 58-66.

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.