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, Nina Gierasimczuk. Learning to Act: Qualitative Learning of Deterministic Action Models [preprint pdf]. To appear in Journal of Logic and Computation, 2018.
  2. Patrick Blackburn, Thomas Bolander, Torben Braüner and 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.
  3. Thomas Bolander. Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic. Chapter in Outstanding Contributions to Logic, Springer, 2017, to appear.
  4. 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.
  5. Thorsten Engesser, Thomas Bolander, Robert Mattmuller and 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.
  6. Klaus Frovin Jørgensen, Patrick Blackburn, Thomas Bolander and Torben Braüner. Synthetic completeness proofs for Seligman-style tableau systems [pdf]. Advances in Modal Logic 2016.
  7. Thomas Bolander, Thorsten Engesser, Robert Mattmüller and Bernhard Nebel. Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination [pdf]. Workshop on Distributed and Multi-Agent Planning (DMAP 2016), affiliated with ICAPS 2016.
  8. 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.
  9. 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.
  10. Thomas Bolander and 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.
  11. Thomas Bolander. Kursusudvikling gennem systematisk evaluering. Chapter in Peter Stray Jørgensen, Lotte Rienecker (eds.): Universitetspædagogiske Praksisser, Samfundslitteratur, 2015.
  12. 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.
  13. Thorsten Engesser, Thomas Bolander, Robert Mattmüller and Bernhard Nebel. Cooperative Epistemic Multi-Agent Planning With Implicit Coordination [pdf]. Workshop on Distributed and Multi-Agent Planning (DMAP 2015), affiliated with ICAPS 2015.
  14. 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.
  15. Jens Ulrik Hansen, Thomas Bolander and Torben Braüner. Many-Valued Hybrid Logic [pdf]. To appear in Journal of Logic and Computation, 2017.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. Thomas Bolander. Self-Reference. Entry in the Stanford Encyclopedia of Philosophy, CSLI, Stanford University, 2013.
  21. Thomas Bolander, Torben Braüner, Silvio Ghilardi, Lawrence Moss (eds). Advances in Modal Logic, Volume 9. College Publications, 2012.
  22. 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.
  23. 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.
  24. 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.
  25. 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.
  26. 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.
  27. 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.
  28. Thomas Bolander, Rene Rydhof Hansen. Hybrid Logical Analyses of the Ambient Calculus [published pdf]. Information and Computation 208: 433--449, 2010.
  29. 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.
  30. 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.
  31. 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.
  32. 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.
  33. 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.
  34. Jørgen Villadsen, Thomas Bolander, Torben Braüner (eds). Proceedings of the International Workshop on Hybrid Logic (HyLo 2007). ESSLLI 2007.
  35. 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.
  36. Thomas Bolander, Patrick Blackburn. Termination for Hybrid Tableaus [prepint pdf | published pdf]. Journal of Logic and Computation 17(3): 517--554, 2007.
  37. 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.
  38. 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.
  39. 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.
  40. 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.
  41. 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).
  42. Thomas Bolander. Introduction to Self-Reference. Introduction chapter, pages 1-25, in Self-Reference.
  43. Thomas Bolander. Logical Theories for Agent Introspection [pdf]. Ph.D. thesis, Informatics and Mathematical Modelling (IMM), Technical University of Denmark, 2003.
  44. 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.
  45. 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).
  46. 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).
  47. Thomas Bolander. Self-Reference and Logic [pdf]. Phi News 1, 9-44, 2002. PhiLog, Kluwer Academic Publishers.
  48. Thomas Bolander and Helge Elbrønd Jensen. On Gödel's Theorem (in Danish) [pdf]. NORMAT 50:1, 15-29, 2002.
  49. 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 research talks

  1. From Classical to Epistemic Planning. Invited tutorial at Methods for Modalities (M4M), Kanpur, India, 8-9 January 2017.
  2. Learning to Act: Qualitative Learning of Action Models. LogiCIC Workshop 2016, Amsterdam, 17-19 November, 2016.
  3. Learning to Act: Qualitative Learning of Action Models. Heriot-Watt University, Edinburgh, 1 November 2016.
  4. Epistemic Planning With Implicit Coordination. University of Edinburgh, 28 October 2016.
  5. Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic [pdf with overlays]. Jaakko Hintikka Memorial Conference, University of Helsinki, 8-9 September 2016.
  6. Epistemic Planning With Implicit Coordination. Université de Rennes 1, 21 June 2016.
  7. Epistemic Planning With Implicit Coordination [pdf]. Hybrid Reasoning for Intelligent Systems, Dortmund, 30 November-1 December, 2015.
  8. Epistemic Planning With Implicit Coordination [pdf]. Reasoning in Social Context, Amsterdam, 26-28 November, 2015.
  9. Learning Action Models: Qualitative Approach [pdf]. Retirement symposium for Stig Andur Pedersen, Roskilde University, 2 October 2015.
  10. 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.
  11. Complexity Results in Epistemic Planning [pdf]. LogiCIC/LIRa talk at ILLC, Amsterdam, 31 March 2015.
  12. DigiPlay: An Adaptive Vocabulary Acquisition System with Tangible User Interface for Low-Functioning Autists. Games and Cognition, Amsterdam, 25-26 March 2015.
  13. Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic. Workshop on Correlated Information Change, Amsterdam, 24-26 November 2014.
  14. Undecidability in Epistemic Planning. Workshop on Planning and Logic, IRIT Toulouse, 3 July 2014.
  15. Epistemic Planning: The DEL Approach. Tutorial, IRIT Toulouse, 2 July 2014.
  16. False-belief tasks and their formalisation. Workshop on False Beliefs and True Lies, IRIT Toulouse, 30 June 2014.
  17. Bisimulation for multi-agent plausibility models. Modality and Modalities 2014, Lund University, 20 May 2014.
  18. Epistemic Planning: Integrating Higher-Order Social Cognition into Intelligent Planning Agents. Interacting Minds Centre, Aarhus University, 4 February 2014.
  19. Epistemic Planning: Integrating Higher-Order Social Cognition into Intelligent Planning Agents. Department of Philosophy, Aarhus University, 3 February 2014.
  20. Epistemic Planning: The DEL Approach. Tutorial at Schloss Dagstuhl, Workshop on Planning with Epistemic Goals, 12-15 January 2014.
  21. From Human Brains to Computer Programs: Formalisation and Idealisation in Artificial Intelligence [pdf w/ overlays and videos (use Adobe Reader)]. Formalisation in Philosophy II, Copenhagen University, 12 December 2013.
  22. Formalising the Sally-Anne test in Dynamic Epistemic Logic [pdf w/overlays and videos (use Adobe Reader)]. False-Belief Tasks and Logic, ILLC, Amsterdam, 6 December 2013.
  23. Undecidability in Epistemic Planning [pdf w/overlays]. Social Dynamics of Information Change, Amsterdam, 2-4 December 2013.
  24. Epistemic and doxastic planning for single- and multi-agent systems. University of Bergen, 6 September 2013.
  25. Epistemic Logics in AI. Peking University, 10 August 2013.
  26. Epistemic and doxastic planning for single- and multi-agent systems. University of Freiburg, 19 June 2013.
  27. Seligman-style Tableau for Hybrid Logic. Modality and Modalities 2013, Roskilde University (RUC), 23 May 2013.
  28. Epistemic and doxastic planning for single- and multi-agent systems. Université de Rennes 1, 13 March 2013.
  29. How and why to do ToM modelling in AI. Interacting Minds Centre, Aarhus University, 4 February 2013.
  30. Don't Plan for the Unexpected: Planning Based on Plausibility Models [pdf]. LIRa seminar, ILLC, Amsterdam, 6 December 2012.
  31. Epistemic and doxastic planning for single- and multi-agent systems [pdf]. Modality and Modalities 2012, University of Copenhagen, 29 May 2012.
  32. Epistemic and doxastic planning for single- and multi-agent systems [pdf]. Dynamics in Logic II, Lille, France, 1 March 2012.
  33. Epistemic planning for single- and multi-agent systems [pdf]. IRiT, Toulouse, France, October 2011.
  34. Tableau-based decision procedures for hybrid and description logics [pdf]. KRDB Research Centre for Knowledge and Data, University of Bolzano, September 2010.
  35. Connections between filtrations and tableau calculi in hybrid logic [pdf]. HYLOCORE workshop, Roskilde University, 24 April 2009.

