Uni-Logo

Publikationen

Vollständige Liste der Publikationen

Aktuelle Veröffentlichungen (letzte 12 Monate):

(Alle Abstracts einblenden) (Alle Abstracts ausblenden)

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

  • David Speck, Florian Geißer und 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.
    (Abstract einblenden) (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.
    (Abstract einblenden) (PDF)

  • Florian Geißer, David Speck und 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). 2020.
    To appear.
    (Abstract einblenden) (PDF)

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

  • Gregor Behnke, Pascal Bercher, Matthias Kraus, Marvin Schiller, Kristof Mickeleit, Häge Timo, Michael Dorna, Michael Dambier, Wolfgang Minker, Birte Glimm und 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), S. 114-122. 2020.
    (PDF)

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

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

  • David Speck, Robert Mattmüller und Bernhard Nebel.
    Symbolic Top-k Planning.
    In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020). 2020.
    To appear.
    (Abstract einblenden) (PDF)

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

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

  • Felix Lindner und 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 und Bernhard Nebel.
    Epistemic Multi-agent Planning Using Monte-Carlo Tree Search.
    In KI 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, S. 277-289. 2019.

  • Sumitra Corraya, Florian Geißer, David Speck und 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), S. 123-130. 2019.
    (Abstract einblenden) (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.
    (Abstract einblenden) (PDF)

  • Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmüller und .
    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), S. 6372-6374. 2019.

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

  • Florian Geißer, David Speck und 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), S. 27-35. 2019.
    (Abstract einblenden) (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.
    (Abstract einblenden) (PDF)

  • Thorsten Engesser und 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.
    (Abstract einblenden)

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

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