Thomas Bolander
Thomas Bolander
Professor in logic and AI
DTU Compute, Technical University of Denmark (DTU)
DTU Compute DTU

Research publications

  1. Gaia Belardinelli, Thomas Bolander, Paolo Galeazzi, Jens Ulrik Hansen, Andreas Herzig, Dominik Klein, Emiliano Lorini, Mina Young Pedersen, Frederik Van De Putte Fernando R. Vélazquez-Quesada. Social Logic: Logic for Modeling Social Phenomena. To appear in Synthese, 2026.
  2. Thomas Bolander. PDL restrictions, belief revision and abduction in DEL [postprint pdf (added acknowledgement of Hermine Grosinger)]. In Festschrift for Andreas Herzig on the Occasion of his 65th Birthday, Tributes, Vol. 55, College Publications, 2025.
  3. Thomas Bolander, Alessandro Burigana, Marco Montali. Depth-Bounded Epistemic Planning [extended version (on Arxiv)]. In Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), 2025.
  4. Gaia Belardinelli, Thomas Bolander, Sebastian Watzl. A Logic of General Attention Using Edge-Conditioned Event Models [extended version (on Arxiv)]. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 2025.
  5. Thomas Bolander. Self-Reference and Paradox. Entry in the Stanford Encyclopedia of Philosophy, CSLI, Stanford University, 2024. (Substantially revised version of my original entry on Self-Reference from 2008.)
  6. Thomas Bolander, Alessandro Burigana. Better Bounded Bisimulation Contractions [preprint pdf]. In Proceedings of Advances in Modal Logic 2024 (AiML-2024), College Publications, 2024.
  7. Thomas Bolander, Nina Gierasimczuk, Andrés Occhipinti Liberman. Learning to Act and Observe in Partially Observable Domains [arxiv preprint | publisher link]. Chapter in Outstanding Contributions to Logic, volume 28: Dick de Jongh on Intuitionistic and Provability Logics, Springer, 2024.
  8. Gaia Belardinelli, Thomas Bolander. A Dynamic Epistemic Logic of Attention With Attention Change and Limits on Attentional Capacities. Extended abstract, LOGICA 2023.
  9. Gaia Belardinelli, Thomas Bolander. Attention! Dynamic Epistemic Logic Models of (In)attentive Agents [extended version on Arxiv]. AAMAS 2023.
  10. Vaishak Belle, Thomas Bolander, Andreas Herzig, Bernhard Nebel. Epistemic Planning: Perspectives on the Special Issue [publisher pdf | published pdf ]. Artificial Intelligence 316, 2023.
  11. Vaishak Belle, Thomas Bolander, Andreas Herzig, Bernhard Nebel (eds). Epistemic Planning. Special issue of Artificial Intelligence (AIJ), 2023.
  12. Thomas Bolander, Arnaud Lequen. Parameterized Complexity of Dynamic Belief Updates: A Complete Map [preprint pdf | link to published pdf]. Journal of Logic and Computation, 2022.
  13. Thomas Bolander, Lasse Dissing, Nicolai Herrmann. DEL-based Epistemic Planning for Human-Robot Collaboration: Theory and Implementation [published pdf | supplementary material ]. Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021).
  14. Thomas Bolander, Arnaud Lequen. Parametrized Complexity of Dynamic Belief Updates [publisher link | pdf]. In Proceedings of Dynamic Logic: New Trends and Applications (DaLí), 2020. Electronic Notes in Computer Science, vol 12569 2020.
  15. Nicolai Herrmann, Lasse Dissing, Thomas Bolander. An Algorithm for Implicitly Coordinated Epistemic Planning Using Dynamic Epistemic Logic. In Proceedings of the ICAPS workshop Epistemic Planning (EpiP), 2020.
  16. Frederik Drachmann, Andrea Dittadi, Thomas Bolander. Planning from Pixels in Atari with Learned Symbolic Representations [pdf | arxiv version]. In Proceedings of the 35th AAAI Conference on Artificial Intelligence, 2021.
  17. Thomas Bolander, Robin Engelhardt, Thomas S. Nicolet. The Curse of Shared Knowledge: Recursive Belief Reasoning in a Coordination Game with Imperfect Information [preprint pdf]. Submitted for publication, 2020.
  18. Thomas Bolander. Kompetencer - forskning og uddannelse. Chapter in SIRI-Kommissionen: Hvad skal vi med AI?, final report of the SIRI commission (SIRI-Kommissionen), June 2020.
  19. Thomas Bolander, Tristan Charrier, Sophie Pinchinat, Francois Schwarzentruber. DEL-based epistemic planning: Decidability and complexity [publisher link]. Artificial Intelligence Journal (AIJ), 287:1-34, 2020.
  20. Thomas Bolander, Jacob Pjetursson. Synthesizing human-friendly optimal strategies in board games [pdf | video]. In Proceedings of the 2020 IEEE Conference on Games (CoG), 2020.
  21. Lasse Dissing, Thomas Bolander. Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic [proceedings pdf | preprint pdf]. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), 2020.
  22. Thomas Bolander. What do we lose when machines take the decisions? [publisher link | pdf]. Journal of Management and Governance 23:849-867, 2019.
  23. Thomas Bolander. Hvordan ser fremtiden ud med kunstig intelligens? [publisher link | review in Altinget | review in Journalisten]. Informations Forlag, 2019.
  24. Thomas Bolander. Human vs machine intelligence: How they differ and what this implies for our future society [pdf]. Proceedings of Pragmatic Constructivism 9(1): 17-24, 2019.
  25. Thomas Bolander, Andreas Herzig, Thorsten Engesser, Robert Mattmüller, Bernhard Nebel. The dynamic logic of policies and contingent planning [published pdf]. European Conference on Logics in Artificial Intelligence (JELIA), 2019. Lecture Notes in Artificial Intelligence 11468: 659-674, 2019.
  26. Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmüller. Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity [preprint pdf]. Journal of Artificial Intelligence Research (JAIR) 64: 497-527, 2019.
  27. Thomas Bolander, Thorsten Engesser, Robert Mattmüller, Bernhard Nebel. Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination [pdf]. Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) 445-453, AAAI Press, 2018. Revised version of the paper presented at the Workshop on Distributed and Multi-Agent Planning (DMAP 2016).
  28. Andrea Dittadi, Thomas Bolander, Ole Winther. Learning to Plan from Raw Data in Grid-based Games [pdf]. 4th Global Conference on Artificial Intelligence. EPiC Series in Computing 55:54-67, 2018.
  29. Jens Ulrik Hansen, Thomas Bolander, Torben Braüner. Many-Valued Hybrid Logic [publisher pdf]. Journal of Logic and Computation 28(5): 883-908, 2018.
  30. Thomas Bolander. Diskret Matematik. Chapter in Teknisk Matematik Bind 3, Praxis, 2018.
  31. Chitta Baral, Thomas Bolander, Hans van Ditmarsch, Sheila McIlraith (eds). Epistemic Planning [pdf | publisher link]. Report from Dagstuhl Seminar 17231. Dagstuhl Reports 7(6):1-47, 2017.
  32. Thomas Bolander. Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic [preprint pdf]. Chapter in Outstanding Contributions to Logic, vol. 12, Springer, 2018.
  33. Thomas Bolander, Nina Gierasimczuk. Learning to Act: Qualitative Learning of Deterministic Action Models [ published pdf | preprint pdf]. Journal of Logic and Computation, 28(2): 337-365, 2018.
  34. Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen. Completeness and termination for a Seligman-style tableau system [pdf | publisher page]. Journal of Logic and Computation 27(1): 81-107, 2017.
  35. Thomas Bolander. A Gentle Introduction to Epistemic Planning: The DEL Approach [publisher pdf]. In Proceedings of Methods for Modalities 2017, Electronic Proceedings of Theoretical Computer Science 243: 1-22, 2017.
  36. Thorsten Engesser, Thomas Bolander, Robert Mattmuller, Bernhard Nebel. Cooperative Epistemic Multi-Agent Planning for Implicit Coordination [publisher pdf]. In Proceedings of Methods for Modalities 2017, Electronic Proceedings of Theoretical Computer Science 243: 75-90, 2017.
  37. Klaus Frovin Jørgensen, Patrick Blackburn, Thomas Bolander, Torben Braüner. Synthetic completeness proofs for Seligman-style tableau systems [pdf]. Advances in Modal Logic 2016.
  38. Thomas Bolander, Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo, Francois Schwarzentruber. Announcements to Attentive Agents [publisher pdf]. Journal of Logic, Language and Information 25(1): 1--35, 2016.
  39. Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen. Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief [preprint pdf | publisher link | publisher fulltext pdf]. Synthese 194:2447-2487, 2017.
  40. Thomas Bolander, Nina Gierasimczuk. Learning Action Models: Qualitative Approach [full version pdf | published pdf]. Proceedings of the Fifth International Conference on Logic, Rationality and Interaction (LORI), 2015. Lecture Notes in Computer Science 9394: 40-52.
  41. Thomas Bolander. Kursusudvikling gennem systematisk evaluering. Chapter in Peter Stray Jørgensen, Lotte Rienecker (eds.): Universitetspædagogiske Praksisser, Samfundslitteratur, 2015.
  42. Thomas Bolander, Martin Holm Jensen, Francois Schwarzentruber. Complexity Results in Epistemic Planning [pdf]. In proceedings of IJCAI 2015 (24th International Joint Conference on Artificial Intelligence), 2015.
  43. Thorsten Engesser, Thomas Bolander, Robert Mattmüller, Bernhard Nebel. Cooperative Epistemic Multi-Agent Planning With Implicit Coordination [pdf]. Workshop on Distributed and Multi-Agent Planning (DMAP 2015), affiliated with ICAPS 2015.
  44. Mikkel Birkegaard Andersen, Thomas Bolander, Martin Holm Jensen. Don't Plan for the Unexpected: Planning Based on Plausibility Models [preprint pdf]. Logique et Analyse 58(230), 2015.
  45. Thomas Bolander. Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic [pdf]. In Proceedings of the European Conference on Social Intelligence (ECSI), 2014. CEUR Workshop Proceedings 1283:87-107, 2014.
  46. Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen. A Seligman-style Tableau System [pdf]. In Proceedings of the 19th Logic for Programming Artificial Intelligence and Reasoning (LPAR 2013). Lecture Notes in Computer Science 8312: 147-163, 2013.
  47. Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen. Bisimulation for single-agent plausibility models [preprint pdf]. In Proceedings of the 26th Australasian Joint Conference on Artificial Intelligence (AI 2013). Lecture Notes in Computer Science 8272: 277-288, 2013.
  48. Guillaume Aucher, Thomas Bolander. Undecidability in Epistemic Planning [published | extended version (tech report) | slides (w/ overlays) | erratum]. In Proceedings of IJCAI 2013 (23rd International Joint Conference on Artificial Intelligence), 2013.
  49. Thomas Bolander, Torben Braüner, Silvio Ghilardi, Lawrence Moss (eds). Advances in Modal Logic, Volume 9. College Publications, 2012.
  50. Mikkel Birkegaard Andersen, Thomas Bolander, Martin Holm Jensen. Conditional Epistemic Planning [long version pdf]. Proceedings of JELIA 2012. Lecture Notes in Artificial Intelligence 7519: 94--106, 2012.
  51. Thomas Bolander, Paul Fischer, Thomas Kjærgård Hansen. From Frustration to Success: A Case-Study in Advanced Design-Build Experiences [submitted pdf]. Proceedings of the 7th International CDIO Conference, 2011.
  52. Jens Sparsø, Thomas Bolander, Paul Fischer, Stig Høgh, Mads Nyborg, Christian Probst, Edward Todirica. CDIO projects in DTU's B.Eng. in IT study program [submitted pdf]. Proceedings of the 7th International CDIO Conference, 2011.
  53. Thomas Bolander, Mikkel Birkegaard Andersen. Epistemic planning for single- and multi-agent systems [preprint pdf]. Journal of Applied Non-Classical Logics 21(1): 9--34, 2011. Selected as Editor's Choice Article of the journal.
  54. Thomas Bolander, Torben Braüner. Proceedings of the International Workshop on Hybrid Logic and Applications 2010 (HyLo 2010). Electronic Notes in Theoretical Computer Science, vol. 273. Elsevier, 2011.
  55. Thomas Bolander. Two approaches to termination and completeness of hybrid tableaus. Proceedings of the International Workshop on Hybrid Logic and Applications (HyLo) 2010. FLoC 2010.
  56. Thomas Bolander, Rene Rydhof Hansen. Hybrid Logical Analyses of the Ambient Calculus [published pdf]. Information and Computation 208: 433--449, 2010.
  57. Thomas Bolander, Torben Braüner (eds). Proceedings of the 6th workshop on Methods for Modalities (M4M-6). Electronic Notes in Theoretical Computer Science, vol. 262, Elsevier, 2010.
  58. Torben Braüner, Thomas Bolander (eds). Hybrid Logic: Dedicated to the Memory of Volker Weber. Special issue of Journal of Logic, Language and Information, vol. 18(4). Springer Verlag, 2009.
  59. Thomas Bolander, Jørgen Fischer Nilsson, Jørgen Villadsen. Logik, Computere og Kunstig Intelligens [published pdf]. Chapter in Matematiske Horisonter, pp. 218--233, DTU Informatics, 2009.
  60. Thomas Bolander, Patrick Blackburn. Terminating Tableau Calculi for Hybrid Logics extending K [preprint pdf]. Proceeding of Methods for Modalities 5 (M4M-5), 2007. Electronic Notes in Theoretical Computer Science 231: 21-39, 2009.
  61. Jens Ulrik Hansen, Thomas Bolander, Torben Braüner. Many-Valued Hybrid Logic. Proceedings of Advances in Modal Logic 2008, pages 111-132. College Publications, 2008.
  62. Jørgen Villadsen, Thomas Bolander, Torben Braüner (eds). Proceedings of the International Workshop on Hybrid Logic (HyLo 2007). ESSLLI 2007.
  63. Thomas Bolander, Rene Rydhof Hansen. Hybrid Logical Analyses of the Ambient Calculus. Proceedings of WoLLIC'07 (Workshop on Logic, Language, Information and Computation). Lecture Notes in Computer Science 4576: 83--100, 2007.
  64. Thomas Bolander, Patrick Blackburn. Termination for Hybrid Tableaus [prepint pdf | published pdf]. Journal of Logic and Computation 17(3): 517--554, 2007.
  65. Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva and Jørgen Villadsen (eds). Proceedings of the International Workshop on Hybrid Logic (HyLo 2006). Electronic Notes in Theoretical Computer science, vol. 174, 2007.
  66. Thomas Bolander, Jens Ulrik Hansen, Michael Reichhardt Hansen. Decidability of a Hybrid Duration Calculus [published pdf]. Proceedings of Hylo'06 (Hybrid Logics 2006). Electronic Notes in Theoretical Computer Science 174: 113--133, 2007.
  67. Thomas Bolander, Torben Braüner. Tableau-Based Decision Procedures for Hybrid Logic [preprint pdf | published pdf]. Journal of Logic and Computation 16: 737--763, 2006.
  68. Thomas Bolander, Torben Braüner. Two Tableau-Based Decision Procedures for Hybrid Logic [pdf]. Proceedings of M4M (Methods For Modalities) 4, pages 79-96. Humboldt University, 2005.
  69. Thomas Bolander, Vincent F. Hendricks, Stig Andur Pedersen (eds). Self-Reference. With contributions by Andrea Cantini, Melvin Fitting, Anil Gupta, Vann McGee, Donald Perlis, Graham Priest, Raymond Smullyan and Stephen Yablo. CSLI Publications, 2006. Read the introduction to the book. ISBN 1575865157 (hardback); ISBN 1575865165 (paperback).
  70. Thomas Bolander. Introduction to Self-Reference. Introduction chapter, pages 1-25, in Self-Reference.
  71. Thomas Bolander. Logical Theories for Agent Introspection [pdf]. Ph.D. thesis, Informatics and Mathematical Modelling (IMM), Technical University of Denmark, 2003.
  72. Thomas Bolander. From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief [pdf]. In Proceedings of IJCAI 2003 (Eighteenth International Joint Conference on Artificial Intelligence), pages 443-448. Morgan Kaufmann, Elsevier Science. © 2003 IJCAII.
  73. Thomas Bolander. Maximal Introspection of Agents [pdf]. Electronic Lecture Notes in Theoretical Computer Science 70:5, 2002. Elsevier Science. 16 pages. (Presented at CLIMA 2002).
  74. Thomas Bolander. Restricted Truth Predicates in First-Order Logic [pdf]. In The Logica Yearbook 2002, pages 41-55. Filosofia, Prague, 2002. (Presented at LOGICA 2002).
  75. Thomas Bolander. Self-Reference and Logic [pdf]. Phi News 1, 9-44, 2002. PhiLog, Kluwer Academic Publishers.
  76. Thomas Bolander and Helge Elbrønd Jensen. On Gödel's Theorem (in Danish) [pdf]. NORMAT 50:1, 15-29, 2002.
  77. Thomas Bolander. Limitations in Formal Systems and Languages (in Danish) [ps]. MAT Master Thesis No. 1999-04. Department of Mathematics, Technical University of Denmark. English abstract.