Uni-Logo

Manuela Ortlieb – Publications

(Show all abstracts) (Hide all abstracts)

2015

  • David Speck, Manuela Ortlieb and Robert Mattmüller.
    Necessary Observations in Nondeterministic Planning.
    In Proceedings of the 38th German Conference on Artificial Intelligence (KI 2015). 2015.
    (Show abstract) (PDF) (BIB)

  • Jonas Thiem, Robert Mattmüller and Manuela Ortlieb.
    Counterexample-Guided Abstraction Refinement for POND Planning.
    In Proceedings of the ICAPS-2015 Workshop on Model Checking and Automated Planning (MOCHAP 2015). 2015.
    (Show abstract) (PDF) (BIB)

2014

  • Robert Mattmüller, Manuela Ortlieb and Erik Wacker.
    Minimizing Necessary Observations for Nondeterministic Planning.
    In Proceedings of the 37th German Conference on Artificial Intelligence (KI 2014). 2014.
    (Show abstract) (PDF)

  • Andreas Hertle, Christian Dornhege, Thomas Keller, Robert Mattmüller, Manuela Ortlieb and Bernhard Nebel.
    An Experimental Comparison of Classical, FOND and Probabilistic Planning.
    In Proceedings of the 37th German Conference on Artificial Intelligence (KI 2014), pp. 297-308. Springer 2014.
    (Show abstract) (PDF) (BIB)

2013

  • Manuela Ortlieb and Robert Mattmüller.
    Pattern-Database Heuristics for Partially Observable Nondeterministic Planning.
    In Proceedings of the 36th German Conference on Artificial Intelligence (KI 2013). 2013.
    (Show abstract) (PDF) (slides; PDF)

2012

  • Silvan Sievers, Manuela Ortlieb and Malte Helmert.
    Efficient Implementation of Pattern Database Heuristics for Classical Planning.
    In Proceedings of the Fifth Annual Symposium on Combinatorial Search (SoCS 2012), pp. 105-111. AAAI Press 2012.
    (Show abstract) (PDF)

2010

  • Robert Mattmüller, Manuela Ortlieb, Malte Helmert and Pascal Bercher.
    Pattern Database Heuristics for Fully Observable Nondeterministic Planning.
    In Ronen Brafman, Héctor Geffner, Jörg Hoffmann and Henry Kautz (eds.), Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010), pp. 105-112. AAAI Press 2010.
    (Show abstract) (PDF) (slides; PDF) (BIB)