Invited popular science talks

  1. Robotter og kunstig intelligens. Folkeuniversitet i Aarhus, 14 November 2017.
  2. Kunstig intelligens. DTU Alumni, 10 November, 2017.
  3. Introduction to Artificial Intelligence. Marketforce, 6 November 2017.
  4. Kunstig intelligens. Roal Danish Defence College (Forsvarsakademiet), 10 October 2017.
  5. Kunstig intelligens. Finanstilsynet, 10 October 2017.
  6. Kunstig intelligens og sociale robotter. Folkeuniversitetet i København, 26 September 2017.
  7. Kunstig intelligens. Copenhagen Institute for Futures Studies (Institut for Fremtidsforskning), 14 September 2017.
  8. Kunstig intelligens – bliver mennesket overflødigt? [Intro video | video of talk (shortened) ]. Keynote Talk, Internetdagen 2017, Dansk Internet Forum, 12 September 2017.
  9. Kunstig intelligens – Hvor længe er mennesket klogest? [slides | video]. Selskabet for Naturlærings Udbredelse (SNU), 11 September 2017 & 20 September 2017.
  10. Kunstig intelligens. Schultz, 31 August 2017.
  11. Kunstig intelligens: myter, realitet og fremtid – og hvad betyder det for os? Department of Media, Cognition and Communication, Copenhagen University, 24 August 2017.
  12. Kunstig intelligens. Disruptionrådet, 19 June 2017.
  13. Kunstig intelligens. Science Slam, Folkemødet på Bornholm, 15-18 June 2017.
  14. Kunstig intelligens. Science Slam, CBS, Frederiksbergdagene, 10 June 2017.
  15. Kunstig intelligens. Ministeriet for Børn, Undervisning og Ligestilling, 1 June 2017.
  16. Chatbots: How far have we got and what awaits us?. Copenhagen Fintech, 31 May 2017.
  17. Kunstig intelligens: Historie og fremtidsperspektiver. Folkeuniversitet i Emdrup, 29 May 2017.
  18. Social intelligens. With Vincent Hendricks and Andreas Roepstorff (trio talk). BLOOM science festival, 27 May 2017.
  19. Kunstig intelligens. Region Hovedstaden, 26 April 2017.
  20. Kunstig intelligens. Kulturministeriet, 25 April 2017.
  21. Kunstig intelligens. Uddannelse- og Forskningsministeriet, 20 April 2017.
  22. Kunstig intelligens. TechPlay, 7 April 2017.
  23. Kunstig intelligens. Tænketanken DEA, 4 April 2017.
  24. Kunstig intelligens. Ordrup Gymnasium, 30 March 2017.
  25. Kunstig intelligens. Ledernes Hovedorganisation, 28 March 2017.
  26. Kunstig intelligens. Erhvervsstyrelsen, 20 March 2017.
  27. Artificial intelligence: past, present and future. Danske Ideer, 15 March 2017.
  28. Kunstig intelligens, big data, digitalisering. DTU, 10 March 2017.
  29. Kunstig intelligens: muligheder og begrænsninger. IDA, 9 March 2017.
  30. Kunstig intelligens: succes og fiasko hånd i hånd. Ogilvy, 27 January 2017.
  31. Sikkerhedsmæssige og etiske aspekter af kunstig intelligens. IT-sikkerhed 2017, Dansk IT, 19 January 2017.
  32. Kunstig intelligens: succes og fiasko hånd i hånd. Sundheds- og Ældreministeriet, 25 November 2016.
  33. Kunstig intelligens. Datalogforeningen, Aarhus, 5 November 2016.
  34. Kunstig intelligens. Marselisborg Gymnasium, Aarhus, 4 November 2016.
  35. Kunstig intelligens. Dialogmøde om kunstig intelligens, digital disruption og Siri-kommissionen, IDA, Copenhagen, 22 September 2016.
  36. Kunstig intelligens. Carnegie Asset Management, Copenhagen and Aarhus, 14-15 September 2016.
  37. Kunstig intelligens. DIAG workshop, Næsbyholm Slot, 2 September 2016.
  38. Kunstig intelligens. DTU Efterflex, 29 August 2016.
  39. Kunstig intelligens [pdf]. Siri-Kommissionen, Christiansborg, Copenhagen. 17 August 2016.
  40. Robotter skal også være socialt intelligente. Store Netværksdag @ DTU, Copenhagen, 7 April 2016.
  41. Artificial intelligence: past, present and future. Danske Ideer, Copenhagen, 30 March 2016.
  42. Kunstig intelligens. Aarhus Appetizer/Shareplay, Aarhus, 20 January 2016.
  43. Kloge børn og dumme robotter. Open Air Academy, Brede, 25 May 2016.
  44. Muligheder og grænser for brugen af kunstig intelligens. Dansk IT, 13 May 2015.
  45. Kunstig intelligens. Two lectures in connection with Forskningens Døgn: Topdanmark and Gladsaxe Bibliotek, 23 April 2015.
  46. How far can artificial intelligence take us? [pdf] (use Adobe Reader to be able to see embedded videos). Guest lecture for Danske Ideer, Copenhagen, 6 March 2015.
  47. Gödels ufuldstændighedssætninger. Ungdommens Naturvidenskabelige Forening (UNF), Aalborg, 18 November 2014.
  48. Kunstig intelligens. Viby Bibliotek, 22 October 2014.
  49. Gödels ufuldstændighedssætninger [pdf]. Ungdommens Naturvidenskabelige Forening (UNF), København, 16 September 2014.
  50. Kunstig intelligens. Rotary Vejle, 5 May 2014.
  51. Kloge børn og dumme robotter. Hjernekassen på Teatret ved Sorte Hest, 20 February 2014.
  52. Humans! Collectively rational or socially stupid? Part II [pdf w/overlays and videos (use Adobe Reader) | video (my part starts after 36 minutes)]. (Part I was by Vincent Hendricks). Science and Cocktails, Christania, 8 October 2013.
  53. Kunstig intelligens [pdf] (use Adobe Reader to be able to see embedded videos). Ungdommens Naturvidenskabelige Forening (UNF), København, 12 September 2013.
  54. Kan ingeniører modellere menneskelig adfærd? DTU Alumni, 16 May 2013.
  55. Kunstig intelligens [pdf]. Selskabet for Filosofi og Psykologi, 23 May 2012.
  56. Kunstig intelligent [pdf]. Folkeuniversitetet i Aarhus, 18 April 2012.
  57. Kunstig intelligens [pdf]. Folkeuniversitetet i Aalborg, 12 April 2012.
  58. Kunstig intelligens [pdf]. Folkeuniversitetet i Emdrup, 10 April 2012.
  59. Is Artificial Intelligence (AI) possible? [pdf | video part 1 | video part 2]. Science and Cocktails, Copenhagen, 1 November 2011.
  60. Formelle systemer og aksiomatisk mængdelære [pdf]. Folkeuniversitetet i København, autumn 2011.
  61. Kunstig intelligens [video (in Danish)]. Video lecture made for Danskernes Akademi on DR2.
  62. Kunstig intelligens (AI) [pdf]. UNF Aalborg, autumn 2010.
  63. Gödels ufuldstændighedssætninger [pdf]. UNF Copenhagen, spring 2010.
  64. Epistemisk logik og kunstig intelligens [pdf]. Course Research in Cognitive Science II, Copenhagen University, autumn 2009.
  65. Matematikkens paradokser og patologiske konstruktioner i 1800-tallet [pdf]. Folkeuniversitetet i København, autumn 2009.
  66. Artificial Intelligence -- Dead or Alive? (in Danish) [pdf]. Biotech Students' Association, 2007.

