Florian Pommerening

Florian Pommerening
Address:
Department of Mathematics and Computer Science
Spiegelgasse 1
CH - 4051 Basel, Switzerland
Room:
04.005
Email:
florian.pommerening@unibas.ch
Phone:
+41 61 207 05 37

I studied Computer Science at the University of Freiburg where I received my Master in 2012. During my studies in Freiburg, I also spend a year in Melbourne where I studied Information Technology at Monash University and received my Master in 2010. Between 2012 and 2017 I completed my PhD under the supervision of Malte Helmert.

My main research interest is classical domain-independent planning. So far, I mostly focused on optimal planning by heuristic search, but I am interested in other areas as well. I am specifically interested in using linear programs and mixed integer programs in planning.

Apart from my research, I work on Fast Downward and also like to program in my free time. For example, I can recommend Project Euler and Python Challenge. Together with Thomas Mayer, I wrote a Quine in SPL.

Tutorials

Publications

(Show all abstracts) (Hide all abstracts)

2017

  • Florian Pommerening, Malte Helmert and Blai Bonet.
    Abstraction Heuristics, Cost Partitioning and Network Flows.
    In Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017), pp. 228-232. 2017.
    (Show abstract) (PDF)

  • Florian Pommerening, Malte Helmert and Blai Bonet.
    Higher-Dimensional Potential Heuristics for Optimal Classical Planning.
    In Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI 2017), pp. 3636-3643. 2017.
    (Show abstract) (PDF) (slides; PDF)

2016

  • Thomas Keller, Florian Pommerening, Jendrik Seipp, Florian Geißer and Robert Mattmüller.
    State-dependent Cost Partitionings for Cartesian Abstractions in Classical Planning.
    In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), pp. 3161-3169. 2016.
    (Show abstract) (PDF) (technical report; PDF)

  • Jendrik Seipp, Florian Pommerening, Gabriele Röger and Malte Helmert.
    Correlation Complexity of Classical Planning Domains.
    In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), pp. 3242-3250. 2016.
    (Show abstract) (PDF) (slides; PDF)

  • Jendrik Seipp, Florian Pommerening, Silvan Sievers, Martin Wehrle, Chris Fawcett and Yusra Alkhazraji.
    Fast Downward Aidos (planner abstract).
    In First Unsolvability International Planning Competition. 2016.
    (PDF)

  • Florian Pommerening and Jendrik Seipp.
    Fast Downward Dead-End Pattern Database (planner abstract).
    In First Unsolvability International Planning Competition. 2016.
    (PDF)

  • Jendrik Seipp, Florian Pommerening, Gabriele Röger and Malte Helmert.
    Correlation Complexity of Classical Planning Domains.
    In Proceedings of the ICAPS-2016 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2016), pp. 12-20. 2016.
    Superseded by the IJCAI 2016 paper by the same name.
    (Show abstract) (PDF) (slides; PDF)

2015

  • Florian Pommerening, Gabriele Röger, Malte Helmert and Blai Bonet.
    Heuristics for Cost-Optimal Classical Planning based on Linear Programming.
    In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), pp. 4303-4309. 2015.
    Note: This paper was invited for submission to the Best Papers From Sister Conferences Track, based on a paper that appeared in the International Conference on Automated Planning and Scheduling (ICAPS) 2014. When referring to this work, please cite the ICAPS 2014 paper instead of this version.
    (Show abstract) (PDF)

  • Sascha Scherrer, Florian Pommerening and Martin Wehrle.
    Improved Pattern Selection for PDB Heuristics in Classical Planning (Extended Abstract).
    In Proceedings of the 8th Annual Symposium on Combinatorial Search (SoCS 2015), pp. 216-217. 2015.
    (Show abstract) (PDF) (poster; PDF)

  • Florian Pommerening and Malte Helmert.
    A Normal Form for Classical Planning Tasks.
    In Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015), pp. 188-192. 2015.
    (Show abstract) (PDF) (slides; PDF)

  • Jendrik Seipp, Florian Pommerening and Malte Helmert.
    New Optimization Functions for Potential Heuristics.
    In Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015), pp. 193-201. 2015.
    (Show abstract) (PDF) (slides; PDF)

  • Florian Pommerening, Malte Helmert, Gabriele Röger and Jendrik Seipp.
    From Non-Negative to General Operator Cost Partitioning.
    In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), pp. 3335-3341. 2015.
    (Show abstract) (PDF) (slides; PDF) (technical report; PDF) (erratum; PDF)

  • Gabriele Röger and Florian Pommerening.
    Linear Programming for Heuristics in Optimal Planning.
    In Proceedings of the AAAI-2015 Workshop on Planning, Search, and Optimization (PlanSOpt), pp. 69-76. 2015.
    (Show abstract) (PDF)

