Uni-Logo

Publikationen

Vollständige Liste der Publikationen

Aktuelle Veröffentlichungen (letzte 12 Monate):

(Alle Abstracts einblenden) (Alle Abstracts ausblenden)

  • Pascal Bachor, Rolf-David Bergdoll und Bernhard Nebel.
    The Multi-Agent Transportation Problem.
    In Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI 2023). 2023.
    (Abstract einblenden)

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

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

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

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