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

2016
  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

  PDF

Synthetic Completeness Proofs for Seligman-style Tableau Systems

Jørgensen, Klaus Frovin ; Blackburn, Patrick Rowan ; Bolander, Thomas ; Braüner, Torben
part of: Proceedings of Advances in Modal Logic (AiML 2016), 2016, College Publications
Presented at:
Advances in Modal Logic 2016

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2016

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

Complexity Results in Epistemic Planning

Bolander, Thomas ; Jensen, Martin Holm ; Schwarzentruber, Francois
part of: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), pages: 2791-2797, 2015, AAAI Press
Presented at:
24th International Joint Conference on Artificial Intelligence

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2015

  PDF

Cooperative Epistemic Multi-Agent Planning With Implicit Coordination

Engesser, Thorsten ; Bolander, Thomas ; Mattmüller, Robert ; Nebel, Bernhard
part of: ICAPS Proceedings of the 3rd Workshop on Distributed and Multi-Agent Planning (DMAP-2015), pages: 68-76, 2015
Presented at:
3rd Workshop on Distributed and Multi-Agent Planning (DMAP-15)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2015

  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

 

Hvornår skal vi blive bange?

Johansen, Mikkel W. ; Bolander, Thomas
in: Weekendavisen, vol: 43, pages: 5

Type: Contribution to newspaper - Newspaper article

Status: Published     |    Year: 2015

 

Kursusudvikling gennem systematisk evaluering

Bolander, Thomas
part of: Universitetspædagogiske praksisser, pages: 283-300, 2015, Samfundslitteratur

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2015

  PDF

Learning Actions Models: Qualitative Approach

Bolander, Thomas ; Gierasimczuk, Nina
part of: Proceedings of the 5th International Workshop on Logic, Rationality, and Interaction (LORI 2015), pages: 40-52, 2016, Springer
Presented at:
5th International Workshop on Logic, Rationality, and Interaction (LORI 2015)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: https://doi.org/10.1007/978-3-662-48561-3_4