Course teaching

  1. Artificial Intelligence at DIS Copenhagen (spring 2017, autumn 2016, spring 2016).
  2. 01017 Discrete Mathematics (autumn 2017, autumn 2016, autumn 2015, autumn 2014, autumn 2013, autumn 2012, autumn 2011, autumn 2010).
  3. 02285 Artificial Intelligence and Multi-Agent Systems (spring 2017, spring 2016, spring 2015, spring 2010, spring 2009).
  4. Education in University Teaching at LearningLab DTU (autumn 2015, spring 2015, autumn 2014, spring 2014, autumn 2013, spring 2013, autumn 2012, spring 2012, autumn 2011).
  5. 01917 Discrete Mathematics and Databases (spring 2014, spring 2013, spring 2012, spring 2011, spring 2010, spring 2009, spring 2008, spring 2007, autumn 2006, spring 2006, atumun 2005).
  6. Matematik: Videnskaben om det uendelige II at Folkeuniversitetet i København (autumn 2011).
  7. Matematik: Videnskaben om det uendelige I at Folkeuniversitetet i København (autumn 2010).
  8. 02343 CDIO project (spring 2010).
  9. 01017 Discrete Mathematics and Databases (autumn 2009, autumn 2008, autumn 2007, autumn 2006, autumn 2005, autumn 2004).
  10. Matematik: Videnskaben om det uendelige at Folkeuniversitetet i København (autumn 2009).
  11. 02102 Introductory Programming (spring 2009).
  12. 02101 Introductory Programming (autumn 2008).
  13. 02105 Algorithms and Datastructures I (spring 2008, spring 2007, spring 2006, spring 2005, autumn 2003).
  14. 02107 Analysis Model Program (Computational Geometry) (summer 2005).
  15. 02240 Computability and Semantics (spring 2004).
  16. 02110 Algorithms and Data Structures II (spring 2003).
  17. 49256 Compiler Techniques (spring 2001).
  18. 49409 Automata, Formal Languages and Computability (spring 2000).

