Uni-Logo

Thorsten Engesser – Publikationen

(Alle Abstracts einblenden) (Alle Abstracts ausblenden)

2021

  • Thorsten Engesser, Robert Mattmüller, Bernhard Nebel und Michael Thielscher.
    Game description language and dynamic epistemic logic compared.
    Artificial Intelligence 292. 2021.
    (Abstract einblenden) (Online; DOI)

2020

  • Thorsten Engesser, Robert Mattmüller, Bernhard Nebel und 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), S. 351-360. 2020.
    (Abstract einblenden) (Online; 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)

2019

  • 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.
    (Abstract einblenden) (Online; DOI)

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

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

  • 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) (Online; DOI)

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

2018

  • Thomas Bolander, Thorsten Engesser, Robert Mattmüller und 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), S. 445-453. 2018.
    (Abstract einblenden) (PDF)

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

2017

  • Thorsten Engesser, Thomas Bolander, Robert Mattmüller und Bernhard Nebel.
    Cooperative Epistemic Multi-Agent Planning for Implicit Coordination.
    In Ghosh, Sujata and Ramanujam und R. (Hrsg.), Proceedings of the Ninth Workshop on Methods for Modalities (M4M 2017), S. 75-90. 2017.
    (Abstract einblenden) (Online; PDF) (BIB)

2016

  • Thomas Bolander, Thorsten Engesser, Robert Mattmüller und 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.
    (Abstract einblenden) (PDF) (BIB)

2015

  • Thorsten Engesser, Thomas Bolander, Robert Mattmüller und 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.
    (Abstract einblenden) (PDF) (BIB)