Uni-Logo

Publications

Complete list of publications

Recent publications (last 12 months):

(Show all abstracts) (Hide all abstracts)

  • David Speck and Jendrik Seipp.
    New Refinement Strategies for Cartesian Abstractions.
    In Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022). 2022.
    (Show abstract) (PDF)

  • Julian von Tschammer, Robert Mattmüller and David Speck.
    Loopless Top-k Planning.
    In Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022). 2022.
    (Show abstract) (PDF)

  • David Speck.
    Symbolic Search for Optimal Planning with Expressive Extensions.
    FreiDok plus 2022.
    PhD Thesis.
    (Show abstract) (PDF)

  • Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel and Marcel Steinmetz.
    Expressivity of Planning with Horn Description Logic Ontologies.
    In Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022). 2022.
    (Show abstract) (Online; PDF)

  • Roman Barták, Simona Ondrčková, Gregor Behnke and Pascal Bercher.
    Correcting Hierarchical Plans by Action Deletion.
    In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR-2021). 2021.
    (PDF)

  • Roman Barták, Simona Ondrčková, Gregor Behnke and Pascal Bercher.
    Correcting Hierarchical Plans by Action Deletion.
    In Proceedings of the Fourth ICAPS Workshop on Hierarchical Planning. 2021.
    (PDF)

  • Roman Barták, Simona Ondrčková, Gregor Behnke and Pascal Bercher.
    On the Verification of Totally-Ordered HTN Plans.
    In Proceedings of the Fourth ICAPS Workshop on Hierarchical Planning, pp. 44-48. 2021.
    (PDF)

  • Daniel Höller, Julia Whichlacz, Pascal Bercher and Gregor Behnke.
    Compiling HTN Plan Verification Problems into HTN Planning Problems.
    In Proceedings of the Fourth ICAPS Workshop on Hierarchical Planning, pp. 8-15. 2021.
    (PDF)