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
 

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

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

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

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

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

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

2014
  PDF

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

Bolander, Thomas
part of: Proceedings of the European Conference on Social Intelligence (ECSI-2014), pages: 87-107 , 2014
Presented at:
European Conference on Social Intelligence (ECSI 2014)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2014

2013
 

A Seligman-Style Tableau System

Blackburn, Patrick Rowan ; Bolander, Thomas ; Braüner, Torben ; Jørgensen, Klaus Frovin
part of: Logic for Programming, Artificial Intelligence, and Reasoning, pages: 147-163, 2013, Springer
Presented at:
19th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2013)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2013     |    DOI: https://doi.org/10.1007/978-3-642-45221-5_11