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

Invited research talks (keynote talks) at scientific conferences and universities

  1. TBA. Workshop on Planning and Reasoning about Beliefs, Goals and Intentions (PR-BGI), ICAPS, Dublin, 2026.
  2. From Dynamic Epistemic Logic to Socially Intelligent Robots. Declarative AI, Vilnius, 20026.
  3. Parameterized Complexity of Dynamic Belief Updates, University of Bolzano, 10 April 2025.
  4. Epistemic planning: From automated planning and epistemic logic to socially intelligent robots. D3A Conference, Nyborg, 2025.
  5. Implicit coordination for epistemic planning and human-robot collaboration. Invited talk at LOFT 2024.
  6. Epistemic planning and human-robot interaction. Örebro University, 18 April 2024.
  7. From Dynamic Epistemic Logic to Socially Intelligent Robots. LUCI Lab Seminar, University of Milan, 8 April 2024.
  8. Epistemic Planning: Logical formalism, computational complexity, and robotic implementations. ICR-CLAiM Seminar, University of Luxembourg, 16 February 2024.
  9. From Dynamic Epistemic Logic to Socially Intelligent Robots. Invited talk at LORI 2023.
  10. Epistemic Planning: Logical formalism, computational complexity, and robotic implementations. Hao Wang lectures, Hao Wang workshop on computational logic, Tsinghua University, Beijing, 29 September 2023.
  11. Epistemic Planning: Logical formalism, computational complexity, and robotic implementations. Nordic Online Logic (NOL) seminar, 25 September 2023.
  12. From Dynamic Epistemic Logic to Socially Intelligent Robots. Peking University, Beijing, 12 September 2023.
  13. From Dynamic Epistemic Logic to Socially Intelligent Robots. Invited talk at WoLLIC 2023.
  14. From Dynamic Epistemic Logic to Socially Intelligent Robots. Second International Workshop on Knowledge Representation for Hybrid Intelligence, Munich, 26 June 2023.
  15. Attention! Dynamic Epistemic Logic Models of (In)attentive Agents. Rebellion and Disobedience (RaD) of Artificial Agents (RaD-AI) 2023, AAMAS, London, 30 May 2023.
  16. The beauty and the curse of doing things together: coordination and perspective-taking in collaborative problem solving. University of Freiburg, 12 May 2023.
  17. Attention! Models of (In)attentive Agents using Dynamic Epistemic Logic. With Gaia Belardinelli. University of Oslo, 9 December 2022.
  18. Attention! Models of (In)attentive Agents using Dynamic Epistemic Logic. With Gaia Belardinelli. IRIT Toulouse, 6 December 2022.
  19. Social Aspects of AI. Humanities AI workshop, 6-7 December 2021.
  20. Epistemic modelling of the changes we don’t see. Workshop on "Information and absence in decision-making contexts", University of Copenhagen, 2 December 2021.
  21. Human-Robot Collaboration Through Epistemic Planning. Frontiers of Autonomous Systems, 24-25 November 2021.
  22. Theory of Mind and Epistemic Planning for Human-Robot Collaboration. Technical University of Chemnitz, 12 November 2021.
  23. From Dynamic Epistemic Logic to Socially Intelligent Robots. Logic Colloquium, 20 July 2021.
  24. Theory of Mind and Epistemic Planning for Human-Robot Collaboration [slides]. JFPDA: Journées Francophones Planification, Décision et Apprentissage, Bordeaux, 30 June 2021.
  25. Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic. Tsinghua University, China, 12 November 2020.
  26. Epistemic Planning: Semantic Approach (tutorial) [slides | video (full tutorial)]. Tutorial as part of the Epistemic Planning tutorial at ICAPS 2020, 29 October 2020.
  27. How AVs see the world. Keynote at EIT Urban Mobility (Nordic Perspective Summit), DTU, 13 October 2020.
  28. Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic [slides | video (stream in browser) | video (download) (94MB!)]. LIRa seminar, ILLC, University of Amsterdam, 25 June 2020.
  29. Who knows? Logic and AI for reasoning about other [video]. Inaugural lecture at DTU, 10 January 2020.
  30. What do we lose when machines take the decisions [slides]. Biennal Conference of the Italian Academy of "Economia Aziendale" (AIDEA), Turin, Italy, 12-13 September 2019.
  31. Theory of Mind Reasoning on a Humanoid Robot Using Dynamic Epistemic Logic. The LogicS of Prior, Roskilde University, 6 September 2019.
  32. Epistemic planning and human-robot interaction. LASS, Toulouse, 5 July 2019.
  33. Epistemic planning: Formalism, decidability and complexity [slides]. Journées d’Intelligence Artificielle Fondamentale (JIAF), Toulouse, France, 1-3 July 2019.
  34. Using dynamic epistemic logic to model greater fools reasoning and overpriced trades. University of Toulouse 1, 27 June 2019.
  35. Dynamics of greater fools reasoning and overpricing. Social Interactions in Epistemology and in Economics, Copenhagen, 29-31 May 2019.
  36. Epistemic Planning for Implicit Coordination. University of Toulouse 1, France, 8 January 2019.
  37. Learning to Act: Qualitative Learning of Action Models. MAFTEC Workshop, University of Rennes 1, France, 7 December 2018.
  38. Multi-agent Abduction Using Doxastic Temporal Models. MAFTEC Workshop, University of Rennes 1, France, 6 December 2018.
  39. Higher-order reasoning and implicitly coordinated planning on a humanoid robot. Workshop on Epistemic Planning, IRIT Toulouse, 22-25 October 2018.
  40. Human vs machine intelligence: How they differ and what this implies for our future society [slides]. The Actor-Reality Construction, VIII Conference, 24-26 October, Pisa, Italy.
  41. Making AI systems socially intelligent. High Tech Summit, Technical University of Denmark (DTU), 11 October 2018.
  42. Multi-agent Abduction Using Doxastic Temporal Models. Reasoning in Social Context, 31 May-2 June 2018, Amsterdam, The Netherlands.
  43. Learning to Plan from Raw Data in Grid-based Games [slides]. University of Freiburg, 13 April 2018.
  44. Explaining your failures - A view from AI [slides]. Workshop on Big Data Epistemology, Copenhagen University, 24 January 2018.
  45. Learning to plan from raw data in grid-based games. Zhejiang University, Hangzhou, China, 7 December 2017.
  46. Epistemic planning for implicit coordination. Zhejiang University, Hangzhou, China, 1 December 2017.
  47. From Classical to Epistemic Planning [slides]. Invited tutorial at Methods for Modalities (M4M), Kanpur, India, 8-9 January 2017.
  48. Learning to Act: Qualitative Learning of Action Models. LogiCIC Workshop 2016, Amsterdam, 17-19 November, 2016.
  49. Learning to Act: Qualitative Learning of Action Models. Heriot-Watt University, Edinburgh, 1 November 2016.
  50. Epistemic Planning With Implicit Coordination. University of Edinburgh, 28 October 2016.
  51. Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic [slides with overlays]. Jaakko Hintikka Memorial Conference, University of Helsinki, 8-9 September 2016.
  52. Epistemic Planning With Implicit Coordination. Université de Rennes 1, 21 June 2016.
  53. Epistemic Planning With Implicit Coordination [slides]. Hybrid Reasoning for Intelligent Systems, Dortmund, 30 November-1 December, 2015.
  54. Epistemic Planning With Implicit Coordination [slides]. Reasoning in Social Context, Amsterdam, 26-28 November, 2015.
  55. Learning Action Models: Qualitative Approach [slides]. Retirement symposium for Stig Andur Pedersen, Roskilde University, 2 October 2015.
  56. Theory of Mind, false-belief tasks and their relevance to artificial intelligence. Cognitive, Linguistic and Logical Aspects of Perspective-Taking, Roskilde University (RUC), 27 May 2015.
  57. Complexity Results in Epistemic Planning [slides]. LogiCIC/LIRa talk at ILLC, Amsterdam, 31 March 2015.
  58. DigiPlay: An Adaptive Vocabulary Acquisition System with Tangible User Interface for Low-Functioning Autists. Games and Cognition, Amsterdam, 25-26 March 2015.
  59. Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic. Workshop on Correlated Information Change, Amsterdam, 24-26 November 2014.
  60. Undecidability in Epistemic Planning. Workshop on Planning and Logic, IRIT Toulouse, 3 July 2014.
  61. Epistemic Planning: The DEL Approach. Tutorial, IRIT Toulouse, 2 July 2014.
  62. False-belief tasks and their formalisation. Workshop on False Beliefs and True Lies, IRIT Toulouse, 30 June 2014.
  63. Bisimulation for multi-agent plausibility models. Modality and Modalities 2014, Lund University, 20 May 2014.
  64. Epistemic Planning: Integrating Higher-Order Social Cognition into Intelligent Planning Agents. Interacting Minds Centre, Aarhus University, 4 February 2014.
  65. Epistemic Planning: Integrating Higher-Order Social Cognition into Intelligent Planning Agents. Department of Philosophy, Aarhus University, 3 February 2014.
  66. Epistemic Planning: The DEL Approach. Tutorial at Schloss Dagstuhl, Workshop on Planning with Epistemic Goals, 12-15 January 2014.
  67. From Human Brains to Computer Programs: Formalisation and Idealisation in Artificial Intelligence. Formalisation in Philosophy II, Copenhagen University, 12 December 2013.
  68. Formalising the Sally-Anne test in Dynamic Epistemic Logic. False-Belief Tasks and Logic, ILLC, Amsterdam, 6 December 2013.
  69. Undecidability in Epistemic Planning [slides w/overlays]. Social Dynamics of Information Change, Amsterdam, 2-4 December 2013.
  70. Epistemic and doxastic planning for single- and multi-agent systems. University of Bergen, 6 September 2013.
  71. Epistemic Logics in AI. Peking University, 10 August 2013.
  72. Epistemic and doxastic planning for single- and multi-agent systems. University of Freiburg, 19 June 2013.
  73. Seligman-style Tableau for Hybrid Logic. Modality and Modalities 2013, Roskilde University (RUC), 23 May 2013.
  74. Epistemic and doxastic planning for single- and multi-agent systems. Université de Rennes 1, 13 March 2013.
  75. How and why to do ToM modelling in AI. Interacting Minds Centre, Aarhus University, 4 February 2013.
  76. Don't Plan for the Unexpected: Planning Based on Plausibility Models [slides]. LIRa seminar, ILLC, Amsterdam, 6 December 2012.
  77. Epistemic and doxastic planning for single- and multi-agent systems [slides]. Modality and Modalities 2012, University of Copenhagen, 29 May 2012.
  78. Epistemic and doxastic planning for single- and multi-agent systems [slides]. Dynamics in Logic II, Lille, France, 1 March 2012.
  79. Epistemic planning for single- and multi-agent systems [slides]. IRiT, Toulouse, France, October 2011.
  80. Tableau-based decision procedures for hybrid and description logics [slides]. KRDB Research Centre for Knowledge and Data, University of Bolzano, September 2010.
  81. Connections between filtrations and tableau calculi in hybrid logic. HYLOCORE workshop, Roskilde University, 24 April 2009.