Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Malte Helmert
@inproceedings{DBLP:conf/aaai/LinOHB24,
author = {Songtuan Lin and
Conny Olz and
Malte Helmert and
Pascal Bercher},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality
Verification, and Bounded Plan Existence},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {20203--20211},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i18.30000},
doi = {10.1609/AAAI.V38I18.30000},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LinOHB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DoldH24,
author = {Simon Dold and
Malte Helmert},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Novelty vs. Potential Heuristics: {A} Comparison of Hardness Measures
for Satisficing Planning},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {20692--20699},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i18.30056},
doi = {10.1609/AAAI.V38I18.30056},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/DoldH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Buchner0EH23,
author = {Clemens B{\"{u}}chner and
Thomas Keller and
Salom{\'{e}} Eriksson and
Malte Helmert},
editor = {Sven Koenig and
Roni Stern and
Mauro Vallati},
title = {Landmark Progression in Heuristic Search},
booktitle = {Proceedings of the Thirty-Third International Conference on Automated
Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic},
pages = {70--79},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/icaps.v33i1.27180},
doi = {10.1609/ICAPS.V33I1.27180},
timestamp = {Wed, 20 Sep 2023 11:58:30 +0200},
biburl = {https://dblp.org/rec/conf/aips/Buchner0EH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/CorreaHHLPW23,
author = {Augusto B. Corr{\^{e}}a and
Markus Hecher and
Malte Helmert and
Davide Mario Longo and
Florian Pommerening and
Stefan Woltran},
editor = {Sven Koenig and
Roni Stern and
Mauro Vallati},
title = {Grounding Planning Tasks Using Tree Decompositions and Iterated Solving},
booktitle = {Proceedings of the Thirty-Third International Conference on Automated
Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic},
pages = {100--108},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/icaps.v33i1.27184},
doi = {10.1609/ICAPS.V33I1.27184},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/CorreaHHLPW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/0001HJS23,
author = {Daniel Gnad and
Malte Helmert and
Peter Jonsson and
Alexander Shleyfman},
editor = {Sven Koenig and
Roni Stern and
Mauro Vallati},
title = {Planning over Integers: Compilations and Undecidability},
booktitle = {Proceedings of the Thirty-Third International Conference on Automated
Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic},
pages = {148--152},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/icaps.v33i1.27189},
doi = {10.1609/ICAPS.V33I1.27189},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/0001HJS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/KreftBSH23,
author = {Raphael Kreft and
Clemens B{\"{u}}chner and
Silvan Sievers and
Malte Helmert},
editor = {Sven Koenig and
Roni Stern and
Mauro Vallati},
title = {Computing Domain Abstractions for Optimal Classical Planning with
Counterexample-Guided Abstraction Refinement},
booktitle = {Proceedings of the Thirty-Third International Conference on Automated
Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic},
pages = {221--226},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/icaps.v33i1.27198},
doi = {10.1609/ICAPS.V33I1.27198},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/KreftBSH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CorreaPHF22,
author = {Augusto B. Corr{\^{e}}a and
Florian Pommerening and
Malte Helmert and
Guillem Franc{\`{e}}s},
title = {The {FF} Heuristic for Lifted Classical Planning},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {9716--9723},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i9.21206},
doi = {10.1609/AAAI.V36I9.21206},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CorreaPHF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/ChristenEPH22,
author = {Remo Christen and
Salom{\'{e}} Eriksson and
Florian Pommerening and
Malte Helmert},
editor = {Akshat Kumar and
Sylvie Thi{\'{e}}baux and
Pradeep Varakantham and
William Yeoh},
title = {Detecting Unsolvability Based on Separating Functions},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
2022},
pages = {44--52},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/19784},
timestamp = {Wed, 20 Jul 2022 14:27:38 +0200},
biburl = {https://dblp.org/rec/conf/aips/ChristenEPH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/HelmertSRC22,
author = {Malte Helmert and
Silvan Sievers and
Alexander Rovner and
Augusto B. Corr{\^{e}}a},
editor = {Akshat Kumar and
Sylvie Thi{\'{e}}baux and
Pradeep Varakantham and
William Yeoh},
title = {On the Complexity of Heuristic Synthesis for Satisficing Classical
Planning: Potential Heuristics and Beyond},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
2022},
pages = {124--133},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/19793},
timestamp = {Wed, 20 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/HelmertSRC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/FerberGTH022,
author = {Patrick Ferber and
Florian Gei{\ss}er and
Felipe W. Trevizan and
Malte Helmert and
J{\"{o}}rg Hoffmann},
editor = {Akshat Kumar and
Sylvie Thi{\'{e}}baux and
Pradeep Varakantham and
William Yeoh},
title = {Neural Network Heuristic Functions for Classical Planning: Bootstrapping
and Comparison to Other Methods},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
2022},
pages = {583--587},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/19845},
timestamp = {Wed, 20 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/FerberGTH022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/0001RH22,
author = {Michael Katz and
Gabriele R{\"{o}}ger and
Malte Helmert},
editor = {Luk{\'{a}}s Chrpa and
Alessandro Saetti},
title = {On Producing Shortest Cost-Optimal Plans},
booktitle = {Proceedings of the Fifteenth International Symposium on Combinatorial
Search, {SOCS} 2022, Vienna, Austria, July 21-23, 2022},
pages = {100--108},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/socs.v15i1.21757},
doi = {10.1609/SOCS.V15I1.21757},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/0001RH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/SieversH21,
author = {Silvan Sievers and
Malte Helmert},
title = {Merge-and-Shrink: {A} Compositional Theory of Transformations of Factored
Transition Systems},
journal = {J. Artif. Intell. Res.},
volume = {71},
pages = {781--883},
year = {2021},
url = {https://doi.org/10.1613/jair.1.12557},
doi = {10.1613/JAIR.1.12557},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/SieversH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Seipp0H21,
author = {Jendrik Seipp and
Thomas Keller and
Malte Helmert},
title = {Saturated Post-hoc Optimization for Classical Planning},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {11947--11953},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i13.17419},
doi = {10.1609/AAAI.V35I13.17419},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Seipp0H21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Buchner0H21,
author = {Clemens B{\"{u}}chner and
Thomas Keller and
Malte Helmert},
editor = {Susanne Biundo and
Minh Do and
Robert Goldman and
Michael Katz and
Qiang Yang and
Hankz Hankui Zhuo},
title = {Exploiting Cyclic Dependencies in Landmark Heuristics},
booktitle = {Proceedings of the Thirty-First International Conference on Automated
Planning and Scheduling, {ICAPS} 2021, Guangzhou, China (virtual),
August 2-13, 2021},
pages = {65--73},
publisher = {{AAAI} Press},
year = {2021},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/15948},
timestamp = {Wed, 30 Aug 2023 08:38:08 +0200},
biburl = {https://dblp.org/rec/conf/aips/Buchner0H21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/CorreaFPH21,
author = {Augusto B. Corr{\^{e}}a and
Guillem Franc{\`{e}}s and
Florian Pommerening and
Malte Helmert},
editor = {Susanne Biundo and
Minh Do and
Robert Goldman and
Michael Katz and
Qiang Yang and
Hankz Hankui Zhuo},
title = {Delete-Relaxation Heuristics for Lifted Classical Planning},
booktitle = {Proceedings of the Thirty-First International Conference on Automated
Planning and Scheduling, {ICAPS} 2021, Guangzhou, China (virtual),
August 2-13, 2021},
pages = {94--102},
publisher = {{AAAI} Press},
year = {2021},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/15951},
timestamp = {Mon, 14 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/CorreaFPH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Pommerening0HSS21,
author = {Florian Pommerening and
Thomas Keller and
Valentina Halasi and
Jendrik Seipp and
Silvan Sievers and
Malte Helmert},
editor = {Susanne Biundo and
Minh Do and
Robert Goldman and
Michael Katz and
Qiang Yang and
Hankz Hankui Zhuo},
title = {Dantzig-Wolfe Decomposition for Cost Partitioning},
booktitle = {Proceedings of the Thirty-First International Conference on Automated
Planning and Scheduling, {ICAPS} 2021, Guangzhou, China (virtual),
August 2-13, 2021},
pages = {271--280},
publisher = {{AAAI} Press},
year = {2021},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/15971},
timestamp = {Mon, 14 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/Pommerening0HSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/SeippKH20,
author = {Jendrik Seipp and
Thomas Keller and
Malte Helmert},
title = {Saturated Cost Partitioning for Optimal Classical Planning},
journal = {J. Artif. Intell. Res.},
volume = {67},
pages = {129--167},
year = {2020},
url = {https://doi.org/10.1613/jair.1.11673},
doi = {10.1613/JAIR.1.11673},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/SeippKH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/CorreaPHF20,
author = {Augusto B. Corr{\^{e}}a and
Florian Pommerening and
Malte Helmert and
Guillem Franc{\`{e}}s},
editor = {J. Christopher Beck and
Olivier Buffet and
J{\"{o}}rg Hoffmann and
Erez Karpas and
Shirin Sohrabi},
title = {Lifted Successor Generation Using Query Optimization Techniques},
booktitle = {Proceedings of the Thirtieth International Conference on Automated
Planning and Scheduling, Nancy, France, October 26-30, 2020},
pages = {80--89},
publisher = {{AAAI} Press},
year = {2020},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/6648},
timestamp = {Mon, 07 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/CorreaPHF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/ErikssonH20,
author = {Salom{\'{e}} Eriksson and
Malte Helmert},
editor = {J. Christopher Beck and
Olivier Buffet and
J{\"{o}}rg Hoffmann and
Erez Karpas and
Shirin Sohrabi},
title = {Certified Unsolvability for {SAT} Planning with Property Directed
Reachability},
booktitle = {Proceedings of the Thirtieth International Conference on Automated
Planning and Scheduling, Nancy, France, October 26-30, 2020},
pages = {90--100},
publisher = {{AAAI} Press},
year = {2020},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/6649},
timestamp = {Mon, 07 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/ErikssonH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/SeippAH20,
author = {Jendrik Seipp and
Samuel von Allmen and
Malte Helmert},
editor = {J. Christopher Beck and
Olivier Buffet and
J{\"{o}}rg Hoffmann and
Erez Karpas and
Shirin Sohrabi},
title = {Incremental Search for Counterexample-Guided Cartesian Abstraction
Refinement},
booktitle = {Proceedings of the Thirtieth International Conference on Automated
Planning and Scheduling, Nancy, France, October 26-30, 2020},
pages = {244--248},
publisher = {{AAAI} Press},
year = {2020},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/6667},
timestamp = {Mon, 07 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/SeippAH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/FerberH020,
author = {Patrick Ferber and
Malte Helmert and
J{\"{o}}rg Hoffmann},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Neural Network Heuristics for Classical Planning: {A} Study of Hyperparameter
Space},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {2346--2353},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200364},
doi = {10.3233/FAIA200364},
timestamp = {Fri, 09 Apr 2021 18:50:05 +0200},
biburl = {https://dblp.org/rec/conf/ecai/FerberH020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SieversP0H20,
author = {Silvan Sievers and
Florian Pommerening and
Thomas Keller and
Malte Helmert},
editor = {Christian Bessiere},
title = {Cost-Partitioned Merge-and-Shrink Heuristics for Optimal Classical
Planning},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {4152--4160},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/574},
doi = {10.24963/IJCAI.2020/574},
timestamp = {Mon, 20 Jul 2020 12:38:52 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SieversP0H20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PommereningRHCR20,
author = {Florian Pommerening and
Gabriele R{\"{o}}ger and
Malte Helmert and
Hadrien Cambazard and
Louis{-}Martin Rousseau and
Domenico Salvagnin},
editor = {Christian Bessiere},
title = {Lagrangian Decomposition for Classical Planning (Extended Abstract)},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {4770--4774},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/663},
doi = {10.24963/IJCAI.2020/663},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/PommereningRHCR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/RogerHSS20,
author = {Gabriele R{\"{o}}ger and
Malte Helmert and
Jendrik Seipp and
Silvan Sievers},
editor = {Daniel Harabor and
Mauro Vallati},
title = {An Atom-Centric Perspective on Stubborn Sets},
booktitle = {Proceedings of the Thirteenth International Symposium on Combinatorial
Search, {SOCS} 2020, Online Conference [Vienna, Austria], 26-28 May
2020},
pages = {57--65},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/socs.v11i1.18535},
doi = {10.1609/SOCS.V11I1.18535},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/RogerHSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/SturtevantH20,
author = {Nathan R. Sturtevant and
Malte Helmert},
editor = {Daniel Harabor and
Mauro Vallati},
title = {A Guide to Budgeted Tree Search},
booktitle = {Proceedings of the Thirteenth International Symposium on Combinatorial
Search, {SOCS} 2020, Online Conference [Vienna, Austria], 26-28 May
2020},
pages = {75--81},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/socs.v11i1.18537},
doi = {10.1609/SOCS.V11I1.18537},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/SturtevantH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/degruyter/20/0001HGP20,
author = {J{\"{o}}rg Hoffmann and
Malte Helmert and
Daniel Gnad and
Florian Pommerening},
editor = {G{\"{u}}nther G{\"{o}}rz and
Ute Schmid and
Tanya Braun},
title = {Planen},
booktitle = {Handbuch der K{\"{u}}nstlichen Intelligenz, 6. Auflage},
pages = {395--428},
publisher = {De Gruyter},
year = {2020},
url = {https://doi.org/10.1515/9783110659948-010},
doi = {10.1515/9783110659948-010},
timestamp = {Wed, 20 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/degruyter/20/0001HGP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/PommereningRHCR19,
author = {Florian Pommerening and
Gabriele R{\"{o}}ger and
Malte Helmert and
Hadrien Cambazard and
Louis{-}Martin Rousseau and
Domenico Salvagnin},
editor = {J. Benton and
Nir Lipovetzky and
Eva Onaindia and
David E. Smith and
Siddharth Srivastava},
title = {Lagrangian Decomposition for Optimal Cost Partitioning},
booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated
Planning and Scheduling, {ICAPS} 2019, Berkeley, CA, USA, July 11-15,
2019},
pages = {338--347},
publisher = {{AAAI} Press},
year = {2019},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/3496},
timestamp = {Thu, 10 Aug 2023 15:31:45 +0200},
biburl = {https://dblp.org/rec/conf/aips/PommereningRHCR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/RovnerSH19,
author = {Alexander Rovner and
Silvan Sievers and
Malte Helmert},
editor = {J. Benton and
Nir Lipovetzky and
Eva Onaindia and
David E. Smith and
Siddharth Srivastava},
title = {Counterexample-Guided Abstraction Refinement for Pattern Selection
in Optimal Classical Planning},
booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated
Planning and Scheduling, {ICAPS} 2019, Berkeley, CA, USA, July 11-15,
2019},
pages = {362--367},
publisher = {{AAAI} Press},
year = {2019},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/3499},
timestamp = {Mon, 07 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/RovnerSH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/SeippH19,
author = {Jendrik Seipp and
Malte Helmert},
editor = {J. Benton and
Nir Lipovetzky and
Eva Onaindia and
David E. Smith and
Siddharth Srivastava},
title = {Subset-Saturated Cost Partitioning for Optimal Classical Planning},
booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated
Planning and Scheduling, {ICAPS} 2019, Berkeley, CA, USA, July 11-15,
2019},
pages = {391--400},
publisher = {{AAAI} Press},
year = {2019},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/3503},
timestamp = {Mon, 07 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/SeippH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HelmertLLOS19,
author = {Malte Helmert and
Tor Lattimore and
Levi H. S. Lelis and
Laurent Orseau and
Nathan R. Sturtevant},
editor = {Sarit Kraus},
title = {Iterative Budgeted Exponential Search},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1249--1257},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/174},
doi = {10.24963/IJCAI.2019/174},
timestamp = {Tue, 20 Aug 2019 16:18:18 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HelmertLLOS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-02912,
author = {Nathan R. Sturtevant and
Malte Helmert},
title = {Exponential-Binary State-Space Search},
journal = {CoRR},
volume = {abs/1906.02912},
year = {2019},
url = {http://arxiv.org/abs/1906.02912},
eprinttype = {arXiv},
eprint = {1906.02912},
timestamp = {Wed, 09 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-02912.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-13062,
author = {Malte Helmert and
Tor Lattimore and
Levi H. S. Lelis and
Laurent Orseau and
Nathan R. Sturtevant},
title = {Iterative Budgeted Exponential Search},
journal = {CoRR},
volume = {abs/1907.13062},
year = {2019},
url = {http://arxiv.org/abs/1907.13062},
eprinttype = {arXiv},
eprint = {1907.13062},
timestamp = {Fri, 02 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-13062.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-12142,
author = {Florian Pommerening and
Malte Helmert and
Blai Bonet},
title = {Higher-Dimensional Potential Heuristics for Optimal Classical Planning},
journal = {CoRR},
volume = {abs/1909.12142},
year = {2019},
url = {http://arxiv.org/abs/1909.12142},
eprinttype = {arXiv},
eprint = {1909.12142},
timestamp = {Fri, 27 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-12142.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/SeippH18,
author = {Jendrik Seipp and
Malte Helmert},
title = {Counterexample-Guided Cartesian Abstraction Refinement for Classical
Planning},
journal = {J. Artif. Intell. Res.},
volume = {62},
pages = {535--577},
year = {2018},
url = {https://doi.org/10.1613/jair.1.11217},
doi = {10.1613/JAIR.1.11217},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/SeippH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/ErikssonRH18,
author = {Salom{\'{e}} Eriksson and
Gabriele R{\"{o}}ger and
Malte Helmert},
editor = {Mathijs de Weerdt and
Sven Koenig and
Gabriele R{\"{o}}ger and
Matthijs T. J. Spaan},
title = {A Proof System for Unsolvable Planning Tasks},
booktitle = {Proceedings of the Twenty-Eighth International Conference on Automated
Planning and Scheduling, {ICAPS} 2018, Delft, The Netherlands, June
24-29, 2018},
pages = {65--73},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17760},
timestamp = {Mon, 25 Jun 2018 13:32:06 +0200},
biburl = {https://dblp.org/rec/conf/aips/ErikssonRH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Heusner0H18,
author = {Manuel Heusner and
Thomas Keller and
Malte Helmert},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Best-Case and Worst-Case Behavior of Greedy Best-First Search},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {1463--1470},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/203},
doi = {10.24963/IJCAI.2018/203},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Heusner0H18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ErikssonRH18,
author = {Salom{\'{e}} Eriksson and
Gabriele R{\"{o}}ger and
Malte Helmert},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Inductive Certificates of Unsolvability for Domain-Independent Planning},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {5244--5248},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/730},
doi = {10.24963/IJCAI.2018/730},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ErikssonRH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Heusner0H18a,
author = {Manuel Heusner and
Thomas Keller and
Malte Helmert},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Search Progress and Potentially Expanded States in Greedy Best-First
Search},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {5269--5273},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/735},
doi = {10.24963/IJCAI.2018/735},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Heusner0H18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SturtevantFH17,
author = {Nathan R. Sturtevant and
Ariel Felner and
Malte Helmert},
editor = {Satinder Singh and
Shaul Markovitch},
title = {Value Compression of Pattern Databases},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {912--918},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.10665},
doi = {10.1609/AAAI.V31I1.10665},
timestamp = {Mon, 04 Sep 2023 14:40:32 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SturtevantFH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/PommereningHB17,
author = {Florian Pommerening and
Malte Helmert and
Blai Bonet},
editor = {Satinder Singh and
Shaul Markovitch},
title = {Higher-Dimensional Potential Heuristics for Optimal Classical Planning},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {3636--3643},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.11023},
doi = {10.1609/AAAI.V31I1.11023},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/PommereningHB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Seipp0H17,
author = {Jendrik Seipp and
Thomas Keller and
Malte Helmert},
editor = {Satinder Singh and
Shaul Markovitch},
title = {Narrowing the Gap Between Saturated and Optimal Cost Partitioning
for Classical Planning},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {3651--3657},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.11022},
doi = {10.1609/AAAI.V31I1.11022},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Seipp0H17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/ErikssonRH17,
author = {Salom{\'{e}} Eriksson and
Gabriele R{\"{o}}ger and
Malte Helmert},
editor = {Laura Barbulescu and
Jeremy Frank and
Mausam and
Stephen F. Smith},
title = {Unsolvability Certificates for Classical Planning},
booktitle = {Proceedings of the Twenty-Seventh International Conference on Automated
Planning and Scheduling, {ICAPS} 2017, Pittsburgh, Pennsylvania, USA,
June 18-23, 2017},
pages = {88--97},
publisher = {{AAAI} Press},
year = {2017},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15734},
timestamp = {Tue, 26 Sep 2017 07:30:03 +0200},
biburl = {https://dblp.org/rec/conf/aips/ErikssonRH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/PommereningHB17,
author = {Florian Pommerening and
Malte Helmert and
Blai Bonet},
editor = {Laura Barbulescu and
Jeremy Frank and
Mausam and
Stephen F. Smith},
title = {Abstraction Heuristics, Cost Partitioning and Network Flows},
booktitle = {Proceedings of the Twenty-Seventh International Conference on Automated
Planning and Scheduling, {ICAPS} 2017, Pittsburgh, Pennsylvania, USA,
June 18-23, 2017},
pages = {228--232},
publisher = {{AAAI} Press},
year = {2017},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15714},
timestamp = {Tue, 26 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/PommereningHB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Seipp0H17,
author = {Jendrik Seipp and
Thomas Keller and
Malte Helmert},
editor = {Laura Barbulescu and
Jeremy Frank and
Mausam and
Stephen F. Smith},
title = {A Comparison of Cost Partitioning Algorithms for Optimal Classical
Planning},
booktitle = {Proceedings of the Twenty-Seventh International Conference on Automated
Planning and Scheduling, {ICAPS} 2017, Pittsburgh, Pennsylvania, USA,
June 18-23, 2017},
pages = {259--268},
publisher = {{AAAI} Press},
year = {2017},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15741},
timestamp = {Tue, 26 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/Seipp0H17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/Heusner0H17,
author = {Manuel Heusner and
Thomas Keller and
Malte Helmert},
editor = {Alex Fukunaga and
Akihiro Kishimoto},
title = {Understanding the Search Behaviour of Greedy Best-First Search},
booktitle = {Proceedings of the Tenth International Symposium on Combinatorial
Search, {SOCS} 2017, 16-17 June 2017, Pittsburgh, Pennsylvania, {USA}},
pages = {47--55},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/socs.v8i1.18425},
doi = {10.1609/SOCS.V8I1.18425},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/Heusner0H17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/PaulR0H17,
author = {Gerald Paul and
Gabriele R{\"{o}}ger and
Thomas Keller and
Malte Helmert},
editor = {Alex Fukunaga and
Akihiro Kishimoto},
title = {Optimal Solutions to Large Logistics Planning Domain Problems},
booktitle = {Proceedings of the Tenth International Symposium on Combinatorial
Search, {SOCS} 2017, 16-17 June 2017, Pittsburgh, Pennsylvania, {USA}},
pages = {73--81},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/socs.v8i1.18428},
doi = {10.1609/SOCS.V8I1.18428},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/PaulR0H17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/SieversWH017,
author = {Silvan Sievers and
Martin Wehrle and
Malte Helmert and
Michael Katz},
editor = {Alex Fukunaga and
Akihiro Kishimoto},
title = {Strengthening Canonical Pattern Databases with Structural Symmetries},
booktitle = {Proceedings of the Tenth International Symposium on Combinatorial
Search, {SOCS} 2017, 16-17 June 2017, Pittsburgh, Pennsylvania, {USA}},
pages = {91--99},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/socs.v8i1.18429},
doi = {10.1609/SOCS.V8I1.18429},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/SieversWH017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/HelmertSF17,
author = {Malte Helmert and
Nathan R. Sturtevant and
Ariel Felner},
editor = {Alex Fukunaga and
Akihiro Kishimoto},
title = {On Variable Dependencies and Compressed Pattern Databases},
booktitle = {Proceedings of the Tenth International Symposium on Combinatorial
Search, {SOCS} 2017, 16-17 June 2017, Pittsburgh, Pennsylvania, {USA}},
pages = {129--133},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/socs.v8i1.18437},
doi = {10.1609/SOCS.V8I1.18437},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/HelmertSF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/SieversWH16,
author = {Silvan Sievers and
Martin Wehrle and
Malte Helmert},
editor = {Amanda Jane Coles and
Andrew Coles and
Stefan Edelkamp and
Daniele Magazzeni and
Scott Sanner},
title = {An Analysis of Merge Strategies for Merge-and-Shrink Heuristics},
booktitle = {Proceedings of the Twenty-Sixth International Conference on Automated
Planning and Scheduling, {ICAPS} 2016, London, UK, June 12-17, 2016},
pages = {294--298},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13148},
timestamp = {Wed, 08 Jun 2016 12:49:09 +0200},
biburl = {https://dblp.org/rec/conf/aips/SieversWH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SeippPRH16,
author = {Jendrik Seipp and
Florian Pommerening and
Gabriele R{\"{o}}ger and
Malte Helmert},
editor = {Subbarao Kambhampati},
title = {Correlation Complexity of Classical Planning Domains},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {3242--3250},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/459},
timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SeippPRH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WehrleSH16,
author = {Martin Wehrle and
Silvan Sievers and
Malte Helmert},
editor = {Subbarao Kambhampati},
title = {Graph-Based Factorization of Classical Planning Problems},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {3286--3292},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/465},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WehrleSH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/PaulH16,
author = {Gerald Paul and
Malte Helmert},
editor = {Jorge A. Baier and
Adi Botea},
title = {Optimal Solitaire Game Solutions Using A* Search and Deadlock Analysis},
booktitle = {Proceedings of the Ninth Annual Symposium on Combinatorial Search,
{SOCS} 2016, Tarrytown, NY, USA, July 6-8, 2016},
pages = {135--136},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/socs.v7i1.18405},
doi = {10.1609/SOCS.V7I1.18405},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/PaulH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/2016,
editor = {Gerhard Friedrich and
Malte Helmert and
Franz Wotawa},
title = {{KI} 2016: Advances in Artificial Intelligence - 39th Annual German
Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9904},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46073-4},
doi = {10.1007/978-3-319-46073-4},
isbn = {978-3-319-46072-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/PommereningHRS15,
author = {Florian Pommerening and
Malte Helmert and
Gabriele R{\"{o}}ger and
Jendrik Seipp},
editor = {Blai Bonet and
Sven Koenig},
title = {From Non-Negative to General Operator Cost Partitioning},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {3335--3341},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9668},
doi = {10.1609/AAAI.V29I1.9668},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/PommereningHRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SeippSHH15,
author = {Jendrik Seipp and
Silvan Sievers and
Malte Helmert and
Frank Hutter},
editor = {Blai Bonet and
Sven Koenig},
title = {Automatic Configuration of Sequential Planning Portfolios},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {3364--3370},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9640},
doi = {10.1609/AAAI.V29I1.9640},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SeippSHH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Shleyfman0HSW15,
author = {Alexander Shleyfman and
Michael Katz and
Malte Helmert and
Silvan Sievers and
Martin Wehrle},
editor = {Blai Bonet and
Sven Koenig},
title = {Heuristics and Symmetries in Classical Planning},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {3371--3377},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9649},
doi = {10.1609/AAAI.V29I1.9649},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Shleyfman0HSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SieversWHS015,
author = {Silvan Sievers and
Martin Wehrle and
Malte Helmert and
Alexander Shleyfman and
Michael Katz},
editor = {Blai Bonet and
Sven Koenig},
title = {Factored Symmetries for Merge-and-Shrink Abstractions},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {3378--3385},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9642},
doi = {10.1609/AAAI.V29I1.9642},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SieversWHS015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/HelmertRS15,
author = {Malte Helmert and
Gabriele R{\"{o}}ger and
Silvan Sievers},
editor = {Ronen I. Brafman and
Carmel Domshlak and
Patrik Haslum and
Shlomo Zilberstein},
title = {On the Expressive Power of Non-Linear Merge-and-Shrink Representations},
booktitle = {Proceedings of the Twenty-Fifth International Conference on Automated
Planning and Scheduling, {ICAPS} 2015, Jerusalem, Israel, June 7-11,
2015},
pages = {106--114},
publisher = {{AAAI} Press},
year = {2015},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS15/paper/view/10625},
timestamp = {Tue, 26 May 2015 21:03:02 +0200},
biburl = {https://dblp.org/rec/conf/aips/HelmertRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/PommereningH15,
author = {Florian Pommerening and
Malte Helmert},
editor = {Ronen I. Brafman and
Carmel Domshlak and
Patrik Haslum and
Shlomo Zilberstein},
title = {A Normal Form for Classical Planning Tasks},
booktitle = {Proceedings of the Twenty-Fifth International Conference on Automated
Planning and Scheduling, {ICAPS} 2015, Jerusalem, Israel, June 7-11,
2015},
pages = {188--192},
publisher = {{AAAI} Press},
year = {2015},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS15/paper/view/10627},
timestamp = {Tue, 26 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/PommereningH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/SeippPH15,
author = {Jendrik Seipp and
Florian Pommerening and
Malte Helmert},
editor = {Ronen I. Brafman and
Carmel Domshlak and
Patrik Haslum and
Shlomo Zilberstein},
title = {New Optimization Functions for Potential Heuristics},
booktitle = {Proceedings of the Twenty-Fifth International Conference on Automated
Planning and Scheduling, {ICAPS} 2015, Jerusalem, Israel, June 7-11,
2015},
pages = {193--201},
publisher = {{AAAI} Press},
year = {2015},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS15/paper/view/10603},
timestamp = {Tue, 26 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/SeippPH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WehrleHS015,
author = {Martin Wehrle and
Malte Helmert and
Alexander Shleyfman and
Michael Katz},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal
Classical Planning},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {1712--1718},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/244},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WehrleHS015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PommereningRHB15,
author = {Florian Pommerening and
Gabriele R{\"{o}}ger and
Malte Helmert and
Blai Bonet},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Heuristics for Cost-Optimal Classical Planning Based on Linear Programming},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {4303--4309},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/612},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/PommereningRHB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/SieversH15,
author = {Silvan Sievers and
Malte Helmert},
editor = {Steffen H{\"{o}}lldobler and
Markus Kr{\"{o}}tzsch and
Rafael Pe{\~{n}}aloza and
Sebastian Rudolph},
title = {A Doppelkopf Player Based on {UCT}},
booktitle = {{KI} 2015: Advances in Artificial Intelligence - 38th Annual German
Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9324},
pages = {151--165},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24489-1\_12},
doi = {10.1007/978-3-319-24489-1\_12},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/SieversH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/SieversWH015,
author = {Silvan Sievers and
Martin Wehrle and
Malte Helmert and
Michael Katz},
editor = {Steffen H{\"{o}}lldobler and
Markus Kr{\"{o}}tzsch and
Rafael Pe{\~{n}}aloza and
Sebastian Rudolph},
title = {An Empirical Case Study on Symmetry Handling in Cost-Optimal Planning
as Heuristic Search},
booktitle = {{KI} 2015: Advances in Artificial Intelligence - 38th Annual German
Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9324},
pages = {166--180},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24489-1\_13},
doi = {10.1007/978-3-319-24489-1\_13},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/SieversWH015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/HelmertHHN14,
author = {Malte Helmert and
Patrik Haslum and
J{\"{o}}rg Hoffmann and
Raz Nissim},
title = {Merge-and-Shrink Abstraction: {A} Method for Generating Lower Bounds
in Factored State Spaces},
journal = {J. {ACM}},
volume = {61},
number = {3},
pages = {16:1--16:63},
year = {2014},
url = {https://doi.org/10.1145/2559951},
doi = {10.1145/2559951},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/HelmertHHN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SieversWH14,
author = {Silvan Sievers and
Martin Wehrle and
Malte Helmert},
editor = {Carla E. Brodley and
Peter Stone},
title = {Generalized Label Reduction for Merge-and-Shrink Heuristics},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {2358--2366},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.9028},
doi = {10.1609/AAAI.V28I1.9028},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SieversWH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/HeusnerWPH14,
author = {Manuel Heusner and
Martin Wehrle and
Florian Pommerening and
Malte Helmert},
editor = {Steve A. Chien and
Minh Binh Do and
Alan Fern and
Wheeler Ruml},
title = {Under-Approximation Refinement for Classical Planning},
booktitle = {Proceedings of the Twenty-Fourth International Conference on Automated
Planning and Scheduling, {ICAPS} 2014, Portsmouth, New Hampshire,
USA, June 21-26, 2014},
publisher = {{AAAI}},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7897},
timestamp = {Thu, 19 Nov 2015 08:52:28 +0100},
biburl = {https://dblp.org/rec/conf/aips/HeusnerWPH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/PommereningRHB14,
author = {Florian Pommerening and
Gabriele R{\"{o}}ger and
Malte Helmert and
Blai Bonet},
editor = {Steve A. Chien and
Minh Binh Do and
Alan Fern and
Wheeler Ruml},
title = {LP-Based Heuristics for Cost-Optimal Planning},
booktitle = {Proceedings of the Twenty-Fourth International Conference on Automated
Planning and Scheduling, {ICAPS} 2014, Portsmouth, New Hampshire,
USA, June 21-26, 2014},
publisher = {{AAAI}},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7892},
timestamp = {Thu, 31 Jul 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/PommereningRHB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/SeippH14,
author = {Jendrik Seipp and
Malte Helmert},
editor = {Steve A. Chien and
Minh Binh Do and
Alan Fern and
Wheeler Ruml},
title = {Diverse and Additive Cartesian Abstraction Heuristics},
booktitle = {Proceedings of the Twenty-Fourth International Conference on Automated
Planning and Scheduling, {ICAPS} 2014, Portsmouth, New Hampshire,
USA, June 21-26, 2014},
publisher = {{AAAI}},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7924},
timestamp = {Thu, 31 Jul 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/SeippH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/WehrleH14,
author = {Martin Wehrle and
Malte Helmert},
editor = {Steve A. Chien and
Minh Binh Do and
Alan Fern and
Wheeler Ruml},
title = {Efficient Stubborn Sets: Generalized Algorithms and Selection Strategies},
booktitle = {Proceedings of the Twenty-Fourth International Conference on Automated
Planning and Scheduling, {ICAPS} 2014, Portsmouth, New Hampshire,
USA, June 21-26, 2014},
publisher = {{AAAI}},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7922},
timestamp = {Thu, 31 Jul 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/WehrleH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/RogerPH14,
author = {Gabriele R{\"{o}}ger and
Florian Pommerening and
Malte Helmert},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {Optimal Planning in the Presence of Conditional Effects: Extending
LM-Cut with Context Splitting},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {765--770},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-765},
doi = {10.3233/978-1-61499-419-0-765},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/RogerPH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/SieversWH14,
author = {Silvan Sievers and
Martin Wehrle and
Malte Helmert},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {Bounded Intention Planning Revisited},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {1097--1098},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-1097},
doi = {10.3233/978-1-61499-419-0-1097},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/SieversWH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/SturtevantFH14,
author = {Nathan R. Sturtevant and
Ariel Felner and
Malte Helmert},
editor = {Stefan Edelkamp and
Roman Bart{\'{a}}k},
title = {Exploiting the Rubik's Cube 12-Edge {PDB} by Combining Partial Pattern
Databases and Bloom Filters},
booktitle = {Proceedings of the Seventh Annual Symposium on Combinatorial Search,
{SOCS} 2014, Prague, Czech Republic, 15-17 August 2014},
pages = {175--183},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/socs.v5i1.18332},
doi = {10.1609/SOCS.V5I1.18332},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/SturtevantFH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HoffmannBHP14,
author = {J{\"{o}}rg Hoffmann and
Piergiorgio Bertoli and
Malte Helmert and
Marco Pistore},
title = {Message-Based Web Service Composition, Integrity Constraints, and
Planning under Uncertainty: {A} New Connection},
journal = {CoRR},
volume = {abs/1401.3470},
year = {2014},
url = {http://arxiv.org/abs/1401.3470},
eprinttype = {arXiv},
eprint = {1401.3470},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HoffmannBHP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/LopezJH13,
author = {Carlos Linares L{\'{o}}pez and
Sergio Jim{\'{e}}nez Celorrio and
Malte Helmert},
title = {Automating the evaluation of planning systems},
journal = {{AI} Commun.},
volume = {26},
number = {4},
pages = {331--354},
year = {2013},
url = {https://doi.org/10.3233/AIC-130572},
doi = {10.3233/AIC-130572},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aicom/LopezJH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SeippH13,
author = {Jendrik Seipp and
Malte Helmert},
title = {Additive Counterexample-Guided Cartesian Abstraction Refinement},
booktitle = {Late-Breaking Developments in the Field of Artificial Intelligence,
Bellevue, Washington, USA, July 14-18, 2013},
series = {{AAAI} Technical Report},
volume = {{WS-13-17}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW13/paper/view/7021},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SeippH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/0001H13,
author = {Thomas Keller and
Malte Helmert},
editor = {Daniel Borrajo and
Subbarao Kambhampati and
Angelo Oddi and
Simone Fratini},
title = {Trial-Based Heuristic Tree Search for Finite Horizon MDPs},
booktitle = {Proceedings of the Twenty-Third International Conference on Automated
Planning and Scheduling, {ICAPS} 2013, Rome, Italy, June 10-14, 2013},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/6026},
timestamp = {Wed, 29 Mar 2017 16:45:27 +0200},
biburl = {https://dblp.org/rec/conf/aips/0001H13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/EyerichH13,
author = {Patrick Eyerich and
Malte Helmert},
editor = {Daniel Borrajo and
Subbarao Kambhampati and
Angelo Oddi and
Simone Fratini},
title = {Stronger Abstraction Heuristics Through Perimeter Search},
booktitle = {Proceedings of the Twenty-Third International Conference on Automated
Planning and Scheduling, {ICAPS} 2013, Rome, Italy, June 10-14, 2013},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/6031},
timestamp = {Wed, 21 Aug 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/EyerichH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/HaslumHJ13,
author = {Patrik Haslum and
Malte Helmert and
Anders Jonsson},
editor = {Daniel Borrajo and
Subbarao Kambhampati and
Angelo Oddi and
Simone Fratini},
title = {Safe, Strong, and Tractable Relevance Analysis for Planning},
booktitle = {Proceedings of the Twenty-Third International Conference on Automated
Planning and Scheduling, {ICAPS} 2013, Rome, Italy, June 10-14, 2013},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/6007},
timestamp = {Wed, 24 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/HaslumHJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/PommereningH13,
author = {Florian Pommerening and
Malte Helmert},
editor = {Daniel Borrajo and
Subbarao Kambhampati and
Angelo Oddi and
Simone Fratini},
title = {Incremental LM-Cut},
booktitle = {Proceedings of the Twenty-Third International Conference on Automated
Planning and Scheduling, {ICAPS} 2013, Rome, Italy, June 10-14, 2013},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/6032},
timestamp = {Wed, 21 Aug 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/PommereningH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/SeippH13,
author = {Jendrik Seipp and
Malte Helmert},
editor = {Daniel Borrajo and
Subbarao Kambhampati and
Angelo Oddi and
Simone Fratini},
title = {Counterexample-Guided Cartesian Abstraction Refinement},
booktitle = {Proceedings of the Twenty-Third International Conference on Automated
Planning and Scheduling, {ICAPS} 2013, Rome, Italy, June 10-14, 2013},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/6034},
timestamp = {Wed, 21 Aug 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/SeippH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/WehrleHAM13,
author = {Martin Wehrle and
Malte Helmert and
Yusra Alkhazraji and
Robert Mattm{\"{u}}ller},
editor = {Daniel Borrajo and
Subbarao Kambhampati and
Angelo Oddi and
Simone Fratini},
title = {The Relative Pruning Power of Strong Stubborn Sets and Expansion Core},
booktitle = {Proceedings of the Twenty-Third International Conference on Automated
Planning and Scheduling, {ICAPS} 2013, Rome, Italy, June 10-14, 2013},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/6053},
timestamp = {Wed, 21 Aug 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/WehrleHAM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PommereningRH13,
author = {Florian Pommerening and
Gabriele R{\"{o}}ger and
Malte Helmert},
editor = {Francesca Rossi},
title = {Getting the Most Out of Pattern Databases for Classical Planning},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {2357--2364},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6965},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/PommereningRH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/HelmertR13,
author = {Malte Helmert and
Gabriele R{\"{o}}ger},
editor = {Malte Helmert and
Gabriele R{\"{o}}ger},
title = {SoCS 2013 Organization},
booktitle = {Proceedings of the Sixth Annual Symposium on Combinatorial Search,
{SOCS} 2013, Leavenworth, Washington, USA, July 11-13, 2013},
publisher = {{AAAI} Press},
year = {2013},
url = {https://doi.org/10.1609/socs.v4i1.18277},
doi = {10.1609/SOCS.V4I1.18277},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/HelmertR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/HelmertR13a,
author = {Malte Helmert and
Gabriele R{\"{o}}ger},
editor = {Malte Helmert and
Gabriele R{\"{o}}ger},
title = {Preface},
booktitle = {Proceedings of the Sixth Annual Symposium on Combinatorial Search,
{SOCS} 2013, Leavenworth, Washington, USA, July 11-13, 2013},
publisher = {{AAAI} Press},
year = {2013},
url = {https://doi.org/10.1609/socs.v4i1.18275},
doi = {10.1609/SOCS.V4I1.18275},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/HelmertR13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/socs/2013,
editor = {Malte Helmert and
Gabriele R{\"{o}}ger},
title = {Proceedings of the Sixth Annual Symposium on Combinatorial Search,
{SOCS} 2013, Leavenworth, Washington, USA, July 11-13, 2013},
publisher = {{AAAI} Press},
year = {2013},
url = {http://www.aaai.org/Library/SOCS/socs13contents.php},
isbn = {978-1-57735-584-7},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RogerH12,
author = {Gabriele R{\"{o}}ger and
Malte Helmert},
editor = {Ariel Felner and
Nathan R. Sturtevant and
Kostas E. Bekris and
Roni Stern},
title = {Non-Optimal Multi-Agent Pathfinding Is Solved (Since 1984)},
booktitle = {Multiagent Pathfinding, Papers from the 2012 {AAAI} Workshop, MAPF@AAAI
2012, Toronto, Ontario, Canada, July 22, 2012},
series = {{AAAI} Technical Report},
volume = {{WS-12-10}},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW12/paper/view/5206},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RogerH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/KatzHH12,
author = {Michael Katz and
J{\"{o}}rg Hoffmann and
Malte Helmert},
editor = {Lee McCluskey and
Brian Charles Williams and
Jos{\'{e}} Reinaldo Silva and
Blai Bonet},
title = {How to Relax a Bisimulation?},
booktitle = {Proceedings of the Twenty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2012, Atibaia, S{\~{a}}o Paulo, Brazil,
June 25-19, 2012},
publisher = {{AAAI}},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS12/paper/view/4593},
timestamp = {Wed, 01 Mar 2017 18:10:41 +0100},
biburl = {https://dblp.org/rec/conf/aips/KatzHH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/PommereningH12,
author = {Florian Pommerening and
Malte Helmert},
editor = {Lee McCluskey and
Brian Charles Williams and
Jos{\'{e}} Reinaldo Silva and
Blai Bonet},
title = {Optimal Planning for Delete-Free Tasks with Incremental LM-Cut},
booktitle = {Proceedings of the Twenty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2012, Atibaia, S{\~{a}}o Paulo, Brazil,
June 25-19, 2012},
publisher = {{AAAI}},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS12/paper/view/4695},
timestamp = {Tue, 10 Jul 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/PommereningH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/SeippBGH12,
author = {Jendrik Seipp and
Manuel Braun and
Johannes Garimort and
Malte Helmert},
editor = {Lee McCluskey and
Brian Charles Williams and
Jos{\'{e}} Reinaldo Silva and
Blai Bonet},
title = {Learning Portfolios of Automatically Tuned Planners},
booktitle = {Proceedings of the Twenty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2012, Atibaia, S{\~{a}}o Paulo, Brazil,
June 25-19, 2012},
publisher = {{AAAI}},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS12/paper/view/4729},
timestamp = {Tue, 10 Jul 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/SeippBGH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/WehrleH12,
author = {Martin Wehrle and
Malte Helmert},
editor = {Lee McCluskey and
Brian Charles Williams and
Jos{\'{e}} Reinaldo Silva and
Blai Bonet},
title = {About Partial Order Reduction in Planning and Computer Aided Verification},
booktitle = {Proceedings of the Twenty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2012, Atibaia, S{\~{a}}o Paulo, Brazil,
June 25-19, 2012},
publisher = {{AAAI}},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS12/paper/view/4725},
timestamp = {Tue, 10 Jul 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/WehrleH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/AlkhazrajiWMH12,
author = {Yusra Alkhazraji and
Martin Wehrle and
Robert Mattm{\"{u}}ller and
Malte Helmert},
editor = {Luc De Raedt and
Christian Bessiere and
Didier Dubois and
Patrick Doherty and
Paolo Frasconi and
Fredrik Heintz and
Peter J. F. Lucas},
title = {A Stubborn Set Algorithm for Optimal Planning},
booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {242},
pages = {891--892},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-098-7-891},
doi = {10.3233/978-1-61499-098-7-891},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/AlkhazrajiWMH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/SieversOH12,
author = {Silvan Sievers and
Manuela Ortlieb and
Malte Helmert},
editor = {Daniel Borrajo and
Ariel Felner and
Richard E. Korf and
Maxim Likhachev and
Carlos Linares L{\'{o}}pez and
Wheeler Ruml and
Nathan R. Sturtevant},
title = {Efficient Implementation of Pattern Database Heuristics for Classical
Planning},
booktitle = {Proceedings of the Fifth Annual Symposium on Combinatorial Search,
{SOCS} 2012, Niagara Falls, Ontario, Canada, July 19-21, 2012},
pages = {49--56},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/socs.v3i1.18237},
doi = {10.1609/SOCS.V3I1.18237},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/SieversOH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/ThayerBH12,
author = {Jordan Tyler Thayer and
J. Benton and
Malte Helmert},
editor = {Daniel Borrajo and
Ariel Felner and
Richard E. Korf and
Maxim Likhachev and
Carlos Linares L{\'{o}}pez and
Wheeler Ruml and
Nathan R. Sturtevant},
title = {Better Parameter-Free Anytime Search by Minimizing Time Between Solutions},
booktitle = {Proceedings of the Fifth Annual Symposium on Combinatorial Search,
{SOCS} 2012, Niagara Falls, Ontario, Canada, July 19-21, 2012},
pages = {120--128},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/socs.v3i1.18242},
doi = {10.1609/SOCS.V3I1.18242},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/ThayerBH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/RogerH12,
author = {Gabriele R{\"{o}}ger and
Malte Helmert},
editor = {Daniel Borrajo and
Ariel Felner and
Richard E. Korf and
Maxim Likhachev and
Carlos Linares L{\'{o}}pez and
Wheeler Ruml and
Nathan R. Sturtevant},
title = {Non-Optimal Multi-Agent Pathfinding is Solved (Since 1984)},
booktitle = {Proceedings of the Fifth Annual Symposium on Combinatorial Search,
{SOCS} 2012, Niagara Falls, Ontario, Canada, July 19-21, 2012},
pages = {173--174},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/socs.v3i1.18267},
doi = {10.1609/SOCS.V3I1.18267},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/RogerH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NissimHH11,
author = {Raz Nissim and
J{\"{o}}rg Hoffmann and
Malte Helmert},
editor = {Toby Walsh},
title = {Computing Perfect Heuristics in Polynomial Time: On Bisimulation and
Merge-and-Shrink Abstraction in Optimal Planning},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {1983--1990},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-331},
doi = {10.5591/978-1-57735-516-8/IJCAI11-331},
timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/NissimHH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aips/2011,
editor = {Fahiem Bacchus and
Carmel Domshlak and
Stefan Edelkamp and
Malte Helmert},
title = {Proceedings of the 21st International Conference on Automated Planning
and Scheduling, {ICAPS} 2011, Freiburg, Germany June 11-16, 2011},
publisher = {{AAAI}},
year = {2011},
timestamp = {Tue, 28 Jun 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-6051,
author = {Malte Helmert},
title = {The Fast Downward Planning System},
journal = {CoRR},
volume = {abs/1109.6051},
year = {2011},
url = {http://arxiv.org/abs/1109.6051},
eprinttype = {arXiv},
eprint = {1109.6051},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-6051.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EyerichKH10,
author = {Patrick Eyerich and
Thomas Keller and
Malte Helmert},
editor = {Maria Fox and
David Poole},
title = {High-Quality Policies for the Canadian Traveler's Problem},
booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
pages = {51--58},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/aaai.v24i1.7542},
doi = {10.1609/AAAI.V24I1.7542},
timestamp = {Mon, 04 Sep 2023 16:23:45 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EyerichKH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/MattmullerOHB10,
author = {Robert Mattm{\"{u}}ller and
Manuela Ortlieb and
Malte Helmert and
Pascal Bercher},
editor = {Ronen I. Brafman and
Hector Geffner and
J{\"{o}}rg Hoffmann and
Henry A. Kautz},
title = {Pattern Database Heuristics for Fully Observable Nondeterministic
Planning},
booktitle = {Proceedings of the 20th International Conference on Automated Planning
and Scheduling, {ICAPS} 2010, Toronto, Ontario, Canada, May 12-16,
2010},
pages = {105--112},
publisher = {{AAAI}},
year = {2010},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS10/paper/view/1430},
timestamp = {Thu, 31 Jul 2014 11:17:14 +0200},
biburl = {https://dblp.org/rec/conf/aips/MattmullerOHB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/HelmertL10,
author = {Malte Helmert and
Hauke Lasinger},
editor = {Ronen I. Brafman and
Hector Geffner and
J{\"{o}}rg Hoffmann and
Henry A. Kautz},
title = {The Scanalyzer Domain: Greenhouse Logistics as a Planning Problem},
booktitle = {Proceedings of the 20th International Conference on Automated Planning
and Scheduling, {ICAPS} 2010, Toronto, Ontario, Canada, May 12-16,
2010},
pages = {234--237},
publisher = {{AAAI}},
year = {2010},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS10/paper/view/1423},
timestamp = {Wed, 23 Jun 2010 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/HelmertL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/RogerH10,
author = {Gabriele R{\"{o}}ger and
Malte Helmert},
editor = {Ronen I. Brafman and
Hector Geffner and
J{\"{o}}rg Hoffmann and
Henry A. Kautz},
title = {The More, the Merrier: Combining Heuristic Estimators for Satisficing
Planning},
booktitle = {Proceedings of the 20th International Conference on Automated Planning
and Scheduling, {ICAPS} 2010, Toronto, Ontario, Canada, May 12-16,
2010},
pages = {246--249},
publisher = {{AAAI}},
year = {2010},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS10/paper/view/1452},
timestamp = {Wed, 23 Jun 2010 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/RogerH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BonetH10,
author = {Blai Bonet and
Malte Helmert},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {Strengthening Landmark Heuristics via Hitting Sets},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {329--334},
publisher = {{IOS} Press},
year = {2010},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=17767},
timestamp = {Fri, 26 Apr 2019 14:26:43 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BonetH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/KeyderRH10,
author = {Emil Keyder and
Silvia Richter and
Malte Helmert},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {Sound and Complete Landmarks for And/Or Graphs},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {335--340},
publisher = {{IOS} Press},
year = {2010},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=17768},
timestamp = {Mon, 23 Aug 2010 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/KeyderRH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HelmertR10,
author = {Malte Helmert and
Gabriele R{\"{o}}ger},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {Relative-Order Abstractions for the Pancake Problem},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {745--750},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-606-5-745},
doi = {10.3233/978-1-60750-606-5-745},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/HelmertR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/Helmert10,
author = {Malte Helmert},
editor = {Ariel Felner and
Nathan R. Sturtevant},
title = {Landmark Heuristics for the Pancake Problem},
booktitle = {Proceedings of the Third Annual Symposium on Combinatorial Search,
{SOCS} 2010, Stone Mountain, Atlanta, Georgia, USA, July 8-10, 2010},
pages = {109--110},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/socs.v1i1.18176},
doi = {10.1609/SOCS.V1I1.18176},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/Helmert10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/EyerichKH10,
author = {Patrick Eyerich and
Thomas Keller and
Malte Helmert},
editor = {Ariel Felner and
Nathan R. Sturtevant},
title = {High-Quality Policies for the Canadian Traveler's Problem},
booktitle = {Proceedings of the Third Annual Symposium on Combinatorial Search,
{SOCS} 2010, Stone Mountain, Atlanta, Georgia, USA, July 8-10, 2010},
pages = {147--148},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/socs.v1i1.18154},
doi = {10.1609/SOCS.V1I1.18154},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/EyerichKH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Helmert09,
author = {Malte Helmert},
title = {Concise finite-domain representations for {PDDL} planning tasks},
journal = {Artif. Intell.},
volume = {173},
number = {5-6},
pages = {503--535},
year = {2009},
url = {https://doi.org/10.1016/j.artint.2008.10.013},
doi = {10.1016/J.ARTINT.2008.10.013},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Helmert09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/HoffmannBHP09,
author = {J{\"{o}}rg Hoffmann and
Piergiorgio Bertoli and
Malte Helmert and
Marco Pistore},
title = {Message-Based Web Service Composition, Integrity Constraints, and
Planning under Uncertainty: {A} New Connection},
journal = {J. Artif. Intell. Res.},
volume = {35},
pages = {49--117},
year = {2009},
url = {https://doi.org/10.1613/jair.2716},
doi = {10.1613/JAIR.2716},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/HoffmannBHP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/CaiHH09,
author = {Dunbo Cai and
J{\"{o}}rg Hoffmann and
Malte Helmert},
editor = {Alfonso Gerevini and
Adele E. Howe and
Amedeo Cesta and
Ioannis Refanidis},
title = {Enhancing the Context-Enhanced Additive Heuristic with Precedence
Constraints},
booktitle = {Proceedings of the 19th International Conference on Automated Planning
and Scheduling, {ICAPS} 2009, Thessaloniki, Greece, September 19-23,
2009},
publisher = {{AAAI}},
year = {2009},
url = {http://aaai.org/ocs/index.php/ICAPS/ICAPS09/paper/view/694},
timestamp = {Thu, 31 Jul 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/CaiHH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/HelmertD09,
author = {Malte Helmert and
Carmel Domshlak},
editor = {Alfonso Gerevini and
Adele E. Howe and
Amedeo Cesta and
Ioannis Refanidis},
title = {Landmarks, Critical Paths and Abstractions: What's the Difference
Anyway?},
booktitle = {Proceedings of the 19th International Conference on Automated Planning
and Scheduling, {ICAPS} 2009, Thessaloniki, Greece, September 19-23,
2009},
publisher = {{AAAI}},
year = {2009},
url = {http://aaai.org/ocs/index.php/ICAPS/ICAPS09/paper/view/735},
timestamp = {Thu, 13 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/HelmertD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/RichterH09,
author = {Silvia Richter and
Malte Helmert},
editor = {Alfonso Gerevini and
Adele E. Howe and
Amedeo Cesta and
Ioannis Refanidis},
title = {Preferred Operators and Deferred Evaluation in Satisficing Planning},
booktitle = {Proceedings of the 19th International Conference on Automated Planning
and Scheduling, {ICAPS} 2009, Thessaloniki, Greece, September 19-23,
2009},
publisher = {{AAAI}},
year = {2009},
url = {http://aaai.org/ocs/index.php/ICAPS/ICAPS09/paper/view/700},
timestamp = {Thu, 13 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/RichterH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BetzH09,
author = {Christoph Betz and
Malte Helmert},
editor = {B{\"{a}}rbel Mertsching and
Marcus Hund and
Muhammad Zaheer Aziz},
title = {Planning with \emph{h}\({}^{\mbox{ + }}\) in Theory and Practice},
booktitle = {{KI} 2009: Advances in Artificial Intelligence, 32nd Annual German
Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5803},
pages = {9--16},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04617-9\_2},
doi = {10.1007/978-3-642-04617-9\_2},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/BetzH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/WehrleH09,
author = {Martin Wehrle and
Malte Helmert},
editor = {Jens Palsberg and
Zhendong Su},
title = {The Causal Graph Revisited for Directed Model Checking},
booktitle = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
CA, USA, August 9-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5673},
pages = {86--101},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03237-0\_8},
doi = {10.1007/978-3-642-03237-0\_8},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/sas/WehrleH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/HelmertD09,
author = {Malte Helmert and
Carmel Domshlak},
editor = {Lubos Brim and
Stefan Edelkamp and
Eric A. Hansen and
Peter Sanders},
title = {Landmarks, Critical Paths and Abstractions: What's the Difference
Anyway?},
booktitle = {Graph Search Engineering, 29.11. - 04.12.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09491},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2432/},
timestamp = {Thu, 10 Jun 2021 13:02:03 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/HelmertD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Helmert2008,
author = {Malte Helmert},
title = {Understanding Planning Tasks: Domain Complexity and Heuristic Decomposition},
series = {Lecture Notes in Computer Science},
volume = {4929},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77723-6},
doi = {10.1007/978-3-540-77723-6},
isbn = {978-3-540-77722-9},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Helmert2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HelmertM08,
author = {Malte Helmert and
Robert Mattm{\"{u}}ller},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Accuracy of Admissible Heuristic Functions in Selected Planning Domains},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {938--943},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-149.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HelmertM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HelmertR08,
author = {Malte Helmert and
Gabriele R{\"{o}}ger},
editor = {Dieter Fox and
Carla P. Gomes},
title = {How Good is Almost Perfect?},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {944--949},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-150.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HelmertR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RichterHW08,
author = {Silvia Richter and
Malte Helmert and
Matthias Westphal},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Landmarks Revisited},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {975--982},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-155.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RichterHW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HelmertHH08,
author = {Malte Helmert and
Patrik Haslum and
J{\"{o}}rg Hoffmann},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Explicit-State Abstraction: {A} New Method for Generating Heuristic
Functions},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {1547--1550},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-259.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HelmertHH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/HelmertG08,
author = {Malte Helmert and
Hector Geffner},
editor = {Jussi Rintanen and
Bernhard Nebel and
J. Christopher Beck and
Eric A. Hansen},
title = {Unifying the Causal Graph and Additive Heuristics},
booktitle = {Proceedings of the Eighteenth International Conference on Automated
Planning and Scheduling, {ICAPS} 2008, Sydney, Australia, September
14-18, 2008},
pages = {140--147},
publisher = {{AAAI}},
year = {2008},
url = {http://www.aaai.org/Library/ICAPS/2008/icaps08-018.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/HelmertG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RogerHN08,
author = {Gabriele R{\"{o}}ger and
Malte Helmert and
Bernhard Nebel},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {On the Relative Expressiveness of {ADL} and Golog: The Last Piece
in the Puzzle},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {544--550},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-053.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/RogerHN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HaslumBHBK07,
author = {Patrik Haslum and
Adi Botea and
Malte Helmert and
Blai Bonet and
Sven Koenig},
title = {Domain-Independent Construction of Pattern Database Heuristics for
Cost-Optimal Planning},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {1007--1012},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-160.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HaslumBHBK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/HelmertHH07,
author = {Malte Helmert and
Patrik Haslum and
J{\"{o}}rg Hoffmann},
editor = {Mark S. Boddy and
Maria Fox and
Sylvie Thi{\'{e}}baux},
title = {Flexible Abstraction Heuristics for Optimal Sequential Planning},
booktitle = {Proceedings of the Seventeenth International Conference on Automated
Planning and Scheduling, {ICAPS} 2007, Providence, Rhode Island, USA,
September 22-26, 2007},
pages = {176--183},
publisher = {{AAAI}},
year = {2007},
url = {http://www.aaai.org/Library/ICAPS/2007/icaps07-023.php},
timestamp = {Tue, 02 Nov 2021 15:59:05 +0100},
biburl = {https://dblp.org/rec/conf/aips/HelmertHH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/RichterHG07,
author = {Silvia Richter and
Malte Helmert and
Charles Gretton},
editor = {Joachim Hertzberg and
Michael Beetz and
Roman Englert},
title = {A Stochastic Local Search Approach to Vertex Cover},
booktitle = {{KI} 2007: Advances in Artificial Intelligence, 30th Annual German
Conference on AI, {KI} 2007, Osnabr{\"{u}}ck, Germany, September
10-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4667},
pages = {412--426},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74565-5\_31},
doi = {10.1007/978-3-540-74565-5\_31},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/RichterHG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/Helmert06,
author = {Malte Helmert},
title = {The Fast Downward Planning System},
journal = {J. Artif. Intell. Res.},
volume = {26},
pages = {191--246},
year = {2006},
url = {https://doi.org/10.1613/jair.1705},
doi = {10.1613/JAIR.1705},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/Helmert06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Helmert06,
author = {Malte Helmert},
editor = {Derek Long and
Stephen F. Smith and
Daniel Borrajo and
Lee McCluskey},
title = {New Complexity Results for Classical Planning Benchmarks},
booktitle = {Proceedings of the Sixteenth International Conference on Automated
Planning and Scheduling, {ICAPS} 2006, Cumbria, UK, June 6-10, 2006},
pages = {52--62},
publisher = {{AAAI}},
year = {2006},
url = {http://www.aaai.org/Library/ICAPS/2006/icaps06-006.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/Helmert06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HelmertMS06,
author = {Malte Helmert and
Robert Mattm{\"{u}}ller and
Sven Schewe},
editor = {Susanne Graf and
Wenhui Zhang},
title = {Selective Approaches for Solving Weak Games},
booktitle = {Automated Technology for Verification and Analysis, 4th International
Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006},
series = {Lecture Notes in Computer Science},
volume = {4218},
pages = {200--214},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901914\_17},
doi = {10.1007/11901914\_17},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/HelmertMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cg/KupferschmidH06,
author = {Sebastian Kupferschmid and
Malte Helmert},
editor = {H. Jaap van den Herik and
Paolo Ciancarini and
H. H. L. M. Donkers},
title = {A Skat Player Based on Monte-Carlo Simulation},
booktitle = {Computers and Games, 5th International Conference, {CG} 2006, Turin,
Italy, May 29-31, 2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4630},
pages = {135--147},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75538-8\_12},
doi = {10.1007/978-3-540-75538-8\_12},
timestamp = {Fri, 27 Mar 2020 08:58:14 +0100},
biburl = {https://dblp.org/rec/conf/cg/KupferschmidH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HelmertMR06,
author = {Malte Helmert and
Robert Mattm{\"{u}}ller and
Gabriele R{\"{o}}ger},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {Aproximation Properties of Planning Benchmarks},
booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {585--589},
publisher = {{IOS} Press},
year = {2006},
timestamp = {Thu, 12 Feb 2009 12:51:20 +0100},
biburl = {https://dblp.org/rec/conf/ecai/HelmertMR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Helmert04,
author = {Malte Helmert},
editor = {Shlomo Zilberstein and
Jana Koehler and
Sven Koenig},
title = {A Planning Heuristic Based on Causal Graph Analysis},
booktitle = {Proceedings of the Fourteenth International Conference on Automated
Planning and Scheduling {(ICAPS} 2004), June 3-7 2004, Whistler, British
Columbia, Canada},
pages = {161--170},
publisher = {{AAAI}},
year = {2004},
url = {http://www.aaai.org/Library/ICAPS/2004/icaps04-021.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/Helmert04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Helmert03,
author = {Malte Helmert},
title = {Complexity results for standard benchmark domains in planning},
journal = {Artif. Intell.},
volume = {143},
number = {2},
pages = {219--262},
year = {2003},
url = {https://doi.org/10.1016/S0004-3702(02)00364-8},
doi = {10.1016/S0004-3702(02)00364-8},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/Helmert03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Helmert02,
author = {Malte Helmert},
editor = {Malik Ghallab and
Joachim Hertzberg and
Paolo Traverso},
title = {Decidability and Undecidability Results for Planning with Numerical
State Variables},
booktitle = {Proceedings of the Sixth International Conference on Artificial Intelligence
Planning Systems, April 23-27, 2002, Toulouse, France},
pages = {44--53},
publisher = {{AAAI}},
year = {2002},
url = {http://www.aaai.org/Library/AIPS/2002/aips02-005.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/Helmert02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/puk/Helmert02,
author = {Malte Helmert},
editor = {J{\"{u}}rgen Sauer},
title = {Decidability and Undecidability Results for Planning with Numerical
State Variables},
booktitle = {Proceedings Workshop Planen und Konfigurieren (PuK-2002), Freiburg,
10./ 11.10.2002},
year = {2002},
url = {http://www.puk-workshop.de/puk2002/papers/helmert.pdf},
timestamp = {Fri, 27 Nov 2020 14:01:55 +0100},
biburl = {https://dblp.org/rec/conf/puk/Helmert02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/EdelkampH01,
author = {Stefan Edelkamp and
Malte Helmert},
title = {{MIPS:} The Model-Checking Integrated Planning System},
journal = {{AI} Mag.},
volume = {22},
number = {3},
pages = {67--72},
year = {2001},
url = {https://doi.org/10.1609/aimag.v22i3.1574},
doi = {10.1609/AIMAG.V22I3.1574},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/EdelkampH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecp/EdelkampH99,
author = {Stefan Edelkamp and
Malte Helmert},
editor = {Susanne Biundo and
Maria Fox},
title = {Exhibiting Knowledge in Planning Problems to Minimize State Encoding
Length},
booktitle = {Recent Advances in {AI} Planning, 5th European Conference on Planning,
ECP'99, Durham, UK, September 8-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1809},
pages = {135--147},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10720246\_11},
doi = {10.1007/10720246\_11},
timestamp = {Tue, 02 Nov 2021 15:59:06 +0100},
biburl = {https://dblp.org/rec/conf/ecp/EdelkampH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-03 22:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