Student project supervision

Supervised PhD students:
  1. Andrés Occhipinti Liberman. PhD project 2017-2020. Co-supervised with Nina Gierasimczuk, DTU.
  2. Hanna van Lee. PhD project 2015-2018. Co-supervised with Vincent Hendricks, University of Copenhagen.
  3. Anders Schlichtkrull. Formalization of Algorithms and Logical Inference Systems in Proof Assistants. PhD project 2015-2018. Co-supervised with Jørgen Villadsen, DTU.
  4. Mikkel Birkegaard Andersen. Multi-agent story planning. PhD project 2011-2014.
  5. Martin Holm Jensen. Epistemic planning for multi-agent systems. PhD project 2010-2014.
MSc projects:
  1. Pukoban Planning Using Reinforcement Learning. Autumn 2017.
  2. Complexity Results for Action Model Learning. Autumn 2017.
  3. Aiding System for Choosing a Movie Using Decision Making Theories. In collaboration with Nordisk Film. Autumn 2017.
  4. System for Interactive Group Preference Aggregation in Deciding Cinema Movies. In collaboration with Nordisk Film. Autumn 2017.
  5. Learning of Partially Observable Action Models. Spring 2017.
  6. Integrating Machine Learning and Automated Planning. Spring 2017.
  7. Complexity in Epistemic Planning. Spring 2017.
  8. Complexity Results for Action Model Learning. Spring 2017.
  9. Real-time Strategic Planning in Computer Games Using Operations Research Methods. Spring 2016.
  10. Heuristics for Epistemic Planning. Spring 2016.
  11. Implementation of Epistemic Planning in Multi-Agent Domains. Autumn 2015.
  12. Artificial Intelligence in the Computer Game Astro Kid. Autumn 2015.
  13. Artificial Intelligence for 2048 and Threes. Autumn 2015.
  14. Action Learning in Automated Planning. Spring 2015.
  15. Construction Planning in the Computer Game "Unclaimed World". Spring 2015.
  16. Epistemic Planning in Cluedo. Spring 2014.
  17. Implementation, Extension and Assessment of the Action Language mA+. Spring 2014.
  18. Development of an Adaptive Software System for Unsupervised Language Acquisition by Autistic Children. Spring 2014.
  19. Implementing Conditional Epistemic Planning. Autumn 2012.
  20. Conditional Epistemic Planning. Autumn 2012.
  21. Increasing Efficiency and Feasibility of Automated Planning through the Specification of Domain-dependent Heuristic Information. Spring 2012.
  22. Planning Under Uncertainty for Mission Operations. Spring 2012.
  23. Intelligent Dialogues through Theory of Mind Modelling. Spring 2012.
  24. Graph-Theoretical Analyses of Complexities of Planning Domains. Spring 2011.
  25. Planning via Event Models. Autumn 2010.
  26. Heuristics in generic planning. Autumn 2010.
  27. Analysis of path planning methods for mobile robots in larger domains. Autumn 2010.
  28. Epistemic planning. Spring 2010.
  29. Reasoning about knowledge in planning. Spring 2010.
  30. Multi-Agent Planning for Robots. Spring 2010.
  31. Artificial intelligence for the board game Taiji. 2009.
  32. Robotic transportation. 2009.
  33. Simulation of evacuation scenarios using rational agents. Spring 2008.
  34. Translations between database query languages. Two projects autumn 2007.
  35. Translation from relational calculus to .NET expression trees. Autumn 2007.
  36. AI planning methods for business software. Autumn 2007. In collaboration with Microsoft Business Solutions.
  37. A multi-agent approach to solving NP-complete problems. Autumn 2007.
  38. Artificial intelligence in the predator/prey domain. 2007.
  39. Evolutionary Multi-Agent Systems in Computer Games. 2007.
  40. Hybrid logic. Autumn 2006.
  41. Rigidity investigations in virtual LEGO models. Spring 2006. In collaboration with the LEGO Company.
  42. AI in computer games. 2005. In collaboration with the video game company IO Interactive. Interview concerning the project in the magazine Computerworld (in danish).
