Uni-Logo

Publications

Complete list of publications

Recent publications (last 12 months):

(Show all abstracts) (Hide all abstracts)

  • Pascal Bercher, Gregor Behnke, Matthias Kraus, Marvin Schiller, Dietrich Manstetten, Michael Dambier, Michael Dorna, Wolfgang Minker, Birte Glimm and 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.
    (Show abstract)

  • 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). 2021.
    (Show abstract) (PDF)

  • Daniel Höller and Gregor Behnke.
    Loop Detection in the PANDA Planning System.
    In Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021). 2021.
    (Show abstract) (PDF)

  • David Speck, David Borukhson, Robert Mattmüller and 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). 2021.
    (Show abstract) (PDF)

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

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

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

  • David Speck and Michael Katz.
    Symbolic Search for Oversubscription Planning.
    In Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI 2021). 2021.
    (Show abstract) (PDF)

  • Gregor Behnke and David Speck.
    Symbolic Search for Optimal Total-Order HTN Planning.
    In Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI 2021). 2021.
    (Show abstract) (PDF)

  • Patrick Caspari, Robert Mattmüller and Tim Schulte.
    A Framework to Prove Strong Privacy in Multi-Agent Planning.
    In Proceedings of the 6th Workshop on Distributed and Multi-Agent Planning (DMAP 2020), pp. 32-39. 2020.
    (PDF)

  • David Speck, André Biedenkapp, Frank Hutter, Robert Mattmüller and Marius Lindauer.
    Learning Heuristic Selection with Dynamic Algorithm Configuration.
    In Proceedings of the Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL 2020), p. 61–69. 2020.
    Superseded by the ICAPS 2021 paper by the same authors.
    (Show abstract) (PDF)

  • Dominik Drexler, David Speck and Robert Mattmüller.
    Subset-Saturated Transition Cost Partitioning for Optimal Classical Planning.
    In Proceedings of the 12th Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP 2020), p. 23–31. 2020.
    Superseded by the ICAPS 2021 paper "Subset-Saturated Transition Cost Partitioning".
    (Show abstract) (PDF)

  • Thorsten Engesser, Robert Mattmüller, Bernhard Nebel and Felicitas Ritter.
    Token-based Execution Semantics for Multi-Agent Epistemic Planning.
    In Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR-2020), pp. 351-360. 2020.

  • Thorsten Engesser, Robert Mattmüller, Bernhard Nebel and Felicitas Ritter.
    Token-based Execution Semantics for Multi-Agent Epistemic Planning.
    In Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR-2020), pp. 351-360. 2020.
    (Show abstract) (Online; PDF)

  • Matthias Kraus, Marvin Schiller, Gregor Behnke, Pascal Bercher, Michael Dorna, Michael Dambier, Birte Glimm, Susanne Biundo and Wolfgang Minker.
    ``Was that successful?'' On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues.
    In Proceedings of the 2020 International Conference on Multimodal Interaction (ICMI 2020). 2020.
    (PDF)

  • Lukas Berger, Bernhard Nebel and Marco Ragni.
    A Heuristic Agent in Multi-Agent Path Finding Under Destination Uncertainty.
    In KI 2020: Advances in Artificial Intelligence - 43rd German Conference on AI,, pp. 259-266. 2020.
    (Show abstract)

  • Daniel Höller, Pascal Bercher, Gregor Behnke and Susanne Biundo.
    HTN Plan Repair via Model Transformation.
    In Proceedings of the 42+1st Annual German Conference on Artificial Intelligence (KI 2020). 2020.
    (PDF)

  • Daniel Höller, Pascal Bercher and Gregor Behnke.
    Delete- and Ordering-Relaxation Heuristics for HTN Planning.
    In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI 2020). 2020.

  • Felix Lindner, Robert Mattmüller and Bernhard Nebel.
    Evaluation of the Moral Permissibility of Action Plans.
    Artificial Intelligence 287. 2020.
    (Show abstract) (PDF)

  • Bernhard Nebel.
    On the Computational Complexity of Multi-Agent Pathfinding on Directed Graphs.
    In Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), pp. 212-216. 2020.
    (Show abstract) (Online; PDF)

  • David Speck, Florian Geißer and Robert Mattmüller.
    When Perfect is not Good Enough: On the Search Behaviour of Symbolic Heuristic Search.
    In Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), pp. 263-271. 2020.
    (Show abstract) (PDF)

  • Roman Bartak, Simona Ondrckova, Adrien Maillard, Gregor Behnke and Pascal Bercher.
    A Novel Parsing-based Approach for Verification of Hierarchical Plans.
    In Proceedings of the 32nd International Conference on Tools with Artificial Intelligence (ICTAI 2020). 2020.