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

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

ID Author Year Title Publisher
3720951  Friedrich, Gerhard; Helmert, Malte; Wotawa, Franz 2016 KI 2016: Advances in Artificial Intelligence Springer-Verlag
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: Book Item (Buchkap., Lexikonartikel, jur. Kommentierung, Beiträge in Sammelbänden etc.)

ID Author Year Title Publisher
4614111  Hoffmann, Jörg; Helmert, Malte; Gnad, Daniel; Pommerening, Florian 2020 Planen De Gruyter

Publication: JournalArticle (Originalarbeit in einer wissenschaftlichen Zeitschrift)

ID Author Year Title Publisher
4624345  Sievers, Silvan; Helmert, Malte 2021 Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems The journal of artificial intelligence research
4604566  Seipp, Jendrik; Keller, Thomas; Helmert, Malte 2020 Saturated Cost Partitioning for Optimal Classical Planning Journal of Artificial Intelligence Research
4485916  Seipp, Jendrik; Helmert, Malte 2018 Counterexample-Guided Cartesian Abstraction Refinement for Classical Planning Journal of Artificial Intelligence Research
2996077  Helmert, Malte; Haslum, Patrik; Hoffmann, Joerg; Nissim, Raz 2014 Merge-and-shrink abstraction : a method for generating lower bounds in factored state spaces Journal of the ACM
2315752  López, Carlos Linares; Jiménez, Sergio; Helmert, Malte 2013 Automating the evaluation of planning systems AI communications

JournalItem (Kommentare, Editorials, Rezensionen, Urteilsanmerk., etc. in einer wissensch. Zeitschr.

ID Author Year Title Publisher
1422645  Schmid, Ute; Mandl, Stefan; Gust, Helmar; Kitzelmann, Emanuel; Helmert, Malte; Buschmeier, Hendrik ; Yaghoubzadeh, Ramin; Pietsch, Christian ; Kopp, Stefan ; Hertzberg, Joachim ; Sprickerhof, Jochen ; Wiemann, Thomas 2012 What Language Do You Use to Create Your AI Programs and Why? KI – Künstliche Intelligenz

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

ID Author Year Title Publisher
4697471  Kreft, Raphael; Büchner, Clemens; Sievers, Silvan; Helmert, Malte 2023 Computing Domain Abstractions for Optimal Classical Planning with Counterexample-Guided Abstraction Refinement Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023)
4697461  Büchner, Clemens; Keller, Thomas; Eriksson, Salomé; Helmert, Malte 2023 Landmark Progression in Heuristic Search Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023)
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)
4661626  Corrêa, Augusto B.; Pommerening, Florian; Helmert, Malte; Francès, Guillem 2022 The FF Heuristic for Lifted Classical Planning Proceedings of the 36th AAAI Conference on Artificial Intelligence
4661927  Ferber, Patrick; Geißer, Florian; Trevizan, Felipe; Helmert, Malte; Hoffmann, Jörg 2022 Neural Network Heuristic Functions for Classical Planning: Bootstrapping and Comparison to Other Methods Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022)
4642634  Helmert, Malte; Sievers, Silvan; Rovner, Alexander; Corrêa, Augusto B. 2022 On the Complexity of Heuristic Synthesis for Satisficing Classical Planning: Potential Heuristics and Beyond Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022)
4642615  Christen, Remo; Eriksson, Salomé; Pommerening, Florian; Helmert, Malte 2022 Detecting Unsolvability Based on Separating Functions Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022)
4624409  Büchner, Clemens; Keller, Thomas; Helmert, Malte 2021 Exploiting Cyclic Dependencies in Landmark Heuristics Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021)
4624407  Pommerening, Florian; Keller, Thomas; Halasi, Valentina; Seipp, Jendrik; Sievers, Silvan; Helmert, Malte 2021 Dantzig-Wolfe Decomposition for Cost Partitioning Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021)
4624410  Corrêa, Augusto B.; Francès, Guillem; Pommerening, Florian; Helmert, Malte 2021 Delete-Relaxation Heuristics for Lifted Classical Planning Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021)
4624395  Seipp, Jendrik; Keller, Thomas; Helmert, Malte 2021 Saturated Post-hoc Optimization for Classical Planning AAAI-21 Proceedings: Thirty-Fifth AAAI Conference on Artificial Intelligence
Showing records 1 - 20 (of 90)


MCSS v5.8 PRO. 0.021 sec, queries - 0.000 sec ©Universität Basel  |  Impressum   |    
30/04/2024