BSc projects:
  1. The Foundation and Theory Behind a System for Nordisk Film Which Should Help Young Groups With the Choice of Cinema Preferences. In collaboration with Nordisk Film. Autumn 2017.
  2. Development of an Adaptive Ranking System for a Math Tool Used by High School Students. Autumn 2016.
  3. Modelling in Dynamic Epistemic Logic. Autumn 2016.
  4. A Graphical Tool for Computing Action Effects in Dynamic Epistemic Logic. Spring 2016.
  5. Creating value from Big Data with Open Source software. Autumn 2015.
  6. AI for Extended Wumpus Games. Autumn 2013.
  7. Flexible Data Entry in Invoicing Software. Autumn 2013.
  8. AI for Extended Wumpus Games. Autumn 2013.
  9. Implementing fast replanning with regards to game AI. Autumn 2011.
  10. AI in Board Games. Two projects spring 2010.
  11. Vehicle Routing Problem for Mobile Hospital Robots. Spring 2009.
  12. Multi-Agent Systems in AgentSpeak. Autumn 2008.
  13. AI planning in computer game engines. Spring 2008.
  14. Translations between database query languages. Spring 2008.
  15. Multi-Agent Robotics using LEGO NXT robots. Spring 2008, spring 2007.
  16. Enhanced search for rigidity in virtual LEGO models. Spring 2008, autumn 2007.
  17. Automated Planning in Computer Games. Autumn 2007.
  18. Reasoning About Knowledge in Planning. Spring 2007. Won the McKinsey price for best bachelor project of the year at DTU.
  19. Artificial Intelligence in Computer Game Engines. Spring 2007.
  20. Artificial Intelligence in Board Games. Spring 2007.
  21. Multi-agent robotics. Autumn 2006. Read the article from the Danish magazine Ingeniøren about the project.
  22. Fundamental AI in computer game engines. Autumn 2005.
  23. Rigidity investigations in virtual LEGO models. Spring 2006, spring 2005. In collaboration with the LEGO Company.

Conferences: chairing, organising, program committees

