Data Entry: Please note that the research database will be replaced by UNIverse by the end of October 2023. Please enter your data into the system https://universe-intern.unibas.ch. Thanks

Login for users with Unibas email account...

Login for registered users without Unibas email account...

 

Publications

Showing records 1 - 20 (of 27)

Publication: Edited Book (Herausgeber eines eigenständigen Buches)

ID Author Year Title Publisher
2315070  Helmert, Malte; Röger, Gabriele 2013 Proceedings of the Sixth Annual Symposium on Combinatorial Search, SOCS 2013, Leavenworth, Washington, USA, July 11-13, 2013 AAAI Press

Publication: JournalArticle (Originalarbeit in einer wissenschaftlichen Zeitschrift)

ID Author Year Title Publisher
1422650  Claßen, Jens; Röger, Gabriele; Lakemeyer, Gerhard; Nebel, Bernhard 2012 PLATAS – Integrating Planning and the Action Language Golog KI – Künstliche Intelligenz

Publication: ConferencePaper (Artikel, die in Tagungsbänden erschienen sind)

ID Author Year Title Publisher
4662200  Katz, Michael; Röger, Gabriele; Helmert, Malte 2022 On Producing Shortest Cost-Optimal Plans Proceedings of the Fifteenth International Symposium on Combinatorial Search (SoCS 2022)
4661913  Klößner, Thorsten; Pommerening, Florian; Keller, Thomas; Röger, Gabriele 2022 Cost Partitioning Heuristics for Stochastic Shortest Path Problems Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022)
4597218  Pommerening, Florian; Röger, Gabriele; Helmert, Malte; Cambazard, Hadrien; Rousseau, Louis-Martin; Salvagnin, Domenico 2020 Lagrangian Decomposition for Classical Planning (Extended Abstract) Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020)
4604595  Röger, Gabriele; Helmert, Malte; Seipp, Jendrik; Sievers, Silvan 2020 An Atom-Centric Perspective on Stubborn Sets Proceedings of the 13th Annual Symposium on Combinatorial Search (SoCS 2020)
4527423  Pommerening, Florian; Röger, Gabriele; Helmert, Malte; Cambazard, Hadrien; Rousseau, Louis-Martin; Salvagnin, Domenico 2019 Lagrangian Decomposition for Optimal Cost Partitioning Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019)
4501105  Sievers, Silvan; Röger, Gabriele; Wehrle, Martin; Katz, Michael 2019 Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019)
4481796  Eriksson, Salomé; Röger, Gabriele; Helmert, Malte 2018 Inductive Certificates of Unsolvability for Domain-Independent Planning Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
4405932  Röger, Gabriele; Sievers, Silvan; Katz, Michael 2018 Symmetry-based Task Reduction for Relaxed Reachability Analysis Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018)
4480861  Eriksson, Salomé; Röger, Gabriele; Helmert, Malte 2018 A Proof System for Unsolvable Planning Tasks Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018)
4244048  Paul, Gerald; Röger, Gabriele; Keller, Thomas; Helmert, Malte 2017 Optimal Solutions to Large Logistics Planning Domain Problems Proceedings of the 10th Annual Symposium on Combinatorial Search (SoCS 2017)
3767786  Eriksson, Salomé; Röger, Gabriele; Helmert, Malte 2017 Unsolvability Certificates for Classical Planning Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017)
4486052  Röger, Gabriele 2017 Towards Certified Unsolvability in Classical Planning Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
3677485  Seipp, Jendrik; Pommerening, Florian; Röger, Gabriele; Helmert, Malte 2016 Correlation Complexity of Classical Planning Domains Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016)
3249109  Pommerening, Florian; Röger, Gabriele; Helmert, Malte; Bonet, Blai 2015 Heuristics for cost-optimal classical planning based on linear programming Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015)
2770024  Röger, Gabriele; Pommerening, Florian 2015 Linear programming for heuristics in optimal planning Planning, Search, and Optimization : papers from the 2015 AAAI Workshop ; Austin, Jan. 25-26, 2015
2790153  Pommerening, Florian; Helmert, Malte; Röger, Gabriele; Seipp, Jendrik 2015 From non-negative to general operator cost partitioning Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) : January 25 –30, 2015, Austin, Texas, USA
3249078  Helmert, Malte; Röger, Gabriele; Sievers, Silvan 2015 On the expressive power of non-linear Merge-and-Shrink representations Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015)
3249098  Simon, Salomé; Röger, Gabriele 2015 Finding and Exploiting LTL Trajectory Constraints in Heuristic Search Proceedings of the 8th Annual Symposium on Combinatorial Search (SoCS 2015)
Showing records 1 - 20 (of 27)


MCSS v5.8 PRO. 0.008 sec, queries - 0.000 sec ©Universität Basel  |  Impressum   |    
02/05/2024