Thomas Bolander

Thomas Bolander

Associate Professor

DTU COMPUTE
Department of Applied Mathematics and Computer Science

Technical University of Denmark

Richard Petersens Plads

Building 322, room 022

2800 Kgs. Lyngby

Ph.
Fax +45 45 93 00 74
E-mail tobo@dtu.dk
Home page

Request a vCard via e-mail.

Profile
Courses
CV
DTU news
Loading

Publications rss feed

2019
  PDF

Implicitly coordinated multi-agent path finding under destination uncertainty: Success guarantees and computational complexity

Nebel, Bernhard ; Bolander, Thomas ; Engesser, Thorsten ; Mattmüller, Robert
in: Journal of Artificial Intelligence Research, vol: 64, pages: 497-527

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1613/jair.1.11376

 

The Dynamic Logic of Policies and Contingent Planning

Bolander, Thomas ; Engesser, Thorsten ; Herzig, Andreas ; Mattmüller, Robert ; Nebel, Bernhard
part of: Proceedings of European Conference on Logics in Artificial Intelligence, pages: 659-74, 2019, Springer
Presented at:
European Conference on Logics in Artificial Intelligence

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1007/978-3-030-19570-0_43

2018
 

Many-valued hybrid logic

Hansen, Jens Ulrik ; Bolander, Thomas ; Braüner, Torben
in: Journal of Logic and Computation, vol: 28, issue: 5, pages: 883-908

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2018     |    DOI: https://doi.org/10.1093/logcom/exv040

2017
  PDF

A gentle introduction to epistemic planning: The DEL approach

Bolander, Thomas
in: Electronic Proceedings in Theoretical Computer Science, vol: 243, pages: 1-22
Presented at:
9th Workshop on Methods for Modalities

Type: Conference article (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: https://doi.org/10.4204/EPTCS.243.1

  PDF

Cooperative epistemic multi-agent planning for implicit coordination

Engesser, Thorsten ; Bolander, Thomas ; Mattmüller, Robert ; Nebel, Bernhard
in: Electronic Proceedings in Theoretical Computer Science, vol: 243, pages: 75-90
Presented at:
9th Workshop on Methods for Modalities

Type: Conference article (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: https://doi.org/10.4204/EPTCS.243.6

  PDF

Epistemic Planning

Baral, Chitta ; Bolander, Thomas ; van Ditmarsch, Hans ; McIlraith, Sheila

Type: Report (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: https://doi.org/10.4230/DagRep.7.6.1

  PDF

Learning to Act: Qualitative Learning of Deterministic Action Models

Bolander, Thomas ; Gierasimczuk, Nina
in: Journal of Logic and Computation, vol: 28, issue: 2, pages: 337-365

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: https://doi.org/10.1093/logcom/exx036

2016
  PDF

Announcements to Attentive Agents

Bolander, Thomas ; van Ditmarsch, Hans ; Herzig, Andreas ; Lorini, Emiliano ; Pardo, Pere ; Schwarzentruber, Francois
in: Journal of Logic, Language and Information, vol: 25, issue: 1, pages: 1-35

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2016     |    DOI: https://doi.org/10.1007/s10849-015-9234-3

  PDF

Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination

Bolander, Thomas ; Engesser, Thorsten ; Mattmüller, Robert ; Nebel, Bernhard
part of: Proceedings of the 4th Workshop on Distributed and Multi-Agent Planning (DMAP-16), pages: 42-49, 2016
Presented at:
26th International Conference on Automated Planning and Scheduling (ICAPS 2016)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2016

  PDF

Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief

Andersen, Mikkel Birkegaard ; Bolander, Thomas ; van Ditmarsch, Hans ; Jensen, Martin Holm
in: Synthese, vol: 194, issue: 7, pages: 2447-2487

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2016     |    DOI: https://doi.org/10.1007/s11229-016-1060-x