Uni-Logo

Publications

Complete list of publications

Recent publications (last 12 months):

(Show all abstracts) (Hide all abstracts)

  • 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)

  • 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. 2020.
    To appear.
    (Show abstract) (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)

  • 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). 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.

  • Florian Geißer, David Speck and Thomas Keller.
    Trial-based Heuristic Tree Search for MDPs with Factored Action Spaces.
    In Proceedings of the 13th Annual Symposium on Combinatorial Search (SoCS 2020), pp. 38-47. 2020.
    (Show abstract) (PDF)

  • David Speck, Robert Mattmüller and Bernhard Nebel.
    Symbolic Top-k Planning.
    In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), pp. 9967-9974. 2020.
    (Show abstract) (PDF)

  • Daniel Höller, Pascal Bercher, Gregor Behnke and Susanne Biundo.
    HTN Planning as Heuristic Progression Search.
    Journal of Artificial Intelligence Research, pp. 835-880. 2020.

  • Gregor Behnke, Pascal Bercher, Matthias Kraus, Marvin Schiller, Kristof Mickeleit, Häge Timo, Michael Dorna, Michael Dambier, Wolfgang Minker, Birte Glimm and Susanne Biundo.
    New Developments for Robert - Assisting Novice Users Even Better in DIY Projects.
    In Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), pp. 343-347. 2020.
    (PDF)

  • Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier and Ron Alford.
    HDDL - A Language to Describe Hierarchical Planning Problems.
    In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), pp. 6-17. 2020.
    (PDF)

  • Gregor Behnke, Daniel Höller, Alexander Schmid, Pascal Bercher and Susanne Biundo.
    On Succinct Groundings of HTN Planning Problems.
    In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020). 2020.
    (Show abstract) (PDF)

  • Thorsten Engesser and Tim Miller.
    Implicit Coordination Using FOND Planning.
    In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI-20). 2020.
    To appear.
    (Show abstract) (PDF)

  • Felix Lindner, Barbara Kuhnert, Laura Wächter and Katrin Möllney.
    Perception of Creative Responses to Moral Dilemmas by a Conversational Robot.
    In Proc. ICSR 2019. 2019.
    (PDF)