Uni-Logo

Thorsten Engesser – Publications

(Show all abstracts) (Hide all abstracts)

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.

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

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

2019

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

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

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

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

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

2018

  • Thomas Bolander, Thorsten Engesser, Robert Mattmüller and Bernhard Nebel.
    Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination.
    In Proceedings of the Sixteenth Conference on Principles of Knowledge Representation and Reasoning (KR18), pp. 445-453. 2018.
    (Show abstract) (PDF)

  • Thorsten Engesser, Robert Mattmüller, Bernhard Nebel and Michael Thielscher.
    Game Description Language and Dynamic Epistemic Logic Compared.
    In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI 2018), pp. 1795-1802. 2018.
    (Show abstract) (PDF)

  • Bernhard Nebel, Thomas Bolander, Thorsten Engesser and Robert Mattmüller.
    Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty.
    Technical Report 287, Institut für Informatik, Albert-Ludwigs-Universität, 2018.
    (Show abstract) (PDF)

2017

  • Thorsten Engesser, Thomas Bolander, Robert Mattmüller and Bernhard Nebel.
    Cooperative Epistemic Multi-Agent Planning for Implicit Coordination.
    In Proceedings of the Ninth Workshop on Methods for Modalities (M4M 2017). 2017.
    (Show abstract) (PDF) (BIB)

2016

  • Thomas Bolander, Thorsten Engesser, Robert Mattmüller and Bernhard Nebel.
    Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination.
    In Proceedings of the ICAPS-2016 Workshop on Distributed and Multi-Agent Planning (DMAP 2016). 2016.
    Superseded by the KR18 paper by the same authors.
    (Show abstract) (PDF) (BIB)

2015

  • Thorsten Engesser, Thomas Bolander, Robert Mattmüller and Bernhard Nebel.
    Cooperative Epistemic Multi-Agent Planning With Implicit Coordination.
    In Proceedings of the ICAPS-2015 Workshop on Distributed and Multi-Agent Planning (DMAP 2015). 2015.
    Superseded by the M4M 2017 paper by the same authors.
    (Show abstract) (PDF) (BIB)