Prof. Dr. Malte Helmert

Prof. Dr. Malte Helmert
Address:
Department of Mathematics and Computer Science
Spiegelgasse 1
CH - 4051 Basel, Switzerland
Room:
06.004
Email:
malte.helmert@unibas.ch
Phone:
+41 61 207 05 48
Fax:
+41 61 207 05 59

Research interest

My main research interest is in intelligent problem solving, with a focus on the area of automated planning. Automated planning is the problem of finding a course of action that allows an intelligent agent to proceed from whatever situation they find themselves in to a situation which satisfies their goals. Or, as an esteemed colleague put it much more succinctly: "Planning is the art and practice of thinking before acting." Apart from planning, I am also interested in all kinds of combinatorial search and optimization problems, including constraint satisfaction and classical NP-hard graph problems.

Short bio

I received a diploma in computer science (comparable to M.Sc.) from the University of Freiburg in March 2001. From April 2001 to May 2011, I was a member of the Research Group on the Foundations of Artificial Intelligence at the University of Freiburg, headed by Bernhard Nebel. In June 2011, I joined the University of Basel.

For more information, please consult my academic CV (PDF).

Software

Tutorials

Publications

All of my papers are available online.

Awards

  • ICAPS 2017 Best Student Paper Award for the paper Unsolvability Certificates for Classical Planning (PDF) with Salomé Eriksson and Gabriele Röger at the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017).
  • SoCS 2017 Best Paper Award for the paper Understanding the Search Behaviour of Greedy Best-First Search (PDF) with Manuel Heusner and Thomas Keller at the 10th Annual Symposium on Combinatorial Search (SoCS 2017).
  • ICAPS 2016 Influental Paper Award for the ICAPS 2004 paper A Planning Heuristic Based on Causal Graph Analysis (PDF) at the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016).
  • ICAPS 2016 Outstanding Reviewer Award at the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016).
  • AAAI 2015 Outstanding Paper Award for the paper From Non-Negative to General Operator Cost Partitioning (PDF) with Florian Pommerening, Gabriele Röger and Jendrik Seipp at the 29th AAAI Conference on Artificial Intelligence (AAAI 2015).
  • Nomination for the Credit Suisse Award for Best Teaching for the course Grundlagen der Künstlichen Intelligenz (Foundations of Artificial Intelligence) at University of Basel.
  • AAAI 2014 Outstanding Paper Award Honorable Mention for the paper Generalized Label Reduction for Merge-and-Shrink Heuristics (PDF) with Silvan Sievers and Martin Wehrle at the 28th AAAI Conference on Artificial Intelligence (AAAI 2014).
  • Outstanding Senior Program Committee Member Award at the 28th AAAI Conference on Artificial Intelligence (AAAI 2014).
  • ICAPS 2014 Outstanding Paper Award for the paper LP-based Heuristics for Cost-optimal Planning (PDF) with Florian Pommerening, Gabriele Röger and Blai Bonet at the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014).
  • Outstanding PC Member Award at the Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2013).
  • ICAPS 2013 Best Paper Award for the paper The Relative Pruning Power of Strong Stubborn Sets and Expansion Core (PDF) with Martin Wehrle, Yusra Alkhazraji and Robert Mattmüller at the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013).
  • ICAPS 2013 Best Student Paper Award for the paper Trial-based Heuristic Tree Search for Finite Horizon MDPs (PDF) with Thomas Keller at the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013).
  • SoCS 2012 Best Student Paper Award for the paper Better Parameter-Free Anytime Search by Minimizing Time Between Solutions (PDF) with Jordan T. Thayer and J. Benton at the Fifth Annual Symposium on Combinatorial Search (SoCS 2012).
  • IJCAI 2011 Computers and Thought Award "for fundamental contributions to the theory and practice in automated planning and combinatorial search" at the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI 2011).
  • Winner, Deterministic Sequential Optimization Track for the planning system Fast Downward Stone Soup-1 (PDF) with Jörg Hoffmann, Erez Karpas, Emil Keyder, Raz Nissim, Silvia Richter, Gabriele Röger, Jendrik Seipp and Matthias Westphal at the 7th International Planning Competition (IPC 2011) at ICAPS 2011.
  • Runner-up ex-aequo, Deterministic Sequential Optimization Track for the planning system Merge and Shrink (PDF) with Raz Nissim and Jörg Hoffmann at the 7th International Planning Competition (IPC 2011) at ICAPS 2011.
  • Runner-up ex-aequo, Deterministic Sequential Optimization Track for the planning system Selective Max (PDF) with Erez Karpas, Carmel Domshlak and Shaul Markovitch at the 7th International Planning Competition (IPC 2011) at ICAPS 2011.
  • Winner, Sequential Satisficing Track for the planning system LAMA 2011 (PDF) with Silvia Richter, Matthias Westphal and Gabriele Röger at the 7th International Planning Competition (IPC 2011) at ICAPS 2011.
  • Runner-Up, Learning Track for the planning system Fast Downward Autotune-speed (PDF) with Chris Fawcett, Holger Hoos, Erez Karpas, Gabriele Röger and Jendrik Seipp at the 7th International Planning Competition (IPC 2011) at ICAPS 2011.
  • Runner-up, Deterministic Sequential Satisficing Track for the planning system Fast Downward Stone Soup (PDF) with Erez Karpas, Silvia Richter, Gabriele Röger and Jendrik Seipp at the 7th International Planning Competition (IPC 2011) at ICAPS 2011.
  • ECAI 2010 Best Paper Award for the paper Strengthening Landmark Heuristics via Hitting Sets (PDF) with Blai Bonet at the 19th European Conference on Artificial Intelligence (ECAI 2010).
  • SoCS 2010 Best Poster Presentation Award for the paper High-Quality Policies for the Canadian Traveler's Problem (Extended Abstract) (PDF) with Patrick Eyerich and Thomas Keller at the Third Annual Symposium on Combinatorial Search (SoCS 2010).
  • ICAPS 2009 Best Paper Award for the paper Landmarks, Critical Paths and Abstractions: What's the Difference Anyway? (PDF) with Carmel Domshlak at the 19th International Conference on Automated Planning and Scheduling (ICAPS 2009).
  • AAAI 2008 Outstanding Paper Award for the paper How Good is Almost Perfect? (PDF) with Gabriele Röger at the 23rd AAAI Conference on Artificial Intelligence (AAAI 2008).
  • ICAPS Outstanding Dissertation Award Honorable Mention for the doctoral thesis Solving Planning Tasks in Theory and Practice at the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 2007).
  • ICAPS 2007 Best Research Paper Award for the paper Flexible Abstraction Heuristics for Optimal Sequential Planning (PDF) with Patrik Haslum and Jörg Hoffmann at the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 2007).
  • Outstanding PC Member Award Honorable Mention at the 22nd AAAI Conference on Artificial Intelligence (AAAI 2007).
  • Lehrpreis des Landes Baden-Württemberg (state teaching award) for the organization of the Sommercampus event with Amir Alsbih, Niklas Deutschmann, Nico Dietrich, Nikolaus Ehrenfeuchter, Jochen Eisinger, Janis Fehr, Bernhard Nebel, Thomas Nunninger, Martin Preen, Anne Repky, Silvia Richter, Gabriele Röger, Sebastian Schulz, Alexander Scivos, Hendrik Tessendorf and Larissa Wißmann.
  • IJCAI-JAIR Best Paper Prize Honorable Mention for the paper The Fast Downward Planning System (PDF) at the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI 2009).
  • ICAPS 2004 Best Student Paper Award for the paper A Planning Heuristic Based on Causal Graph Analysis (PDF) at the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004).
  • 1st Prize, Satisficing Propositional Track for the planning system Fast (Diagonally) Downward with Silvia Richter at the 4th International Planning Competition (IPC 2004) at ICAPS 2004.
  • PLANET Award for Research Excellence for the paper On the Complexity of Planning in Transportation Domains (PDF) at the 6th European Conference on Planning (ECP 2001).
  • VDI-Förderpreis (award of he Association of German Engineers) for the Diplomarbeit (Master's thesis equivalent) On the Complexity of Planning in Transportation and Manipulation Domains (PDF) .
  • Distinguished Planner Award for the planning system MIPS (PDF) with Stefan Edelkamp at the 2nd International Planning Competition (IPC 2000) at AIPS 2000.