(Co-)chairing and (co-)organising:
  1. Current Trends in Artificial Intelligence II, Byens Lys, Christiania, Copenhagen, 17 November 2017.
  2. Epistemic Planning, Schloss Dagstuhl, 5-9 June, 2017.
  3. Current Trends in Artificial Intelligence I, DTU, 23 November 2016.
  4. The CADILLAC Workshop, Copenhagen, 23-25 May, 2016.
  5. To be announced! Synthesis of Epistemic Protocols. Workshop at the Lorentz Center (International Center for Workshops in the Sciences), The Netherlands, 17-21 August, 2015.
  6. Advances in Modal Logic (AiML) 2012. August 22-25, 2012, Copenhagen.
  7. International CDIO Conference 2011. June 20-23, 2011, Copenhagen.
  8. International Workshop on Hybrid Logic and Applications (HyLo 2010). Edinburgh, July 10, 2010.
  9. 6th Methods for Modalities (M4M) workshop, Copenhagen, November 2009.
  10. Hybrid Logic 2007 (HyLo 2007) workshop, Dublin. Part of ESSLLI 2007.
  11. Hybrid Logic 2006 (HyLo 2006) workshop affiliated with Logic In Computer Science (LICS 2006) and part of the Federated Logic Conference (FLoC 2006).
  12. Conference on Self-reference, Copenhagen, 31 October-2 November, 2002.
Program committee memberships:
  1. IJCAI 2018. Senior PC member.
  2. AAMAS 2018.
  3. AAAI 2018.
  4. Frontiers of Combining Systems (FRoCoS) 2017.
  5. International Conference on Logic, Rationality and Interaction (LORI) 2017.
  6. International Joint Conference on Artificial Intelligence (IJCAI) 2017.
  7. International Joint Conference on Artificial Intelligence (IJCAI) 2016.
  8. Workshop on Logical Aspects of Multi-Agent Systems (LAMAS) 2016.
  9. Autonomous Agents and Multiagent Systems (AAMAS) 2016.
  10. International Conference of Principles of Knowledge Representation and Reasoning (KR) 2016.
  11. Advances in Modal Logic (AiML) 2016.
  12. Scandinavian Conference on Artificial Intelligence (SCAI) 2015.
  13. Workshop on Logical Aspects of Multi-Agent Systems (LAMAS) 2015.
  14. Frontiers of Combining Systems (FRoCoS) 2015.
  15. International Conference on Logic, Rationality and Interaction (LORI) 2015.
  16. European Conference on Social Intelligence (ECSI) 2014.
  17. Workshop on Logical Aspects of Multi-Agent Systems (LAMAS) 2014.
  18. Methods for Modalities (M4M) 2013.
  19. Scandinavian AI Conference (SCAI) 2013.
  20. Frontiers of Combining Systems (FROCOS) 2013.
  21. Advances in Modal Logic (AiML) 2012.
  22. Workshop on Logical Aspects of Multi-Agent Systems (LAMAS) 2012.
  23. International CDIO Conference 2012.
  24. Workshop on Logical Aspects of Multi-Agent Systems (LAMAS) 2011.
  25. Methods for Modalities (M4M) 2011.
  26. International CDIO Conference 2011.
  27. International Workshop on Hybrid Logic and Applications (HyLo 2010).
  28. Methods for Modalities (M4M) 2009.
  29. Hybrid Logic (HyLo) 2009.
  30. IADIS International Conference on Intelligent Systems and Agents 2008.
  31. Hybrid Logic (HyLo) 2007.
  32. IADIS International Conference on Intelligent Systems and Agents 2007.
  33. Hybrid Logic (HyLo) 2006 workshop affiliated with Logic In Computer Science (LICS 2006) and part of the Federated Logic Conference (FLoC 2006).
  34. Scandinavian Conference on Artificial Intelligence 2006.

Other activities


Appointments


Awards


In the media

