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

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

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

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

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

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

2015
  PDF

Completeness and Termination for a Seligman-style Tableau System

Blackburn, Patrick Rowan ; Bolander, Thomas ; Braüner, Torben ; Jørgensen, Klaus Frovin
in: Journal of Logic and Computation, vol: 27, issue: 1, pages: 81-107

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: https://doi.org/10.1093/logcom/exv052

  PDF

Don't Plan for the Unexpected: Planning Based on Plausibility Models

Andersen, Mikkel Birkegaard ; Bolander, Thomas ; Jensen, Martin Holm
in: Logique et Analyse, vol: 58, issue: 230, pages: 145-176

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2015

2011
 

Epistemic planning for single- and multi-agent systems

Bolander, Thomas ; Andersen, Mikkel Birkegaard
in: Journal of Applied Non-Classical Logics, vol: 21, issue: 1, pages: 9-34

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2011     |    DOI: https://doi.org/10.3166/jancl.21.9-34