Uni-Logo

Publications

Complete list of publications

Recent publications (last 12 months):

(Show all abstracts) (Hide all abstracts)

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

  • Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmüller and .
    Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmüller: 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.

  • Tim Schulte and Bernhard Nebel.
    Trial-based Heuristic Tree-search for Distributed Multi-Agent Planning.
    In Proceedings of the Twelth Annual Symposium on Combinatorial Search (SoCS 2019). 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)

  • Bernhard Nebel, Thomas Bolander, Thorsten Engesser and Robert Mattmüller.
    Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity.
    Journal of Artificial Intelligence Research 64, pp. 497-527. 2019.
    (Show abstract) (PDF)

  • Felix Lindner, Robert Mattmüller and Bernhard Nebel.
    Moral Permissibility of Action Plans.
    In Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19). 2019.
    (PDF)

  • Florian Geißer.
    On planning with state-dependent action costs.
    FreiDok plus 2018.
    Dissertation Thesis.
    (PDF)