Radio and TV:
  1. Når bankrådgiveren er en robot. Digitalt, DR P1, 2 November 2017.
  2. Hvad tror du andre tror, at du tror på?. Rosenkjær-eksperimenterne, DR P1, 1 November 2017.
  3. Estland vil gøre robotter juridisk ansvarlige. DR2 Dagen, DR2, 12 October 2017.
  4. Science-fiction-dilemma er højaktuelt. DR2 Dagen, DR2, 6 October 2017.
  5. Robotterne kommer. P1 Eftermiddag, DR P1, 20 September 2017.
  6. Kunstig intelligens, Hjernekassen på P1, DR P1, 18 September 2017.
  7. Når robotten laver Science Fiction. Aflyttet, Radio 24syv, 14 September 2017.
  8. Norsk valgrobot. P1 Eftermiddag, DR P1, 11 September 2017.
  9. Dræberrobotterne kommer. 55 minutter, Radio 24syv, 24 August 2017.
  10. Facebooks AI-eksperiment. AK 24syv, Radio 24syv, 2 August 2017.
  11. Robotterne kommer. Thomas Bolander and Jacob Sherson. Mikrofonholder, Radio 24syv, 15 June 2017.
  12. Lej en Forsker. Go' Morgen Danmark, 28 April 2017.
  13. TV2 Nyhederne 22.00, 6 April 2017.
  14. Supercomputer komponerer sange. P1 Morgen, 12 November 2016.
  15. Et samfund med kunstig intelligens - ny kommission. Elektronista, Radio 24syv, 21 September 2016.
  16. Om Facebooks billedgenkendelsesalgoritme og censur. Kulturlørdag på DR P1, 17 September 2016.
  17. Etiske dilemmaer om selvkørende biler. TV2 Nyhederne, 5 July 2016.
  18. Kunstig intelligens skriver en science fiction-film. Kulturlørdag på DR P1, 18 June 2016.
  19. Kunstig intelligens: Robotterne indtager arbejdsmarkedet. DR2 Dagen, 9 June 2016.
  20. Den 4. industrielle revolution. Hjernekassen på P1, 25 April 2016.
  21. Hvad gik galt med chatrobotten fra Microsoft?. DR2 Deadline, 2 April 2016.
  22. Du skal tale med robotter. Elektronista, Radio 24syv, 30 March 2016.
  23. Om Star Wars, robotter og kunstig intelligens. Newscience, TV2 News, 16 December 2015.
  24. Om Blade Runner og menneskelig vs. kunstig intelligens. P1 Eftermiddag, DR P1, 7 May 2015.
  25. Kunstig intelligens får højere IQ. Videnskabens Verden, DR P1, 7 April 2015.
  26. Skal vi være bekymrede for udviklingen indenfor kunstig intelligens? DR2 Deadline 22.30, 12 March 2015.
  27. Om DeepMind og kunstig intelligens. 24Syv Morgen on Radio 24syv, 3 March 2015.
  28. Kunstig intelligens og fremtidens robotter. In Danish national TV, DR2. DR2 Dagen, 20 October 2014.
  29. Om sociale robotter og etik. AK24syv på Radio 24syv, 17 September 2014.
  30. Om fremtidens dræberrobotter. Ghandi på DR P3, 9 September 2014.
  31. Computeren har narret mennesket. Kulturen på NEWS, TV2 News, 10 June 2014.
  32. Supercomputer narrer menneske. 24syv Morgen on Radio 24syv, 10 June 2014.
  33. IBM satser på kommerciel kunstig intelligens. In Danish national radio, Orientering on DR P1. 11 March 2014.
  34. Intelligens og maskiner. In Danish national radio, Apropos on DR P1. 5 March 2014.
  35. Når robotten bliver en ven. In Danish national TV, DR2. DR2 Dagen, 28 February 2014.
  36. Om kunstig intelligens i sociale medier (delen om kunstig intelligens starter ca. efter 1 time). In Danish national radio, Kultursøndag på DR P1. 10 February 2014.
  37. Om kunstig intelligens og Spike Jonze-filmen "Hende" ("Her"). Radio 24syv, 3 February 2014.
  38. Om robotter, kunstig intelligens og social perspektivtagning. In Danish national radio, Videnskabens Verden på P1. 22 October 2013.
  39. Om kunstig intelligens. Hjernekassen på P1. 15 April 2013.
  40. Kortlægning af den menneskelige hjerne og de mulige konsekvenser for kunstig intelligens. In Danish national TV, DR2. DR2 Dagen, 20 March 2013.
  41. Forholdet mellem teknologi og kultur (in Danish). Radio 24syv, 29 November 2012.
  42. Alan Turing og kunstig intelligens. In Danish national radio, P1 morgen og Videnskabernes Verden på P1. 6 March 2012.
  43. Om Alan Turing og kunstig intelligens. In Danish national TV, Deadline on DR2. 10 January 2012.
  44. Sprog, intelligens og kunstig intelligens. In Danish national radio, Sproglaboratoriet on P1. April 2011.
  45. 5 korte interviews om kunstig intelligens. In Danish national radio, Danskernes Akademi på P1 on P1. April 2011.
  46. Forelæsning om kunstig intelligens. In Danish national television, Danskernes Akademi on DR2. April 2011.
