Uni-Logo

Publikationen

Vollständige Liste der Publikationen

Aktuelle Veröffentlichungen (letzte 12 Monate):

(Alle Abstracts einblenden) (Alle Abstracts ausblenden)

  • Roman Barták, Simona Ondrčková, Gregor Behnke und 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 und 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 und Pascal Bercher.
    On the Verification of Totally-Ordered HTN Plans.
    In Proceedings of the Fourth ICAPS Workshop on Hierarchical Planning, S. 44-48. 2021.
    (PDF)

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

  • Pascal Bercher, Gregor Behnke, Matthias Kraus, Marvin Schiller, Dietrich Manstetten, Michael Dambier, Michael Dorna, Wolfgang Minker, Birte Glimm und Susanne Biundo.
    Do It Yourself, but Not Alone: Companion-Technology for Home Improvement - Bringing a Planning-Based Interactive DIY Assistant to Life.
    Künstliche Intelligenz -- Special Issue on NLP and Semantics. 2021.
    (Abstract einblenden)

  • Gregor Behnke.
    Block Compression and Invariant Pruning for SAT-based Totally-Ordered HTN Planning.
    In Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), S. 25-35. 2021.
    (Abstract einblenden) (PDF)

  • Daniel Höller und Gregor Behnke.
    Loop Detection in the PANDA Planning System.
    In Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), S. 168-173. 2021.
    (Abstract einblenden) (PDF)

  • David Speck, David Borukhson, Robert Mattmüller und Bernhard Nebel.
    On the Compilability and Expressive Power of State-Dependent Action Costs.
    In Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), S. 358-366. 2021.
    (Abstract einblenden) (PDF)

  • David Speck, André Biedenkapp, Frank Hutter, Robert Mattmüller und Marius Lindauer.
    Learning Heuristic Selection with Dynamic Algorithm Configuration.
    In Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), S. 597-605. 2021.
    (Abstract einblenden) (PDF)

  • Dominik Drexler, Jendrik Seipp und David Speck.
    Subset-Saturated Transition Cost Partitioning.
    In Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), S. 131-139. 2021.
    (Abstract einblenden) (PDF)

  • Thorsten Engesser, Robert Mattmüller, Bernhard Nebel und Michael Thielscher.
    Game description language and dynamic epistemic logic compared.
    Artificial Intelligence 292. 2021.
    (Abstract einblenden)

  • Daniel Höller, Gregor Behnke, Pascal Bercher und Susanne Biundo.
    The PANDA Framework for Hierarchical Planning.
    KI - Künstliche Intelligenz. 2021.
    (Online)

  • David Speck und Michael Katz.
    Symbolic Search for Oversubscription Planning.
    In Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI 2021), S. 11972-11980. 2021.
    (Abstract einblenden) (PDF)

  • Gregor Behnke und David Speck.
    Symbolic Search for Optimal Total-Order HTN Planning.
    In Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI 2021), S. 11744–11754. 2021.
    (Abstract einblenden) (PDF)