Thomas Bolander

Thomas Bolander

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 +4545 93 00 74
E-mail tobo@dtu.dk
ORCID 0000-0003-1551-1703
Home page

Request a vCard via e-mail.

Profile
Publications
Projects
Courses
CV
DTU news
Loading

Publications rss feed

2019
  PDF

AI, MEDIER OG DEMOKRATI: Sådan styrker vi vores demokratiske immunforsvar

Knudsen, Lisbeth ; Werge, Lars ; Blaagaard, Christina ; Albrechtsen, Thomas ; Bechmann, Anja ; Kürstein, Benjamin ; Petersen, Thomas Damkjær ; Hvid, Anders ; Ploug, Thomas ; Bolander, Thomas ; Bodskov, Henrik ; Simonsen, Kim ; Munk, Grit ; Langhorn, Anna

Type: Report

Status: Published     |    Year: 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
  PDF

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

 

Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic

Bolander, Thomas
part of: Jaakko Hintikka on Knowledge and Game-Theoretical Semantics, pages: 207-236, 2019, Springer

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2018     |    DOI: https://doi.org/10.1007/978-3-319-62864-6_8

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