Thomas Bolander

Associate Professor, Ph.D.

Department of Applied Mathematics and Computer Science
Technical University of Denmark (DTU)
Richard Petersens Plads, building 324
DK-2800 Lyngby, Denmark

Email: tobo@dtu.dk
Office phone: (+45) 45 25 37 15
Mobile phone: (+45) 50 47 46 50

Office: Building 322 - Room 022

Keywords: logic, modal logic, epistemic logic, artificial intelligence, multi-agent systems, social intelligence, automated planning.


Navigation


Publications

  1. 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.
  2. Mikkel Birkegaard Andersen, Thomas Bolander, Martin Holm Jensen. Don't Plan for the Unexpected: Planning Based on Plausibility Models [preprint pdf]. To appear in Logique et Analyse, 2015.
  3. Jens Ulrik Hansen, Thomas Bolander, and Torben Braüner. Many-Valued Hybrid Logic. To appear in Journal of Logic and Computation, 2015.
  4. Patrick Blackburn, Thomas Bolander, Torben Braüner and 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.
  5. 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.
  6. Guillaume Aucher, Thomas Bolander. Undecidability in Epistemic Planning [published | extended version (tech report) | slides (w/ overlays)]. In Proceedings of IJCAI 2013 (23rd International Joint Conference on Artificial Intelligence), 2013.
  7. Thomas Bolander. Self-Reference. Entry in the Stanford Encyclopedia of Philosophy, CSLI, Stanford University, 2013.
  8. Thomas Bolander, Torben Braüner, Silvio Ghilardi, Lawrence Moss (eds). Advances in Modal Logic, Volume 9. College Publications, 2012.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. Thomas Bolander, Rene Rydhof Hansen. Hybrid Logical Analyses of the Ambient Calculus [published pdf]. Information and Computation 208: 433--449, 2010.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. Jørgen Villadsen, Thomas Bolander, Torben Braüner (eds). Proceedings of the International Workshop on Hybrid Logic (HyLo 2007). ESSLLI 2007.
  22. 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.
  23. Thomas Bolander, Patrick Blackburn. Termination for Hybrid Tableaus [prepint pdf | published pdf]. Journal of Logic and Computation 17(3): 517--554, 2007.
  24. 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.
  25. 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.
  26. 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.
  27. 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.
  28. 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).
  29. Thomas Bolander. Introduction to Self-Reference. Introduction chapter, pages 1-25, in Self-Reference.
  30. Thomas Bolander, Paul Fischer. Chapter 7 of the ESGI 04 (European Study Group with Industry) report on the LEGO Digital Designer problem [pdf]. Technical Report. 2004.
  31. Thomas Bolander. Logical Theories for Agent Introspection [pdf]. Ph.D. thesis, Informatics and Mathematical Modelling (IMM), Technical University of Denmark, 2003.
  32. 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.
  33. 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).
  34. 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).
  35. Thomas Bolander. Self-Reference and Logic [pdf]. Phi News 1, 9-44, 2002. PhiLog, Kluwer Academic Publishers.
  36. Thomas Bolander and Helge Elbrønd Jensen. On Gödel's Theorem (in Danish) [pdf]. NORMAT 50:1, 15-29, 2002.
  37. 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.

Research projects


Invited talks

Invited research talks: Invited popular science talks:

Course teaching


Student project supervision

PhD projects: Master's projects: Bachelor projects:

Conferences: chairing and organising

(Co-)chairing: (Co-)organising: Program committee member:

Other activities


Appointments


Awards


In the media

Radio and TV: Newspapers and magazines: Online media: