Welcome

Artificial Intelligence Group

Our research is focused on the development of algorithms and tools for intelligent problem solving. We are interested in all kinds of combinatorial search and optimization problems, with a particular focus on the area of automated planning, the problem of finding a course of action that changes the current state of the world to one that satisfies the planning agent's goals and objectives.

Planning problems come in many shapes and guises, and planning techniques can be applied to problems as diverse as solving combinatorial puzzles, scheduling ground traffic at an airport, controlling intelligent manufacturing plants, verifying the security of communication protocols or the correctness of software and hardware designs, and computing the evolutionary distance of genomes.

Finding solutions to such problems is computationally hard because of fast-growing state spaces. Therefore, a major challenge in search and optimization is to find intelligent ways to handle large state spaces.

Contact

Address
Department of Mathematics and Computer Science
Spiegelgasse 1
CH - 4051 Basel, Switzerland
Head of Group
Malte Helmert
Secretary
Yvonne Wegmüller

Awards

  • ICAPS 2017 Best Dissertation Award for the doctoral thesis Anytime Optimal MDP Planning with Trial-based Heuristic Tree Search (PDF) by Thomas Keller at the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017).
  • ICAPS 2017 Best Student Paper Award for the paper Unsolvability Certificates for Classical Planning (PDF) by Salomé Eriksson, Gabriele Röger and Malte Helmert 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) by Manuel Heusner, Thomas Keller and Malte Helmert at the 10th Annual Symposium on Combinatorial Search (SoCS 2017).
  • SoCS 2017 Best Student Paper Award for the paper Better Orders for Saturated Cost Partitioning in Optimal Classical Planning (PDF) by Jendrik Seipp at the 10th Annual Symposium on Combinatorial Search (SoCS 2017).
  • Outstanding PC Member Award for Florian Pommerening at the 9th Annual Symposium on Combinatorial Search (SoCS 2016).
  • ICAPS 2016 Influental Paper Award for the ICAPS 2004 paper A Planning Heuristic Based on Causal Graph Analysis (PDF) by Malte Helmert at the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016).
  • ICAPS 2016 Outstanding Reviewer Award for Malte Helmert at the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016).
  • ICAPS Best Dissertation Award 2016 for the doctoral thesis Planning Techniques and the Action Language Golog (PDF) by Gabriele Röger at the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016).
  • Winner, Unsolvability IPC 2016 for the planning system Fast Downward Aidos (PDF) by Jendrik Seipp, Florian Pommerening, Silvan Sievers, Martin Wehrle, Chris Fawcett and Yusra Alkhazraji at the 1st Unsolvability International Planning Competition (UIPC 2016) at ICAPS 2016.
  • AAAI 2015 Outstanding Paper Award for the paper From Non-Negative to General Operator Cost Partitioning (PDF) by Florian Pommerening, Malte Helmert, Gabriele Röger and Jendrik Seipp at the 29th AAAI Conference on Artificial Intelligence (AAAI 2015).
  • Runner-Up and "Best Learner" Award, IPC 2014 Learning Track for the planning system Fast Downward Cedalion (PDF) by Jendrik Seipp, Silvan Sievers and Frank Hutter at the 8th International Planning Competition (IPC 2014) at ICAPS 2014.
  • Third Place and "Best Basic Solver" Award, IPC 2014 Learning Track for the planning system Fast Downward SMAC (PDF) by Jendrik Seipp, Silvan Sievers and Frank Hutter at the 8th International Planning Competition (IPC 2014) at ICAPS 2014.
  • Nomination for the Credit Suisse Award for Best Teaching for the course Grundlagen der Künstlichen Intelligenz (Foundations of Artificial Intelligence) by Malte Helmert at University of Basel.
  • AAAI 2014 Outstanding Paper Award Honorable Mention for the paper Generalized Label Reduction for Merge-and-Shrink Heuristics (PDF) by Silvan Sievers, Martin Wehrle and Malte Helmert at the 28th AAAI Conference on Artificial Intelligence (AAAI 2014).
  • Outstanding Senior Program Committee Member Award for Malte Helmert 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) by Florian Pommerening, Gabriele Röger, Malte Helmert and Blai Bonet at the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014).
  • Outstanding PC Member Award for Malte Helmert at the Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2013).
  • Outstanding PC Member Award for Gabriele Röger 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) by Martin Wehrle, Malte Helmert, 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) by Thomas Keller and Malte Helmert 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) by Jordan T. Thayer, J. Benton and Malte Helmert at the Fifth Annual Symposium on Combinatorial Search (SoCS 2012).