Uni-Logo

Publications

Complete list of publications

Recent publications (last 12 months):

(Show all abstracts) (Hide all abstracts)

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

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

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

  • David Speck, Robert Mattmüller and Bernhard Nebel.
    Symbolic Top-k Planning.
    In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI-20). 2020.
    To appear.
    (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)

  • Felix Lindner and Katrin Möllney.
    Extracting Reasons for Moral Judgments under Various Ethical Principles.
    In Proceedings of KI 2019. 2019.
    (PDF)

  • Daniel Reifsteck, Thorsten Engesser, Robert Mattmüller and Bernhard Nebel.
    Epistemic Multi-agent Planning Using Monte-Carlo Tree Search.
    In KI 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, pp. 277-289. 2019.

  • Sumitra Corraya, Florian Geißer, David Speck and Robert Mattmüller.
    An Empirical Study of the Usefulness of State-Dependent Action Costs in Planning.
    In Proceedings of the 42th German Conference on Artificial Intelligence (KI 2019), pp. 123-130. 2019.
    (Show abstract) (PDF; Online)

  • Tim Schulte.
    Trial-based Heuristic Tree-search for Distributed Multi-Agent Planning.
    In Proceedings of the Twelfth Annual Symposium on Combinatorial Search (SoCS 2019) (SoCS 2019). 2019.
    (Show abstract) (PDF)

  • Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmüller and .
    Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (Extended Abstract).
    In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI 2019), pp. 6372-6374. 2019.

  • Benedict Wright.
    Workflow Generation with Planning.
    FreiDok plus 2019.
    Dissertation Thesis.
    (PDF)

  • Florian Geißer, David Speck and Thomas Keller.
    An Analysis of the Probabilistic Track of the IPC 2018.
    In Proceedings of the ICAPS-2019 Workshop on the International Planning Competition (WIPC 2019), pp. 27-35. 2019.
    (Show abstract) (PDF)

  • Bernhard Nebel.
    Some Thoughts on Forward Induction in Multi-Agent-Path Finding Under Destination Uncertainty.
    In Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Springer-Verlag, Berlin, Heidelberg, New York 2019.
    (Show abstract) (PDF)

  • Thorsten Engesser and Tim Miller.
    Planning for Implicit Coordination using FOND.
    In Proceedings of the Workshop on Knowledge Engineering for Planning and Scheduling (KEPS19). 2019.
    Superseded by the AAAI-20 paper by the same authors.
    (Show abstract)

  • David Speck, Florian Geißer, Robert Mattmüller and Álvaro Torralba.
    Symbolic Planning with Axioms.
    In Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), pp. 464-572. 2019.
    (Show abstract) (PDF)

  • Thomas Bolander, Thorsten Engesser, Andreas Herzig, Robert Mattmüller and Bernhard Nebel.
    The Dynamic Logic of Policies and Contingent Planning.
    In Logics in Artificial Intelligence - 16th European Conference (JELIA-2019), pp. 659-674. 2019.
    (Show abstract)

  • Hanna Stellmach and Felix Lindner.
    Perception of an Uncertain Ethical Reasoning Robot.
    Journal of Interactive Media 18(1). 2019.

  • Daniel Kuhner, Lukas D.J. Fiederer, Johannes Aldinger, Felix Burget, Martin Völker, Robin T. Schirrmeister, Chau Do, Joschka Boedecker, Bernhard Nebel, Tonio Ball and Wolfram Burgard.
    A service assistant combining autonomous robotics, flexible goal formulation, and deep-learning-based brain–computer interfacing.
    Robotics and Autonomous Systems 116, pp. 98-113. 2019.
    (Show abstract)