Newspapers and magazines:
  1. Der er så mange aspekter af menneskelig intelligens, vi ikke er i nærheden af at kunne efterligne. Ingeniøren, 1 October 2017.
  2. Ved du hvad robotics og kunstig intelligens er? Få svaret her. Berlingske Business, 12 September 2017.
  3. Kunstig intelligens er overalt på Europas største elektronikmesse. Berlingske Business, 7 September 2017.
  4. Er vi klar til at lade kunstig intelligens overtage store dele af vores liv? Kristeligt Dagblad, 16 June 2017.
  5. Bliver der sat strøm til dit job?. Vejlederforum, no 2, 2017.
  6. Avancerede robotter vinder frem i militæret. Fagligt Forsvar, no 1, Spring 2017.
  7. Er kunstig intelligens den største trussel mode mennesket?. Politiken, 17. februar 2017.
  8. Vejen til førerløse biler er lang og bumpet. Året Rundt 2016, Ingeniøren, December 2016.
  9. Robotter på stuegang. Weekendavisen, 9 December 2016.
  10. Som børn med automatvåben. Weekendavisen, 18 November 2016.
  11. En rådgiver og hendes robot. Information, 18 November 2016.
  12. Møt den sociale roboten Nadine. Aftenposten Vitenskap, no 7, 2016.
  13. Førerløse busser skal spare tid og penge. Information, 27 July 2016.
  14. Førerløse busser rammer Danmark. BT, 28 July 2016.
  15. Tesla dødsulykke giver ridser i lakken til selvkørende biler. Berlingske Business, 1 July 2016.
  16. Hvor meget ansvar er vi klar til at give den selvkørende bil?. Information, 25 April 2016.
  17. De fleste har jo tre-fire milliarder linjer kunstig intelligens-kode i lommen. Computerworld, 15 February 2016.
  18. Dagen gryr for kunstig intelligens på de finansielle markeder and Hvad ændrer de kloge computere?. Finans | Jyllands-Posten, 8 February 2016.
  19. Nu tager robotterne også specialistjob. Ingeniøren, 29 January 2016.
  20. Har din robot forstået dig i dag. Ingeniøren, 30 October 2015.
  21. Hvornår skal vi blive bange? Article on the future of AI by Mikkel Willum Johansen and Thomas Bolander in Weekendavisen, 23 October 2015.
  22. Fremtiden er her: Få en lettere hverdag med robotter Fremtiden er her: Få en lettere hverdag med robotter. BT, 20 August 2015.
  23. Skal vi frygte robotter. BT, 2 August 2015.
  24. Glem dommedagsprofetierne om kunstig intelligens. Ingeniøren, 13 February 2015.
  25. Når våben bestemmer over liv og død. Ingeniøren, 19 December 2014.
  26. Computer består afgørende mennesketest. Berlingske, 10 June 2014.
  27. Book review of "Hva er kunstig intelligens" by Jim Tørresen. Apollon (Norwegian research magazine), Mai 2014.
  28. Hvordan bestemmes sudokuers sværhedsgrad?. Jyllands-Posten, 16 March 2014.
  29. Drop kæresten -- elsk dit styresystem i stedet. Politiken, 27 February 2014.
  30. Kan man elske sit styresystem. Information, 26 February 2014.
  31. Dagens Citat, Politiken, 16 February 2014.
  32. Nye robotter udfordrer etikken. Kristeligt Dagblad, 14 February 2014.
  33. Nu bygger forskerne en hjerne. Prosabladet, June 2013.
  34. De intelligente maskiner kommer. Prosabladet, April 2013.
  35. Eddie kan tænke som en fire-årig. Om Theory of Mind i kunstig intelligens. Ingeniøren, April 2008.
  36. Sudoku: Avanceret matematisk tidsfordriv og Ofte stillede spørgsmål om Sudoku. Ingeniøren, 29 February 2008.
  37. Ingeniøren, May 2006.
  38. Årets underviser på DTU. DTU-avisen, April 2006.
Online media:
  1. Nordea fyrer tusindvis - robotten Nora bliver din nye bankrådgiver, dr.dk, 26 October 2017.
  2. Kunstig intelligens: Bliver mennesker overflødige?, videnskab.dk, 19 September 2017.
  3. Ekspert: Kunstig intelligens vil ikke gøre mennesket overflødigt, DR Viden, 15 September 2017.
  4. Min nye veninde er en app. Format, 4 September 2017.
  5. Kunstig intelligens er lige så diskriminerende som dig. DR Nyheder, Viden, 20 April 2017.
  6. Chatbots er kommet for at blive – men skal din virksomhed bruge dem?. TrendsOnline, 14 February 2017.
  7. Vores velfærd vil tage tigerspring med kunstig intelligens. Public Perspectives, 12 January 2017.
  8. Computerforskerens juleønske: En husholdningsrobot. videnskab.dk, 19 December 2016.
  9. Vi er stadig langt fra menneskelige superrobotter. videnskab.dk, 29 November 2016.
  10. Nu kommer de selvkørende biler til Danmark. NetAvisen, 3 November 2016.
  11. Google-computers triumf er et lille skridt mod store samfundsomvæltninger. videnskab.dk, 16 March 2016.
  12. Memristor-hjerne kan revolutionere kunstig intelligens. videnskab.dk, 15 May 2015.
  13. Thomas Bolander on self-reference and agent introspection. Interview at the blog of MIRI, Machine Intelligence Research Institute, Berkeley. 13 April 2014.
  14. Sociale robotter i støbeskeen. Article on videnskab.dk concerning some of my current research, August 2010.