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)