2014

  • Gabriele Röger, Florian Pommerening and Malte Helmert.
    Optimal Planning in the Presence of Conditional Effects: Extending LM-Cut with Context-Splitting.
    In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), pp. 765-770. 2014.
    (Show abstract) (PDF)

  • Gabriele Röger, Florian Pommerening and Jendrik Seipp.
    Fast Downward Stone Soup 2014 (planner abstract).
    In Eighth International Planning Competition (IPC 2014), Deterministic Part, pp. 28-31. 2014.
    (PDF)

  • Yusra Alkhazraji, Michael Katz, Robert Mattmüller, Florian Pommerening, Alexander Shleyfman and Martin Wehrle.
    Metis: Arming Fast Downward with Pruning and Incremental Computation.
    In Eighth International Planning Competition (IPC 2014), Deterministic Part, pp. 88-92. 2014.
    (PDF)

  • Florian Pommerening, Gabriele Röger, Malte Helmert and Blai Bonet.
    LP-based Heuristics for Cost-optimal Planning.
    In Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014), pp. 226-234. 2014.
    (Show abstract) (PDF) (slides; PDF) (poster; PDF)

  • Manuel Heusner, Martin Wehrle, Florian Pommerening and Malte Helmert.
    Under-Approximation Refinement for Classical Planning.
    In Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014), pp. 365-369. 2014.
    (Show abstract) (PDF)

  • Gabriele Röger, Florian Pommerening and Malte Helmert.
    Optimal Planning in the Presence of Conditional Effects: Extending LM-Cut with Context-Splitting.
    In Proceedings of the ICAPS-2014 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP), pp. 80-87. 2014.
    Superseded by the ECAI 2014 paper by the same name.
    (Show abstract) (PDF)

2013

  • Florian Pommerening, Gabriele Röger and Malte Helmert.
    Getting the Most Out of Pattern Databases for Classical Planning.
    In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), pp. 2357-2364. 2013.
    (Show abstract) (PDF) (slides; PDF) (poster; PDF)

  • Florian Pommerening and Malte Helmert.
    Incremental LM-Cut.
    In Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013), pp. 162-170. 2013.
    (Show abstract) (PDF) (slides; PDF)

2012

  • Florian Pommerening and Malte Helmert.
    Optimal Planning for Delete-free Tasks with Incremental LM-cut.
    In Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012), pp. 363-367. 2012.
    (Show abstract) (PDF) (slides; PDF)

2009

  • Florian Pommerening, Stefan Wölfl and Matthias Westphal.
    Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning.
    In Proceedings of the 32nd Annual German Conference on Artificial Intelligence (KI 2009), pp. 468-475. 2009.
    (Show abstract) (PDF)

Awards

  • Outstanding PC Member Award at the 9th Annual Symposium on Combinatorial Search (SoCS 2016).
  • Winner, Unsolvability IPC 2016 for the planning system Fast Downward Aidos (PDF) with Jendrik Seipp, 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) with Malte Helmert, Gabriele Röger and Jendrik Seipp at the 29th AAAI Conference on Artificial Intelligence (AAAI 2015).
  • ICAPS 2014 Outstanding Paper Award for the paper LP-based Heuristics for Cost-optimal Planning (PDF) with Gabriele Röger, Malte Helmert and Blai Bonet at the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014).
  • Dux of the Master of Information Technology 2010 at Monash University.