Thomas Bolander

Thomas Bolander

Professor

DTU COMPUTE
Institut for Matematik og Computer Science

Danmarks Tekniske Universitet

Richard Petersens Plads

Bygning 322, rum 022

2800 Kgs. Lyngby

Tlf.
Fax 45 93 00 74
E-mail tobo@dtu.dk
ORCID 0000-0003-1551-1703
Hjemmeside

Få tilsendt vCard på e-mail.

Profil
Publikationer
Projekter
Kurser
CV
DTU nyheder
Loading

Publikationer 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 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     |    År: 2016     |    DOI: https://doi.org/10.1007/s10849-015-9234-3