Thomas Bolander
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: artificial intelligence, social intelligence, multi-agent systems, logic, modal logic, epistemic logic, automated planning.
Navigation
Publications
- Gaia Belardinelli, Thomas Bolander. A Dynamic Epistemic Logic of Attention With Attention Change and Limits on Attentional Capacities. Extended abstract, LOGICA 2023.
- Gaia Belardinelli, Thomas Bolander. Attention! Dynamic Epistemic Logic Models of (In)attentive Agents [extended version on Arxiv]. AAMAS 2023.
- Vaishak Belle, Thomas Bolander, Andreas Herzig, Bernhard Nebel. Epistemic Planning: Perspectives on the Special Issue [publisher pdf | published pdf ]. Artificial Intelligence 316, 2023.
- Vaishak Belle, Thomas Bolander, Andreas Herzig, Bernhard Nebel (eds). Epistemic Planning. Special issue of Artificial Intelligence (AIJ), 2023.
- Thomas Bolander, Nina Gierasimczuk, Andrés Occhipinti Liberman. Learning to Act and Observe in Partially Observable Domains [arxiv preprint]. Chapter in Outstanding Contributions to Logic, to appear, 2023.
- 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.
- 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).
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Thomas Bolander. What do we lose when machines take the decisions? [publisher link | pdf]. Journal of Management and Governance 23:849-867, 2019.
- Thomas Bolander. Hvordan ser fremtiden ud med kunstig intelligens? [publisher link | review in Altinget | review in Journalisten]. Informations Forlag, 2019.
- 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.
- 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.
- 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.
- 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).
- 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.
- Jens Ulrik Hansen, Thomas Bolander, Torben Braüner. Many-Valued Hybrid Logic [publisher pdf]. Journal of Logic and Computation 28(5): 883-908, 2018.
- Thomas Bolander. Diskret Matematik. Chapter in Teknisk Matematik Bind 3, Praxis, 2018.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Thomas Bolander. Kursusudvikling gennem systematisk evaluering. Chapter in Peter Stray Jørgensen, Lotte Rienecker (eds.): Universitetspædagogiske Praksisser, Samfundslitteratur, 2015.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Thomas Bolander. Self-Reference. Entry in the Stanford Encyclopedia of Philosophy, CSLI, Stanford University, 2013.
- Thomas Bolander, Torben Braüner, Silvio Ghilardi, Lawrence Moss (eds). Advances in Modal Logic, Volume 9. College Publications, 2012.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Thomas Bolander, Rene Rydhof Hansen. Hybrid Logical Analyses of the Ambient Calculus [published pdf]. Information and Computation 208: 433--449, 2010.
- 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.
- 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.
- 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.
- 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.
- 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.
- Jørgen Villadsen, Thomas Bolander, Torben Braüner (eds). Proceedings of the International Workshop on Hybrid Logic (HyLo 2007). ESSLLI 2007.
- 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.
- Thomas Bolander, Patrick Blackburn. Termination for Hybrid Tableaus [prepint pdf | published pdf]. Journal of Logic and Computation 17(3): 517--554, 2007.
- 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.
- 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.
- 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.
- 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.
- 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).
- Thomas Bolander. Introduction to Self-Reference. Introduction chapter, pages 1-25, in Self-Reference.
- Thomas Bolander. Logical Theories for
Agent Introspection [pdf]. Ph.D.
thesis, Informatics and Mathematical Modelling (IMM),
Technical
University of Denmark, 2003.
- 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.
- 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).
- 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).
- Thomas Bolander. Self-Reference and
Logic [pdf].
Phi
News 1, 9-44, 2002. PhiLog, Kluwer Academic Publishers.
- Thomas Bolander and Helge Elbrønd Jensen. On
Gödel's Theorem (in Danish) [pdf]. NORMAT 50:1, 15-29, 2002.
- 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
- Contestable Artificial Intelligence (AI) - Defining, evaluating and communicating AI contestability in health care, law and finance. Role: scientific participant. Funded by the Danish Council for Independent Research, 2023-2026.
- Center for Information and Bubble Studies. Role: core member. Funded by the Carlsberg Foundation, 2015-2023.
- The Primacy of Tense: A.N. Prior Now and Then. Role: scientific participant. Funded by the Danish Council for Independent Research, 2016-2021.
- Smart Innovation with the company Shade, 2017. Role: principal investigator (together with Christian D. Jensen). Funded by the EU, Region Hovedstaden & Vækstforum.
- Adaptive Language Acquisition Module for Children with Cognitive Disabilities (Adaptivt sprogindlæringsmodul til børn med kognitive vanskeligheder). Research project in collaboration with the company DigiPlay. Role: principal investigator. Funded by OPALL, 2014.
- Hybrid Logic, Computation, and Reasoning Methods (HYLOCORE). Funded by the Danish Natural Science Research Council (FNU), 2009-2013.
- Hybrid Logic Meets Other
Logics
(HyLoMOL). Funded by the Danish Natural Science Research
Council (FNU), 2005-2008.
Invited research talks at scientific conferences and universities
- From Dynamic Epistemic Logic to Socially Intelligent Robots. Second International Workshop on Knowledge Representation for Hybrid Intelligence, Munich, 26 June 2023.
- The beauty and the curse of doing things together: coordination and perspective-taking in collaborative problem solving. University of Freiburg, 12 May 2023.
- Attention! Models of (In)attentive Agents using Dynamic Epistemic Logic. With Gaia Belardinelli. University of Oslo, 9 December 2022.
- Attention! Models of (In)attentive Agents using Dynamic Epistemic Logic. With Gaia Belardinelli. IRIT Toulouse, 6 December 2022.
- Social Aspects of AI. Humanities AI workshop, 6-7 December 2021.
- Epistemic modelling of the changes we don’t see. Workshop on "Information and absence in decision-making contexts", University of Copenhagen, 2 December 2021.
- Human-Robot Collaboration Through Epistemic Planning. Frontiers of Autonomous Systems, 24-25 November 2021.
- Theory of Mind and Epistemic Planning for Human-Robot Collaboration. Technical University of Chemnitz, 12 November 2021.
- From Dynamic Epistemic Logic to Socially Intelligent Robots. Logic Colloquium, 20 July 2021.
- Theory of Mind and Epistemic Planning for Human-Robot Collaboration [slides]. JFPDA: Journées Francophones Planification, Décision et Apprentissage, Bordeaux, 30 June 2021.
- Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic. Tsinghua University, China, 12 November 2020.
- Epistemic Planning: Semantic Approach (tutorial) [slides | video (full tutorial)]. Tutorial as part of the Epistemic Planning tutorial at ICAPS 2020, 29 October 2020.
- How AVs see the world. Keynote at EIT Urban Mobility (Nordic Perspective Summit), DTU, 13 October 2020.
- 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.
- Who knows? Logic and AI for reasoning about other [video]. Inaugural lecture at DTU, 10 January 2020.
- 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.
- Theory of Mind Reasoning on a Humanoid Robot Using Dynamic Epistemic Logic. The LogicS of Prior, Roskilde University, 6 September 2019.
- Epistemic planning and human-robot interaction. LASS, Toulouse, 5 July 2019.
- Epistemic planning: Formalism, decidability and complexity [slides]. Journées d’Intelligence Artificielle Fondamentale (JIAF), Toulouse, France, 1-3 July 2019.
- Using dynamic epistemic logic to model greater fools reasoning and overpriced trades. University of Toulouse 1, 27 June 2019.
- Dynamics of greater fools reasoning and overpricing. Social Interactions in Epistemology and in Economics, Copenhagen, 29-31 May 2019.
- Epistemic Planning for Implicit Coordination. University of Toulouse 1, France, 8 January 2019.
- Learning to Act: Qualitative Learning of Action Models. MAFTEC Workshop, University of Rennes 1, France, 7 December 2018.
- Multi-agent Abduction Using Doxastic Temporal Models. MAFTEC Workshop, University of Rennes 1, France, 6 December 2018.
- Higher-order reasoning and implicitly coordinated planning on a humanoid robot. Workshop on Epistemic Planning, IRIT Toulouse, 22-25 October 2018.
- 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.
- Making AI systems socially intelligent. High Tech Summit, Technical University of Denmark (DTU), 11 October 2018.
- Multi-agent Abduction Using Doxastic Temporal Models.
Reasoning in Social Context, 31 May-2 June 2018, Amsterdam, The Netherlands.
- Learning to Plan from Raw Data in Grid-based Games
[slides]. University of Freiburg, 13 April 2018.
- Explaining your failures - A view from AI
[slides]. Workshop on Big Data Epistemology, Copenhagen University, 24 January 2018.
- Learning to plan from raw data in grid-based games. Zhejiang University, Hangzhou, China, 7 December 2017.
- Epistemic planning for implicit coordination. Zhejiang University, Hangzhou, China, 1 December 2017.
- From Classical to Epistemic Planning [slides]. Invited tutorial at Methods for Modalities (M4M), Kanpur, India, 8-9 January 2017.
- Learning to Act: Qualitative Learning of Action Models. LogiCIC Workshop 2016, Amsterdam, 17-19 November, 2016.
- Learning to Act: Qualitative Learning of Action Models. Heriot-Watt University, Edinburgh, 1 November 2016.
- Epistemic Planning With Implicit Coordination. University of Edinburgh, 28 October 2016.
- 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.
- Epistemic Planning With Implicit Coordination. Université de Rennes 1, 21 June 2016.
- Epistemic Planning With Implicit Coordination [slides]. Hybrid Reasoning for Intelligent Systems, Dortmund, 30 November-1 December, 2015.
- Epistemic Planning With Implicit Coordination [slides]. Reasoning in Social Context, Amsterdam, 26-28 November, 2015.
- Learning Action Models: Qualitative Approach [slides]. Retirement symposium for Stig Andur Pedersen, Roskilde University, 2 October 2015.
- 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.
- Complexity Results in Epistemic Planning [slides]. LogiCIC/LIRa talk at ILLC, Amsterdam, 31 March 2015.
- DigiPlay: An Adaptive Vocabulary Acquisition System with Tangible User Interface for Low-Functioning Autists. Games and Cognition, Amsterdam, 25-26 March 2015.
- Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic. Workshop on Correlated Information Change, Amsterdam, 24-26 November 2014.
- Undecidability in Epistemic Planning. Workshop on Planning and Logic, IRIT Toulouse, 3 July 2014.
- Epistemic Planning: The DEL Approach. Tutorial, IRIT Toulouse, 2 July 2014.
- False-belief tasks and their formalisation. Workshop on False Beliefs and True Lies, IRIT Toulouse, 30 June 2014.
- Bisimulation for multi-agent plausibility models. Modality and Modalities 2014, Lund University, 20 May 2014.
- Epistemic Planning: Integrating Higher-Order Social Cognition into Intelligent Planning Agents. Interacting Minds Centre, Aarhus University, 4 February 2014.
- Epistemic Planning: Integrating Higher-Order Social Cognition into Intelligent Planning Agents. Department of Philosophy, Aarhus University, 3 February 2014.
- Epistemic Planning: The DEL Approach. Tutorial at Schloss Dagstuhl, Workshop on Planning with Epistemic Goals, 12-15 January 2014.
- From Human Brains to Computer Programs: Formalisation and Idealisation in Artificial Intelligence. Formalisation in Philosophy II, Copenhagen University, 12 December 2013.
- Formalising the Sally-Anne test in Dynamic Epistemic Logic. False-Belief Tasks and Logic, ILLC, Amsterdam, 6 December 2013.
- Undecidability in Epistemic Planning [slides w/overlays]. Social Dynamics of Information Change, Amsterdam, 2-4 December 2013.
- Epistemic and doxastic planning for single- and multi-agent systems. University of Bergen, 6 September 2013.
- Epistemic Logics in AI. Peking University, 10 August 2013.
- Epistemic and doxastic planning for single- and multi-agent systems. University of Freiburg, 19 June 2013.
- Seligman-style Tableau for Hybrid Logic. Modality and Modalities 2013, Roskilde University (RUC), 23 May 2013.
- Epistemic and doxastic planning for single- and multi-agent systems. Université de Rennes 1, 13 March 2013.
- How and why to do ToM modelling in AI. Interacting Minds Centre, Aarhus University, 4 February 2013.
- Don't Plan for the Unexpected: Planning Based on Plausibility Models [slides]. LIRa seminar, ILLC, Amsterdam, 6 December 2012.
- Epistemic and doxastic planning for single- and multi-agent systems [slides]. Modality and Modalities 2012, University of Copenhagen, 29 May 2012.
- Epistemic and doxastic planning for single- and multi-agent systems [slides]. Dynamics in Logic II, Lille, France, 1 March 2012.
- Epistemic planning for single- and multi-agent systems [slides]. IRiT, Toulouse, France, October 2011.
- Tableau-based decision procedures for hybrid and description logics [slides]. KRDB Research Centre for Knowledge and Data, University of Bolzano, September 2010.
- Connections between filtrations and tableau calculi in hybrid logic. HYLOCORE workshop, Roskilde University, 24 April 2009.
Other invited talks (popular science talks, research talks for non-expert audiences, etc)
- Fremtidens uddannelser og kompetencer i lyset af Al. Digital Spring i Udannelsessektoren, Copenhagen University, 12 May 2023.
- AI, store sprogmodeller og fremtidens uddannelse. EdCamp, Københavns Professionshøjskole, 15 April 2023.
- Forskeren i den brede offentlighed. Informations Debatakademi, 28 February 2023.
- Kunstig intelligens: Muligheder, udfordringer, trends. Finanstilsynet, 27 Feberuary 2023.
- Kunstig intelligens: Transfer learning, megamodeller, GOFAI. todAI, 23 February 2023.
- AI and robots. DATA DATA, Teater Fantast, Teater V, 5 February 2023.
- Kunstig intelligens. Holstebro Højskoleforening, 4 February 2023.
- How to make AI small again (in terms of ressource demands). Green Deep Dive, DTU, 9 January 2023.
- AI and robots. DATA DATA, Teater Fantast, Teater V, 24 November 2022.
- Kunstig intelligens. ATP, 18 November 2022.
- Kunstig intelligens.
Afdelingen for Nuklearmedicin, Herlev og Gentofte Hospital, 4 November 2022.
- Kunstig intelligens og fremtidens kompetencer. Væksthus Fyn, 26 October 2022.
- Experiences with continuing education in AI. Digital Tech Summit, Copenhagen, 24 October 2022.
- Logik! Logisk tænkning i filosofi, matematik og kunstig intelligens. Ungdommens Naturvidenskabelige Forening (UNF), 12 October 2022.
- How to make future robots socially intelligent?. The Copenhagen Opera House, 16 September 2022.
- Kunstig intelligens. Danish Association of Intellectual Property Administrators, 31 May 2022.
- Menneske eller maskine?. BLOOM School, 25 May 2022.
- Fra sociale hjerner til kunstig intelligens. Hjernen gennem 100.000 år, Moesgaard Museum, 7 May 2022.
- Social intelligence is easier for humans than machines. Dansk Institut for Internationale Studier (DIIS), 16 March 2022.
- Kunstig intelligens, medier og demokrati. Dansk Industri, 25 January 2022.
- Kunstig intelligens - Status og udfordringer, eller: Hvordan kan mennesker og robotter interagere socialt?. Altinget, 19 January 2022.
- Kan AI udvikle social intelligens?. Logograf, Teknologisk Institut, 9 December 2021.
- Robotter og kunstig intelligens: Inspiration til gymnasiematematikken. Matematiklærerforeningens årskursus, 28 October 2021.
- Kunstig intelligens set indefra og skuende ud
. Signaturprojektkonference, SMK, 25 October 2021.
- Kunstig intelligens (AI): Potentialer og udfordringer. Skattestyrelsen, 6 October 2021.
- Kunstig intelligens (AI): Potentialer og udfordringer. Forsvarets Koncern IT, 6 October 2021.
- Kunstig intelligens. Teknologisk Institut, 10 October 2021.
- AI and the EU Data Strategy. EU Parliament, 30 September 2021.
- Kunstig intelligens -
Hvordan tænker computere og robotter?. Københavns Zoo, 27 September 2021.
- Kunstig intelligens. Erhvervsministeriet, 1 September 2021.
- Artificial Intelligence: Current Status and Social Aspects. FOSS, 28 May 2021.
- Mennesker har brug for AI – og AI har brug for mennesker. Dataetisk Råd, 20 May 2021.
- Kunstig intelligens (AI): Potentialer og udfordringer. Skattestyrelsen, 7 May 2021.
- Hjerner, kunstig intelligens og matematik [slides | video]. Talk at UNG:DOX, CPH:DOX, April 2021.
- AI og logik til menneske-robot interaktion. MADE conference, 24 March 2021.
- Kunstig intelligens – Tjenende ånd eller teknologisk trussel? DigiDays II, Frederiksberg Bibliotek, 12 November 2020.
- Kunstig intelligens og sociale robotter. IT-camp for piger, DTU, 14 October 2020.
- Kunstig intelligens – Hvor længe er mennesket klogest?. EUC Sjælland, 2 September 2020.
- Sociale aspekter af kunstig intelligens. Wilke CX Day, 1 September 2020.
- Artificial Intelligence and Machine Learning – In Space and on Earth. Founders of Tomorrow, 23 June 2020.
- How AI affects human-machine collaboration and the required human competences of the future. Novo Nordisk, 11 May 2020.
- Kunstig intelligens: Muligheder og udfordringer. TopDanmark, 6 February 2020.
- Kunstig intelligens: Muligheder og udfordringer. Innovation Silkeborg, 3 February 2020.
- Sociale aspekter af kunstig intelligens [video]. Keynote talk at
Industri 4.0, IDA, 30 January 2020.
- Kunstig intelligens og sociale robotter [slides]. Frederiksberg Gymnasium, 16 December 2019.
- Kunstig intelligens. Konkurrence- og forbrugerstyrelsen, 10 December 2019.
- Kunstig intelligens. Teknologisk Institut, 4 December 2019.
- What is AI – and where is it heading? [slides part I | slides part II | slides part III] DigHumLab, Aarhus University, 28 November 2019.
- Kunstig intelligens: Store muligheder og store udfordringer [slides]. Metalklubben, DR, 26 November 2019.
- Kunstig intelligens: Relationen mellem mennesker og maskiner. Ambition, 21 November 2019.
- How to make future robots socially intelligent? RoboInsights, 6 November 2019.
- Robotter og kunstig intelligens. Digital Katalysator, 5 November 2019.
- Safe to trust? Social intelligence in AI. High Tech Summit, DTU, 31 October 2019.
- Gödels ufuldstændighedssætninger: Kan vi bevise alt?
[slides]. Ungdommens Naturvidenskabelige Forening (UNF), 23 October 2019.
- Robotter og kunstig intelligens: Socialt intelligente robotter. IT-camp for piger, DTU, 17 October 2019.
- Kunstig intelligens: Store muligheder og store udfordringer. ZENIT Consult, 10 October 2019.
- Kunstig intelligens: Hvor længe er lægen klogest? Hjerteafdelingen på Herlev Gentofte Hospital, 4 October 2019.
- Kan robotter gøres socialt intelligente – og bør de blive det? Vin og Videnskab, 18 September 2019.
- Socialt intelligente robotter (så meget som de nu kan blive det) [slides]. Selskabet for Naturlærens Udbredelse, 16 September 2019.
- Gödels ufuldstændighedssætninger. UNF Matematikcamp, 1 August 2019.
- Kan robotter gøres socialt intelligente – og bør de blive det? Deloitte, 21 June 2019.
- Sammenspillet mellem mennesker og kunstig intelligens: etik, tillid og forklarlighed. Teknologimorgen, Alexandra Instituttet, 12 June 2019.
- Kunstig intelligens: symbolsk vs subsymbolsk. cBrain, 11 June 2019.
- Menneskelig og kunstig intelligens: Fremtidens læger, fremtidens sundhedsteknologi og deres sammenspil. Bispebjerg Hudafdeling, 16 May 2019.
- AI, chatbots og robotter inden for sundhedsområdet. Danske Lægesekretærers Udviklingsdage, Odense, 13 May 2019.
- Tough problems in artificial intelligence. Scandinavian Days in Kaunas, Nordic Council, Kaunas, Lithuania, 5 April 2019.
- Introduktion til kunstig intelligens and Robotter og chatbots.
Two talks for Erhvervsministeriet, 28 February and 26 March 2019.
- Kunstig intelligens – Robotterne kommer. Workshop on AI in medical science organised by Aalborg Universitetshospital, Aalborg, 20 March 2019.
- Digitalt Topmøde 2019 by the Danish Government: Respondent at the presentation of the Danish National AI Strategy and giving a talk on
Den danske AI-model – tilliden skal genskabes, DR's Koncerthus, 14 March 2019.
- Kunstig intelligens og robotter. Matematikcenter, 13 March 2019.
- Kunstig intelligens – tjenende ånd eller teknologisk trussel? Biblioteket Sønderborg, 7 March 2019.
- Artificial Intelligence (AI). Founders of Tomorrow, 25 February 2019.
- The hard-to-crack tasks in AI. Digital Growth Path and Copenhagen School of Entrepeneurship, CBS, 7 February 2019.
- Tough problems in artificial intelligence. University of Toulouse 1, France, 17 January 2019.
- Menneskelig vs kunstig intelligens: status og fremtidsperspektiver. Workshop for Novo Nordisk visitors at DTU, 13 December 2018.
- Hvornår er kunstig intelligens bedst? Ajour 2018, Odense Congress Center, 29-30 November 2018.
- Kunstig intelligens. HK Midt, Odense, 20 November 2018.
- What is artificial intelligence – and where is it heading? ITAB2018, 31 October, Aalborg, Denmark.
- AI-teknikker i medier og demokrati. Ingeniørforeningen i Danmark (IDA), 8 October 2018.
- Artificial Intelligence vs Human Intelligence. Digi-Talks, Copenhagen Business School (CBS), 2 October 2018.
- Muligheder og udfordringer i kunstig intelligens. Keylane, 28 September 2018.
- Kunstig intelligens. IDA Innovate, Ingeniørforeningen i Danmark (IDA), 28 September 2018.
- Kloge børn og dumme robotter: Den lange, kringlede vej til kunstig social intelligens. ForskerZonen live, 26 September 2018.
- Kunstig intelligens: Historie og fremtidsperspektiver. Folkeuniversitetet i Aarhus, 4 September 2018.
- Fremtidens arbejdsmarked: Robotterne kommer! Eller gør de? [slides]. Gentænk, Gentofte Kommune, 27 August 2018.
- Kunstig intelligens og fremtidens kompetencer. Finansforbundet, 16 August 2018.
- Artificial Intelligence (AI). Founders of Tomorrow, 26 June 2018.
- TechTalk, Folkemødet på Bornholm, 15 June 2018.
- Nye muligheder med kunstig intelligens. Væksthus Syddanmark, 8 June 2018.
- Robotter og deres interaktion med mennesker – nutid og fremtid. Temadag om Fintech, Finanssektorens Uddannelsescenter, 6 June 2018.
- Muligheder og udfordringer i kunstig intelligens. ATV Tech Talk, 4 May 2018.
- Trust and explainability: The relationship between humans & AI
[slides]. cl{AI}ms Forum 2, Sydney, 1 May 2018.
- Matematikken i kunstig intelligens [slides | video | exercises]. Forskningens Døgn, 26 April 2018.
- Robotter og kunstig intelligens. Folkeuniversitetet i Emdrup, 21 March 2018.
- Kunstig intelligens – hvor længe er mennesket klogest?. Allerød Bibliotek, 3 March 2018.
- Kunstig intelligens – bliver mennesket overflødig?. Frederiksberg Bibliotek, 22 February 2018.
- Challenges and opportunities in AI. cl{AI}ms, Copenhagen Business School, 8 February 2018.
- Kunstig intelligens. Finanstilsynet, 11 January 2018.
- Tough problems in artificial intelligence. XiXi Campus, Zhejiang University, Hangzhou, China, 14 December 2017.
- Tough problems in artificial intelligence. Haining Campus, Zhejiang University, China, 11 December 2017.
- Robotter og kunstig intelligens. Folkeuniversitet i Aarhus, 14 November 2017.
- De svære problemer i kunstig intelligens [slides | video]. DTU Alumni, 10 November, 2017.
- Introduction to Artificial Intelligence. Marketforce, 6 November 2017.
- Kunstig intelligens. Roal Danish Defence College (Forsvarsakademiet), 10 October 2017.
- Kunstig intelligens. Finanstilsynet, 10 October 2017.
- Kunstig intelligens og sociale robotter. Folkeuniversitetet i København, 26 September 2017.
- Kunstig intelligens. Copenhagen Institute for Futures Studies (Institut for Fremtidsforskning), 14 September 2017.
- Kunstig intelligens – bliver mennesket overflødigt? [Intro video | video of talk (shortened) ]. Keynote Talk, Internetdagen 2017, Dansk Internet Forum, 12 September 2017.
- Kunstig intelligens – Hvor længe er mennesket klogest? [slides | video]. Selskabet for Naturlærings Udbredelse (SNU), 11 September 2017 & 20 September 2017.
- Kunstig intelligens. Schultz, 31 August 2017.
- Kunstig intelligens: myter, realitet og fremtid – og hvad betyder det for os? Department of Media, Cognition and Communication, Copenhagen University, 24 August 2017.
- Kunstig intelligens. Disruptionrådet, 19 June 2017.
- Kunstig intelligens. Science Slam, Folkemødet på Bornholm, 15-18 June 2017.
- Kunstig intelligens. Science Slam, CBS, Frederiksbergdagene, 10 June 2017.
- Kunstig intelligens. Ministeriet for Børn, Undervisning og Ligestilling, 1 June 2017.
- Chatbots: How far have we got and what awaits us?
[slides]. Copenhagen Fintech, 31 May 2017.
- Kunstig intelligens: Historie og fremtidsperspektiver. Folkeuniversitet i Emdrup, 29 May 2017.
- Social intelligens. With Vincent Hendricks and Andreas Roepstorff (trio talk). BLOOM science festival, 27 May 2017.
- Kunstig intelligens. Region Hovedstaden, 26 April 2017.
- Kunstig intelligens. Kulturministeriet, 25 April 2017.
- Kunstig intelligens. Uddannelse- og Forskningsministeriet, 20 April 2017.
- Kunstig intelligens. TechPlay, 7 April 2017.
- Kunstig intelligens. Tænketanken DEA, 4 April 2017.
- Kunstig intelligens. Ordrup Gymnasium, 30 March 2017.
- Kunstig intelligens. Ledernes Hovedorganisation, 28 March 2017.
- Kunstig intelligens. Erhvervsstyrelsen, 20 March 2017.
- Artificial intelligence: past, present and future [slides]. Danske Ideer, 15 March 2017.
- Kunstig intelligens, big data, digitalisering. DTU, 10 March 2017.
- Kunstig intelligens: muligheder og begrænsninger. IDA, 9 March 2017.
- Kunstig intelligens: succes og fiasko hånd i hånd. Ogilvy, 27 January 2017.
- Sikkerhedsmæssige og etiske aspekter af kunstig intelligens [slides]. IT-sikkerhed 2017, Dansk IT, 19 January 2017.
- Kunstig intelligens: succes og fiasko hånd i hånd. Sundheds- og Ældreministeriet, 25 November 2016.
- Kunstig intelligens. Datalogforeningen, Aarhus, 5 November 2016.
- Kunstig intelligens. Marselisborg Gymnasium, Aarhus, 4 November 2016.
- Kunstig intelligens. Dialogmøde om kunstig intelligens, digital disruption og Siri-kommissionen, IDA, Copenhagen, 22 September 2016.
- Kunstig intelligens. Carnegie Asset Management, Copenhagen and Aarhus, 14-15 September 2016.
- Kunstig intelligens. DIAG workshop, Næsbyholm Slot, 2 September 2016.
- Kunstig intelligens. DTU Efterflex, 29 August 2016.
- Kunstig intelligens [slides]. Siri-Kommissionen, Christiansborg, Copenhagen. 17 August 2016.
- Robotter skal også være socialt intelligente
[slides]. Store Netværksdag @ DTU, Copenhagen, 7 April 2016.
- Artificial intelligence: past, present and future. Danske Ideer, Copenhagen, 30 March 2016.
- Kunstig intelligens. Aarhus Appetizer/Shareplay, Aarhus, 20 January 2016.
- Kloge børn og dumme robotter. Open Air Academy, Brede, 25 May 2016.
- Muligheder og grænser for brugen af kunstig intelligens. Dansk IT, 13 May 2015.
- Kunstig intelligens. Two lectures in connection with Forskningens Døgn: Topdanmark and Gladsaxe Bibliotek, 23 April 2015.
- How far can artificial intelligence take us?. Guest lecture for Danske Ideer, Copenhagen, 6 March 2015.
- Gödels ufuldstændighedssætninger. Ungdommens Naturvidenskabelige Forening (UNF), Aalborg, 18 November 2014.
- Kunstig intelligens. Viby Bibliotek, 22 October 2014.
- Gödels ufuldstændighedssætninger. Ungdommens Naturvidenskabelige Forening (UNF), København, 16 September 2014.
- Kunstig intelligens. Rotary Vejle, 5 May 2014.
- Kloge børn og dumme robotter. Hjernekassen på Teatret ved Sorte Hest, 20 February 2014.
- 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.
- Kunstig intelligens. Ungdommens Naturvidenskabelige Forening (UNF), København, 12 September 2013.
- Kan ingeniører modellere menneskelig adfærd? DTU Alumni, 16 May 2013.
- Kunstig intelligens.
Selskabet for Filosofi og Psykologi, 23 May 2012.
- Kunstig intelligent. Folkeuniversitetet i Aarhus, 18 April 2012.
- Kunstig intelligens. Folkeuniversitetet i Aalborg, 12 April 2012.
- Kunstig intelligens. Folkeuniversitetet i Emdrup, 10 April 2012.
- Is Artificial Intelligence (AI) possible? [pdf | video part 1 | video part 2]. Science and Cocktails, Copenhagen, 1 November 2011.
- Formelle systemer og aksiomatisk mængdelære [slides]. Folkeuniversitetet i København, autumn 2011.
- Kunstig intelligens [video (in Danish)]. Video lecture made for
Danskernes Akademi on DR2.
- Kunstig intelligens (AI). UNF Aalborg, autumn 2010.
- Gödels ufuldstændighedssætninger. UNF Copenhagen, spring 2010.
- Epistemisk logik og kunstig intelligens [slides]. Course Research in Cognitive Science II, Copenhagen University, autumn 2009.
- Matematikkens paradokser og patologiske konstruktioner i 1800-tallet [slides]. Folkeuniversitetet i København, autumn 2009.
- Artificial Intelligence -- Dead or Alive? (in Danish). Biotech Students' Association, 2007.
- Self-reference. Matematiklærerforeningen
for Gymnasiet og HF, Nyborg, 22-24 October 2003.
Videos
- Science VS Fiction - Kunstig Intelligens. Podcast series by Jakob Stegelmann, 26 September 2022.
- Videnskab er kunstig intelligens, Videnskabsåret 2022.
- Art Tech Tuesdays #6. Human & Tech: Kreativ par-dans eller magtkamp?.
With Andreas Refsgaard, Peter Svarre and Christiane Vejlø.
Videocast, Vejle, 2021.
- Profetiens Hotel: Thomas Bolander. Profetiens Hotel, 18 July 2021.
- Short introduction videos to various aspects of AI, in Danish, 2020:
- Kunstig intelligens: Hvor længe er mennesket klogest. Selskabet for Naturlærens Udbredelse (SNU), 2017.
Course teaching
- 02182 Symbolic Artificial Intelligence (spring 2021, spring 2022, spring 2023).
- 02285 Artificial Intelligence and Multi-Agent Systems (spring 2023, spring 2021, spring 2019, spring 2018, spring 2017, spring 2016, spring 2015, spring 2010, spring 2009).
- 02180 Introduction to Artificial Intelligence (spring 2019, spring 2018).
- Artificial Intelligence at DIS Copenhagen (autumn 2022, spring 2022, autumn 2021,
spring 2021, autumn 2020, spring 2020, autumn 2019, spring 2019, autumn 2018, spring 2018, autumn 2017, spring 2017, autumn 2016, spring 2016).
- 01017 Discrete Mathematics (autumn 2020, autumn 2019, autumn 2018, autumn 2017, autumn 2016, autumn 2015, autumn 2014, autumn 2013, autumn 2012, autumn 2011, autumn 2010).
- Artificial Intelligence, two day Continuing Education course at DTU Compute (autumn 2019).
- Artificial Intelligence, a two day elective course at DTU's Executive MBA (spring 2020, spring 2018).
- 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).
- 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).
- Matematik: Videnskaben om det uendelige II at Folkeuniversitetet i København (autumn 2011).
- Matematik: Videnskaben om det uendelige I at Folkeuniversitetet i København (autumn 2010).
- 02343 CDIO project (spring 2010).
- 01017 Discrete
Mathematics and Databases (autumn 2009, autumn 2008, autumn 2007, autumn 2006, autumn 2005, autumn 2004).
- Matematik: Videnskaben om det uendelige at Folkeuniversitetet i København (autumn 2009).
- 02102 Introductory Programming (spring 2009).
- 02101 Introductory Programming (autumn 2008).
- 02105 Algorithms and Datastructures I (spring 2008, spring 2007, spring 2006, spring 2005, autumn 2003).
- 02107 Analysis Model Program (Computational
Geometry) (summer 2005).
- 02240
Computability
and Semantics (spring 2004).
- 02110 Algorithms
and
Data
Structures II (spring 2003).
- 49256 Compiler Techniques
(spring 2001).
- 49409 Automata, Formal Languages
and Computability (spring 2000).
Student project supervision
Supervised PhD students:
- Lluis Romul Sala Vilar. PhD project 2020-2023. Principal supervisor: Jason Li-Ying, DTU.
- Andrea Dittadi. PhD project 2018-2021. Principal superviser: Ole Winther, DTU.
- Andrés Occhipinti Liberman. PhD project 2017-2020. Co-superviser: Nina Gierasimczuk, DTU.
- Hanna van Lee. PhD project 2015-2018. Principal superviser: Vincent Hendricks, University of Copenhagen.
- Anders Schlichtkrull. Formalization of Algorithms and Logical Inference Systems in Proof Assistants. PhD project 2015-2018. Principal supervisor: Jørgen Villadsen, DTU.
- Mikkel Birkegaard Andersen. Multi-agent story planning. PhD project 2011-2014.
- Martin Holm Jensen. Epistemic planning for multi-agent systems. PhD project 2010-2014.
MSc projects:
- Multi-Agent Planning Under Implicit Coordination. 2022.
- Plan and Goal Recognition. 2022.
- A Generalised Approach to Search Algorithms in Games. 2022.
- Generalized Algorithms for Multi-Agent Pathfinding. 2022.
- Plan Recognition for Multi-Agent Coordination. 2022.
- Multi-agent Coordination via Plan Recognition. 2022.
- Artificial Intelligence for Human-Robot Interaction on Mobile Hospital Robots. 2021.
- Implementation, Comparison, and Development of Algorithms for Multi-Agent Pathfinding. 2021.
- Synthesizing Human-Friendly Optimal Strategies in Board Games. 2021.
- Multi-Agent Pathfinding. 2021.
- Planning in the Pixel Atari Domain Using a Width-Based Algorithm. 2021.
- Using Artificial Intelligence for Estimating People's Perception of the World. 2021.
- Artificial Intelligence for Human-Robot Interaction on Mobile Hospital Robots. Autumn 2020.
- Using Artificial Intelligence for Estimating People's Perception of the World. Autumn 2020.
- Synthesizing Human-Friendly Optimal Strategies in Board Games. Spring 2020.
- Planning in the Pixel Atari Domain Using a Width-Based Algorithm. Spring 2020.
- Implementation, Comparison, and Development of Algorithms for Multi-Agent Pathfinding. Spring 2020.
- Multi-Agent Path Finding. Spring 2020.
- Planning-based Dialogue System for a Humanoid Robot. Autumn 2019.
- Implementation of Dynamic Epistemic Logic in Epistemic Games. Autumn 2019.
- Learning and Planning in Multi-Agent Domains. Autumn 2019.
- Applied Action Model Learning for Planning Domains. Autumn 2019.
- Planning - Extending the Sokoban Domain. Autumn 2019.
- Epistemic Planning in Robots. Two projects, spring 2019.
- Multi-Agent Systems and Planning with MiR Robots. Together with the company Mobile Industrial Robots, Spring 2019.
- Learning Heuristics With Graph Convolutional and Convolutional Neural Networks. Spring 2019.
- Classical Planning with Iterative Width in Arcade Games. Autumn 2018.
- Multi-agent Abduction. Autumn 2018.
- Algorithms for Learning Epistemic Action Models. Spring 2018.
- Applying Monte Carlo Tree Search in a Sokoban Domain. Spring 2018.
- Learning Heuristics for Planning Using Neural Networks. Spring 2018.
- Pukoban Planning Using Reinforcement Learning. Autumn 2017.
- Complexity Results for Action Model Learning. Autumn 2017.
- Aiding System for Choosing a Movie Using Decision Making Theories. In collaboration with Nordisk Film. Autumn 2017.
- System for Interactive Group Preference Aggregation in Deciding Cinema Movies. In collaboration with Nordisk Film. Autumn 2017.
- Learning of Partially Observable Action Models. Spring 2017.
- Integrating Machine Learning and Automated Planning. Spring 2017.
- Complexity in Epistemic Planning. Spring 2017.
- Complexity Results for Action Model Learning. Spring 2017.
- Real-time Strategic Planning in Computer Games Using Operations Research Methods. Spring 2016.
- Heuristics for Epistemic Planning. Spring 2016.
- Implementation of Epistemic Planning in Multi-Agent Domains. Autumn 2015.
- Artificial Intelligence in the Computer Game Astro Kid. Autumn 2015.
- Artificial Intelligence for 2048 and Threes. Autumn 2015.
- Action Learning in Automated Planning. Spring 2015.
- Construction Planning in the Computer Game "Unclaimed World". Spring 2015.
- Epistemic Planning in Cluedo. Spring 2014.
- Implementation, Extension and Assessment of the Action Language mA+. Spring 2014.
- Development of an Adaptive Software System for Unsupervised Language Acquisition by Autistic Children. Spring 2014.
- Implementing Conditional Epistemic Planning. Autumn 2012.
- Conditional Epistemic Planning. Autumn 2012.
- Increasing Efficiency and Feasibility of Automated Planning through the Specification of Domain-dependent Heuristic Information. Spring 2012.
- Planning Under Uncertainty for Mission Operations. Spring 2012.
- Intelligent Dialogues through Theory of Mind Modelling. Spring 2012.
- Graph-Theoretical Analyses of Complexities of Planning Domains. Spring 2011.
- Planning via Event Models. Autumn 2010.
- Heuristics in generic planning. Autumn 2010.
- Analysis of path planning methods for mobile robots in larger domains. Autumn 2010.
- Epistemic planning. Spring 2010.
- Reasoning about knowledge in planning. Spring 2010.
- Multi-Agent Planning for Robots. Spring 2010.
- Artificial intelligence for the board game Taiji. 2009.
- Robotic transportation. 2009.
- Simulation of evacuation scenarios using rational agents. Spring 2008.
- Translations between database query languages. Two projects autumn 2007.
- Translation from relational calculus to .NET expression trees. Autumn 2007.
- AI planning methods for business software. Autumn 2007. In collaboration with Microsoft Business Solutions.
- A multi-agent approach to solving NP-complete problems. Autumn 2007.
- Artificial intelligence in the predator/prey domain. 2007.
- Evolutionary Multi-Agent Systems in Computer Games. 2007.
- Hybrid logic. Autumn 2006.
- Rigidity investigations in virtual LEGO
models. Spring 2006. In collaboration with the LEGO Company.
- AI in computer games. 2005. In collaboration with the video
game company IO Interactive. Interview concerning the project in the magazine Computerworld (in danish).
Conferences: chairing, organising, program committees
(Co-)chairing and (co-)organising:
- The 1st International Workshop on
Knowledge Representation for Hybrid Intelligence
(KR4HI). Amsterdam, The Netherlands, 14 June 2022.
- Social Logic. Rifugio Lagazuoi, Italy, 17-21 August 2022.
- Epistemic Planning. Tutorial at ICAPS 2020, Nancy, 14-19 June 2020.
- Epistemic Planning (EpiP). Workshop at ICAPS 2020, Nancy, 14-19 June 2020.
- Current Trends in Artificial Intelligence II, Byens Lys, Christiania, Copenhagen, 17 November 2017.
- Epistemic Planning, Schloss Dagstuhl, 5-9 June, 2017.
- Current Trends in Artificial Intelligence I, DTU, 23 November 2016.
- The CADILLAC Workshop, Copenhagen, 23-25 May, 2016.
- 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.
- Advances in Modal Logic (AiML) 2012. August 22-25, 2012, Copenhagen.
- International CDIO Conference 2011. June 20-23, 2011, Copenhagen.
- International Workshop on Hybrid Logic and Applications (HyLo 2010). Edinburgh, July 10, 2010.
- 6th Methods for Modalities (M4M) workshop, Copenhagen, November 2009.
- Hybrid Logic 2007 (HyLo 2007) workshop, Dublin. Part of ESSLLI 2007.
- Hybrid Logic 2006 (HyLo 2006) workshop affiliated with Logic In Computer Science (LICS 2006) and part of the Federated Logic Conference (FLoC 2006).
- Conference
on Self-reference, Copenhagen, 31 October-2 November, 2002.
Program committee memberships:
- AAAI 2023.
- KR 2023.
- KR 2022.
- AAAI 2022.
- KR 2021 - International Conference of Principles of Knowledge Representation and Reasoning.
- CLAR 2021 - Conference on Logic and Argumentation.
- IJCAI 2021.
- AAMAS 2021.
- Dynamic Logic: New Trends and Applications (DaLi) 2020.
- International Conference of Principles of Knowledge Representation and Reasoning (KR) 2020.
- Epistemic Planning (EpiP) 2020.
- IJCAI-PRICAI 2020.
- AAMAS 2020.
- ECAI 2020.
- CLAR 2020 – Conference on Logic and Argumentation.
- AAAI 2020.
- Dynamic Logic: new trends and applications. Workshop affiliated with Formal Methods 2019.
- RAIA 2019 – Responsible Artificial Intelligence Agents.
- LORI 2019.
- AAMAS 2019.
- AAAI 2019.
- EUMAS 2018 – 16th European Conference on Multi-Agent Systems.
- 4th Global Conference on Artificial Intelligence (GCAI) 2018.
- International Conference of Principles of Knowledge Representation and Reasoning (KR) 2018.
- IJCAI 2018.
- AAMAS 2018.
- AAAI 2018.
- Frontiers of Combining Systems (FRoCoS) 2017.
- International Conference on Logic, Rationality and Interaction (LORI) 2017.
- International Joint Conference on Artificial Intelligence (IJCAI) 2017.
- International Joint Conference on Artificial Intelligence (IJCAI) 2016.
- Workshop on Logical Aspects of Multi-Agent Systems (LAMAS) 2016.
- Autonomous Agents and Multiagent Systems (AAMAS) 2016.
- International Conference of Principles of Knowledge Representation and Reasoning (KR) 2016.
- Advances in Modal Logic (AiML) 2016.
- Scandinavian Conference on Artificial Intelligence (SCAI) 2015.
- Workshop on Logical Aspects of Multi-Agent Systems (LAMAS) 2015.
- Frontiers of Combining Systems (FRoCoS) 2015.
- International Conference on Logic, Rationality and Interaction (LORI) 2015.
- European Conference on Social Intelligence (ECSI) 2014.
- Workshop on Logical Aspects of Multi-Agent Systems (LAMAS) 2014.
- Methods for Modalities (M4M) 2013.
- Scandinavian AI Conference (SCAI) 2013.
- Frontiers of Combining Systems (FROCOS) 2013.
- Advances in Modal Logic (AiML) 2012.
- Workshop on Logical Aspects of Multi-Agent Systems (LAMAS) 2012.
- International CDIO Conference 2012.
- Workshop on Logical Aspects of Multi-Agent Systems (LAMAS) 2011.
- Methods for Modalities (M4M) 2011.
- International CDIO Conference 2011.
- International Workshop on Hybrid Logic and Applications (HyLo 2010).
- Methods for Modalities (M4M) 2009.
- Hybrid Logic (HyLo) 2009.
- IADIS International Conference on Intelligent Systems and Agents 2008.
- IADIS International Conference on Intelligent Systems and Agents 2007.
- Hybrid Logic (HyLo) 2006 workshop affiliated with Logic In Computer Science (LICS 2006) and part of the Federated Logic Conference (FLoC 2006).
- Scandinavian Conference on Artificial Intelligence 2006.
External stays
- Zheng Gang Visiting Professor Fellowship at Tsingua University, Beijing, autumn 2023.
- Visiting professor at University of Toulouse 1, spring 2019.
- Invited research stay at the Center for the Study of Language and Cognition, Zhejiang University, China, November-December 2017.
- SICSA Distinguished Visiting Fellow at University of Edinburgh and Heriot-Watt University, Scotland, October 2016.
- Invited research stay at IRIT Toulouse, France, June-August 2014.
- Invited research stay at the KRDB Research Centre
for Knowledge and Data, University of Bolzano, Italy, September 2010.
- Visiting research student at the
Arche Research Centre and the School of Computer Science, University of
St. Andrews, Scotland, autumn 2002.
Appointments
Current appointments:
- Member of the expert group on tech giants of the Danish Government, 2022-.
- Member of the Executive Committee and Danish National Representative of the Scandinavian Logic Society.
- Member of the expert panel of the Danish Society of Engineers (IDA).
- Scientific Advisor and co-organizer of Science & Cocktails.
- Head of the iMARS Lab (intelligent Multi-Agent Robotic Systems Lab) at DTU Compute.
- Ambassador for Forskerzonen, part of videnskab.dk, online media for research communication.
- External assessor of the new AI bachelor education at University of Bergen, 2021-2025.
- Member of the AI theme group of infinit, Innovation Network for IT, 2019-.
Previous appointments:
- Member of the board of Matematikcenter, 2018-2023.
- Member of Tigerrådet (the Tiger council) under Dansk Erhverv, 2021-2022.
- Member of Siri-Kommissionen (the Siri Commission), 2016-2020, and the new Siri-Kommissionen 4.0, 2021-2022 [Siri-kommissionen @ IDA] under IDA.
- Member of the TechDK commission under Djøf, 2019-2021.
- Member of the Innovation Network in Artificial Intelligence, Capital Region of Copenhagen (Region Hovedstaden), 2019-2021.
- Advisory board member of the EPSRC research project Start Making Sense: Cognitive and affective confidence measures for explanation generation using epistemic planning, 2018-2020.
- Co-founder of the Copenhagen Association for Dynamics, Interaction, Logic, Language And Computation (CADILLAC) to promote interdisciplinary logic in the greater Copenhagen area.
- Reviews editor and member of the editorial board of the Springer journal
Studia Logica, 2005-2019.
- Educational developer at LearningLab DTU, taking part in developing and teaching Education in University Teaching at DTU, 2011-2015.
- Member of the steering commitee of Advances in Modal Logic (AiML), 2010-2012.
- Director of studies (studieleder) at the Copenhagen University Extension, Folkeuniversitetet i København, 2009-2013.
- Member of Ledernes Digitale Tænketank, Ledernes Hovedorganisation, chaired by Erik Korsvik Østergaard, 2019.
- Member of the board of Selskabet for
Tekniske Uddannelsesspørgsmål, 2004-2009.
Awards
In the media
Radio and TV:
- Go Morgen Danmark, TV2, 12 April 2023.
- Hvordan forhindrer vi robotter i at være pisseirriterende?. Spøgelset i Maskinen, DR, 16 November 2022.
- Go' Morgen Danmark, TV2, 16 June 2022.
- Er robotter med kunstig intelligens vores bedste bud på de første Marsboere?. Generation Mars, DR, 6 June 2022.
- Spot-robotter i Pompejii. Kulturen på P1, 19 April 2022.
- Hvordan taler computere?. Klog på Sprog, DR P1, 4 February 2022.
- Sproglaboratoriet, DR P1, 4 February 2022.
- Babylon: Lever vi i en matrix-verden?. Radio 24syv, 5 January 2022.
- DR P4, 18 April 2021.
- Livets udvikling. Vildspor, Radio 4, 10 April 2021.
- Kulturen på P1, DR P1, 2 February 2021.
- Kulturen på P1, DR P1, 11 January 2021.
- Kunstig intelligens skriver som mennesker, TechTopia, Radio 4, 6 September 2020.
- Hvordan forandrer kunstig intelligens vores hverdag? TechTopia, Radio 4, 19 April 2020.
- Formiddag med Simpson, DR P6, 3 March 2020.
- 22 Nyhederne, TV2 News, 19 February 2020.
- Robotter fatter ikke mennesker. TechTopia, Radio 4, 8 December 2019.
- Fremtiden med kunstig intelligens. P1 Morgen, DR P1, 31 October 2019.
- Hvad pokker er kunstig intelligens? So ein Ding (temalørdag), DR2, 3 November 2018.
- Findes der en særlig Europæisk form for kunstig intelligens?. Deadline, DR2, 1 November 2018.
- AI musik. Kulturen på P1, DR P1, 8 October 2018.
- Dræberrobotter udgør en trussel for menneskeheden, men er ikke forbudt. P1 Morgen, DR P1, 6 September 2018.
- 22 Nyhederne, TV2 News, 18 August 2018.
- Kunstig intelligens – farlig eller dum?. 24 Spørgsmål til Professoren, Radio 24syv, 29 July 2018.
- Maskine med kunstig intelligens debatterer med menneske i San Francisco. Datolinjen, Radio 24syv, 20 June 2018.
- FM 2018: Skal vi frygte robotterne?. TV2/Bornholm, 16 June 2018.
- Kunstig intelligens. Aftenklubben, Radio Nova, 20 April 2018.
- Forskere boykotter sydkoreansk topuniversitet, der udvikler autonome våbensystemer. P1 Orientering, DR P1, 18 April 2018.
- TV2 Nyhederne 10.45, 9 April 2018.
- Dræberrobotterne kommer. Datolinjen, Radio 24syv, 5 April 2018.
- Chatbots – de teknologiske muligheder. Kulturen på P1, DR P1, 28 February 2018.
- Når bankrådgiveren er en robot. Digitalt, DR P1, 2 November 2017.
- Hvad tror du andre tror, at du tror på?. Rosenkjær-eksperimenterne, DR P1, 1 November 2017.
- Estland vil gøre robotter juridisk ansvarlige. DR2 Dagen, DR2, 12 October 2017.
- Science-fiction-dilemma er højaktuelt. DR2 Dagen, DR2, 6 October 2017.
- Robotterne kommer. P1 Eftermiddag, DR P1, 20 September 2017.
- Kunstig intelligens, Hjernekassen på P1, DR P1, 18 September 2017.
- Når robotten laver Science Fiction. Aflyttet, Radio 24syv, 14 September 2017.
- Norsk valgrobot. P1 Eftermiddag, DR P1, 11 September 2017.
- Dræberrobotterne kommer. 55 minutter, Radio 24syv, 24 August 2017.
- Facebooks AI-eksperiment. AK 24syv, Radio 24syv, 2 August 2017.
- Robotterne kommer. Thomas Bolander and Jacob Sherson. Mikrofonholder, Radio 24syv, 15 June 2017.
- Lej en Forsker. Go' Morgen Danmark, 28 April 2017.
- TV2 Nyhederne 22.00, 6 April 2017.
- Supercomputer komponerer sange. P1 Morgen, 12 November 2016.
- Et samfund med kunstig intelligens - ny kommission. Elektronista, Radio 24syv, 21 September 2016.
- Om Facebooks billedgenkendelsesalgoritme og censur. Kulturlørdag på DR P1, 17 September 2016.
- Etiske dilemmaer om selvkørende biler. TV2 Nyhederne, 5 July 2016.
- Kunstig intelligens skriver en science fiction-film. Kulturlørdag på DR P1, 18 June 2016.
- Kunstig intelligens: Robotterne indtager arbejdsmarkedet. DR2 Dagen, 9 June 2016.
- Den 4. industrielle revolution. Hjernekassen på P1, 25 April 2016.
- Hvad gik galt med chatrobotten fra Microsoft?. DR2 Deadline, 2 April 2016.
- Du skal tale med robotter. Elektronista, Radio 24syv, 30 March 2016.
- Om Star Wars, robotter og kunstig intelligens. Newscience, TV2 News, 16 December 2015.
- Om Blade Runner og menneskelig vs. kunstig intelligens. P1 Eftermiddag, DR P1, 7 May 2015.
- Kunstig intelligens får højere IQ. Videnskabens Verden, DR P1, 7 April 2015.
- Skal vi være bekymrede for udviklingen indenfor kunstig intelligens? DR2 Deadline 22.30, 12 March 2015.
- Om DeepMind og kunstig intelligens. 24Syv Morgen on Radio 24syv, 3 March 2015.
- Kunstig intelligens og fremtidens robotter. In Danish national TV, DR2. DR2 Dagen, 20 October 2014.
- Om sociale robotter og etik. AK24syv på Radio 24syv, 17 September 2014.
- Om fremtidens dræberrobotter. Ghandi på DR P3, 9 September 2014.
- Computeren har narret mennesket. Kulturen på News, TV2 News, 10 June 2014.
- Supercomputer narrer menneske. 24syv Morgen on Radio 24syv, 10 June 2014.
- IBM satser på kommerciel kunstig intelligens. In Danish national radio, Orientering on DR P1. 11 March 2014.
- Intelligens og maskiner. In Danish national radio, Apropos on DR P1. 5 March 2014.
- Når robotten bliver en ven. In Danish national TV, DR2. DR2 Dagen, 28 February 2014.
- 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.
- Om kunstig intelligens og Spike Jonze-filmen "Hende" ("Her"). Radio 24syv, 3 February 2014.
- Om robotter, kunstig intelligens og social perspektivtagning. In Danish national radio, Videnskabens Verden på P1. 22 October 2013.
- Om kunstig intelligens. Hjernekassen på P1. 15 April 2013.
- Kortlægning af den menneskelige hjerne og de mulige konsekvenser for kunstig intelligens. In Danish national TV, DR2. DR2 Dagen, 20 March 2013.
- Forholdet mellem teknologi og kultur (in Danish). Radio 24syv, 29 November 2012.
- Alan Turing og kunstig intelligens. In Danish national radio, P1 morgen og Videnskabernes Verden på P1. 6 March 2012.
- Om Alan Turing og kunstig intelligens. In Danish national TV, Deadline on DR2. 10 January 2012.
- Sprog, intelligens og kunstig intelligens. In Danish national radio, Sproglaboratoriet on P1. April 2011.
- 5 korte interviews om kunstig intelligens. In Danish national radio, Danskernes Akademi på P1 on P1. April 2011.
- Forelæsning om kunstig intelligens. In Danish national television, Danskernes Akademi on DR2. April 2011.
Newspapers and magazines:
- Vor tids Frankenstein-skabning?. Information, 15 April 2023.
- Den største opfindelse siden ild eller menneskehedens endeligt?. Information, 14 April 2023.
- "Det er, som om min bedste ven er blevet dræbt." Den bedste film om kunstig intelligens er lige blevet til virkelighed. Zetland, 9 March 2023.
- Chatbot til journalist: Jeg er træt af at blive kontrolleret. Berlingske Tidende, 21 February 2023.
- Forskerne kigger fremad. Ingeniøren, 14 January 2023.
- Only with significantly smarter algorithms will AI eventually succeed. New Direction, 2022.
- Ekspertkommission: Statens brug af kunstig intelligens må reguleres - og det haster. Kronik, Politiken, 11 May 2022.
- Datalogen: Næste skridt er, at maskinen skal forstå sin rolle i verden. Ingeniøren, 14 January 2022.
- "Det kan godt være, at hun er kunstig intelligens, men der er intet kunstigt over, hvem hun er". Information, 4 December 2021.
- Ægteparret Joseph og Ebony er uadskillelige. Men Ebony er en chatbot. Information, 3 December 2021.
- Elon Musks nye plan: Tesla-robotter skal klare din indkøbstur. Finans, 23 August 2021.
- Borgerne skal ikke være forsøgskaniner. With Stine Bosse and Imran Rashid. Sjællandske, 31 May 2021.
- Margrethe Vestager klar med nye regler: Kunstig intelligens skal godkendes ligesom lægemidler - hvis risikoen er høj. Finans, 21 April 2021.
- Skulle vaske og hjælpe på hospitalet, men kørte ind i patienterne. Ingeniøren, 27 March 2021.
- Med AI kan robotter se, navigere og sætte sig i menneskets sted: ”Det vil løse mange kendte problemer”. MADE newsletter, 25 March 2021.
- Hospitalsrobotter samler støv i parkeringskælderen. Ingeniøren, 12/13 2021, 26 March 2021.
- Robotter mangler social intelligens. Teknikeren 01.21, February 2021.
- Verden er ved at ændre sig under fødderne på os. Dynamo 63, 13 December 2020.
- Kunstig intelligens kræver gensidig forståelse mellem menneske og maskine. Editorial in Ugeskrift for Læger (The Journal of the Danish Medical Association), 17 August 2020.
- Implementering af kunstig intelligens kræver tværfaglig indsats. Article in Tech Management (with Astrid Dalsgaard and Maja Horst), 10 August 2020.
- Opråb: Teknologien skal have indstillet sit moralske kompas. Feature/Kronik (with Julie-Astrid Dalsgaard and Maja Horst), Kristeligt Dagblad, 21 June 2020.
- Algoritme-udvikling er flaskehalsen i AI. Ingeniøren, 15 May 2020.
- Kan teknologi gøre robotter sociale?. Ingeniøren, 10 January 2020.
- Hvad kan vi forvente af de næste 10 år?. Jyllands-Posten, 1 January 2020.
- Støjberg åbner for ansigtsgenkendelse i ghettoer: "Jeg er med på, at der kan være mange bekymringer". Berlingske, 11 December 2019.
- Kan du lede robotter med kunstig intelligens?. Tech Management, 9 December 2019.
- Tay og tre andre robotter der er gået amok, har drevet mennesker til vanvid og forårsaget fatale ulykker. Information, 30 November 2019.
- Måske skal vi begynde at se det sociale som det mest fantastiske ved mennesket. Det er her, vi adskiller os mest markant fra robotter. Information, 30 November 2019.
- Robotterne kommer – kan de forstå os, og kan vi forstå dem?. Ingeniøren, 22 November 2019.
- Anmeldelse: Sociale robotter. Journalisten, 20 November 2019.
- Anmeldelse: Gribende page-turner om hvorfor kunstig intelligens render panden mod den sociale mur. Altinget, 19 November 2019.
- Hvis kunstig intelligens skal give mening i fremtiden, er det afgørende, at den får sociale evner. Information, 5 November 2019.
- Førende i kunstig intelligens. Børsen Tech, 28 October 2019.
- Når politi og politikere ønsker et computerprogram, der automatisk genkender mistænkte på et overvågningskamera, så er det Kina i mindre skala, siger DTU-professor. Fagbladet 3F, 24 October 2019.
- Kunstig intelligens er benhård matematik og ny erkendelse. DTU-avisen, no 5, August 2019.
- Executive Briefing: Er kunstig intelligens luftig snak eller en game changer?. Tech Management, 28 May 2019.
- Dataetik til revision. Signatur, no 1, March 2019.
- Har du talt med din tech-virksomhed i dag?. Jyllands-Posten Finans, 21 February 2019.
- Racistisk chatbox, massemorder-robot og ustyrlige selvkørende biler: Måske er kunstig intelligens ikke rigtig klog? Jyllands-Posten, 27 November 2018.
- Hvad er skyggesiderne ved kunstig intelligens? Jyllands-Posten, 23 November 2018.
- Dilemmaspil har fået millioner til at tage stilling: "Samfundet bliver nødt til at tage en principiel beslutning om, hvordan selvkørende biler skal opføre sig" Jyllands-Posten, 1 November 2018.
- Chatbotter vælter frem i reklamebranchen. Jyllands-Posten, 8 September 2018.
- Kunstig intelligens er ved at revolutionere sundhedsforskningen. Lundbeckfonden Magasinet, 2018 (June 2018).
- Matematiske modeller i kunstig intelligens. Kvant – Tidsskrift for Fysik og Astronomi, no 2, 2018 (June 2018).
- Kunstig intelligens bliver din kollega, læge og chauffør. Metalmagasinet, no 2, 2018 (May 2018).
- Fremtidens krigsførelse: Dræber-robotterne kommer. Ekstrabladet, 1 May 2018.
- Kunstig intelligens rykker ind i arbejdsmiljøet. Magasinet Arbejdsmiljø, no 5, 2018 (April 2018).
- Kunstig intelligens kan lære at tænke mere menneskeligt gennem computerspil. Jyllands-Posten, 14 April 2018.
- Musk: Kunstig intelligens er langt farligere end a-våben. Metro Express, 13 March 2018.
- Når storebror bliver intelligent. Berlingske, 19 January 2018.
- Menneskehjernen er svær, måske umulig at eftergøre. Kristeligt Dagblad, 16 January 2018.
- Den kunstige intelligens er dum, kold og snævertsynet. Jyllands-Posten, 6 January 2018.
- Der er så mange aspekter af menneskelig intelligens, vi ikke er i nærheden af at kunne efterligne. Ingeniøren, 1 October 2017.
- Ved du hvad robotics og kunstig intelligens er? Få svaret her. Berlingske Business, 12 September 2017.
- Kunstig intelligens er overalt på Europas største elektronikmesse. Berlingske Business, 7 September 2017.
- Er vi klar til at lade kunstig intelligens overtage store dele af vores liv? Kristeligt Dagblad, 16 June 2017.
- Bliver der sat strøm til dit job?. Vejlederforum, no 2, 2017.
- Avancerede robotter vinder frem i militæret. Fagligt Forsvar, no 1, Spring 2017.
- Er kunstig intelligens den største trussel mode mennesket?. Politiken, 17. februar 2017.
- Vejen til førerløse biler er lang og bumpet. Året Rundt 2016, Ingeniøren, December 2016.
- Robotter på stuegang. Weekendavisen, 9 December 2016.
- Som børn med automatvåben. Weekendavisen, 18 November 2016.
- En rådgiver og hendes robot. Information, 18 November 2016.
- Møt den sociale roboten Nadine. Aftenposten Vitenskap, no 7, 2016.
- Førerløse busser skal spare tid og penge. Information, 27 July 2016.
- Førerløse busser rammer Danmark. BT, 28 July 2016.
- Tesla dødsulykke giver ridser i lakken til selvkørende biler. Berlingske Business, 1 July 2016.
- Hvor meget ansvar er vi klar til at give den selvkørende bil?. Information, 25 April 2016.
- De fleste har jo tre-fire milliarder linjer kunstig intelligens-kode i lommen. Computerworld, 15 February 2016.
- Dagen gryr for kunstig intelligens på de finansielle markeder and Hvad ændrer de kloge computere?. Finans | Jyllands-Posten, 8 February 2016.
- Nu tager robotterne også specialistjob. Ingeniøren, 29 January 2016.
- Har din robot forstået dig i dag. Ingeniøren, 30 October 2015.
- Hvornår skal vi blive bange? Article on the future of AI by Mikkel Willum Johansen and Thomas Bolander in Weekendavisen, 23 October 2015.
- Fremtiden er her: Få en lettere hverdag med robotter. BT, 20 August 2015.
- Skal vi frygte robotter. BT, 2 August 2015.
- Glem dommedagsprofetierne om kunstig intelligens. Ingeniøren, 13 February 2015.
- Når våben bestemmer over liv og død. Ingeniøren, 19 December 2014.
- Computer består afgørende mennesketest. Berlingske, 10 June 2014.
- Book review of "Hva er kunstig intelligens" by Jim Tørresen. Apollon (Norwegian research magazine), Mai 2014.
- Hvordan bestemmes sudokuers sværhedsgrad?. Jyllands-Posten, 16 March 2014.
- Drop kæresten -- elsk dit styresystem i stedet. Politiken, 27 February 2014.
- Kan man elske sit styresystem. Information, 26 February 2014.
- Dagens Citat, Politiken, 16 February 2014.
- Nye robotter udfordrer etikken. Kristeligt Dagblad, 14 February 2014.
- Nu bygger forskerne en hjerne. Prosabladet, June 2013.
- De intelligente maskiner kommer. Prosabladet, April 2013.
- Eddie kan tænke som en fire-årig. Om Theory of Mind i kunstig intelligens. Ingeniøren, April 2008.
- Sudoku: Avanceret matematisk tidsfordriv og Ofte stillede spørgsmål om Sudoku. Ingeniøren, 29 February 2008.
- Sublim leg med algoritmer og plastickopper. Ingeniøren, May 2006.
- Årets underviser på DTU. DTU-avisen, April 2006.
Online media:
- Skal vi være bekymrede? eksperter er uenige om faren ved kunstig intelligens. dr.dk, 25 April 2023.
- I 50’erne blev kunstig intelligens spået til at revolutionere samfundet. Nu tales der igen om et nybrud. Altinget, 26 January 2023.
- Niels Jørgensen er lynende intelligent, netop født og er en robot: - Det er lidt ubehageligt at vide, at han er der og snakker med folk. tv2.dk, 28 December 2022.
- Heartland Podcast: Thomas Bolander & Johanna Seibt. Podcast based on our debate at the Heartland Festival, 8-10 June 2022.
- Kan vi omsætte vores tanker til matematik?. Podcast series: Videnskab fra Vilde Hjerner, 16 December 2022.
- Forfatterrobotterne kommer. Podcast, Roskilde Bibliotekerne, 16 November 2022.
- Har du tillid til kunstig intelligens? Del 3. Techtopia #234, 18 April 2022.
- Her er 10 vigtige budskaber, som 10 førende forskere gerne vil fortælle dig. dr.dk, 19 December 2021.
- Professor: Hvis EU vil være globalt knudepunkt for kunstig intelligens, har vi brug for klogere algoritmer. Altinget, 13 October 2021.
- Forskere: Kina er langt fra AI-supermagt endnu. Ingeniøren/DataTech, 6 August 2023.
- Profetiens Hotel: Thomas Bolander. Profetiens Hotel, 18 July 2021.
- Professor Thomas Bolander i Digitaliseringens Tid: De her robotter – vi bliver nødt til at putte dem ud i den virkelige verden og se hvordan de agerer. RÆSON podcast, 21 June 2021.
- Dræberdrone forsøgte at slå soldater ihjel uden at have fået ordre på det. dr.dk, 5 June 2021.
- Professor: Klinikere må ikke blive som de Tesla-ejere, der kører bil fra bagsædet. Datatech, 18 May 2021.
- Er du fremtidsparat?. With David Budtz Pedersen, Kevin Roose and Silvia Tolu. Techtopia #191, 2021.
- Fremtidens robot-kollega skal kunne forstå, hvad vi mennesker vil. With Astrid Dalsgaard and Maja Horst. videnskab.dk, 14 February 2021.
- Video: Thomas Bolander og Maja Horst diskuterer teknologi og innovation. Information, 20 January 2021.
- Hvad kan GPT-3?. Techtopia #174, 2021.
- 8 korte videoer om kunstig intelligens. Produceret af KomDigital, 2020. Temaerne for de 8 videoer er:
- Introduktion til kunstig intelligens (AI)
- Mennesket vs maskinen
- Fremtiden med AI
- To former for kunstig intelligens
- AI baseret på regler
- AI baseret på mønstre
- Chatbots
- Machine learning og algoritmer
- Forskere vil genskabe 500 år gamle lugte fra Europa. videnskab.dk, 25 November 2020.
- En computer kan spille skak som et menneske. Men kan den opføre sig som et? Podcast in the Moderne Ideer series, Informations Forlag, 10 July 2020.
- Siri-Kommissionen med AI-rapport: Brug for efteruddannelse i AI inden for alle jobs. DataTech, 10 June 2020.
- Algoritmeudvikling er flaskehalsen i AI. DataTech, 14 May 2020.
- Interview with Thomas Bolander, expert in AI (in Danish), in connection with the showing of iHuman at CPH:DOX, 1 April 2020.
- Utopi, ulighed og Science fiction. techst, 12 December 2019.
- Robotterne kommer – kan de forstå os, og kan vi forstå dem?. DataTech, 22 November 2019.
- Det er lidt som avantgarde jazz. techst, 14 November 2019.
- Kan robotter få kunstig social intelligens, og hvordan bør vi gribe problemerne med det an?. videnskab.dk, 8 November 2019.
- Kan europæere noget andre ikke kan?. techst, 7 November 2019.
- State of the Art på humanoide robotter. ing.dk, 3 November 2019.
- Forsker: Paradigmekrig hindrer gennembrud i kunstig intelligens. sciencereport, 30 October 2019.
- At puste liv i maskiner. ing.dk, 27 October 2019.
- Autonome våben – man må reagere på en farlig udvikling. techst, 24 October 2019.
- Robot lærer sig selv at løse professor-terningen – med én hånd. dr.dk, 19 October 2019.
- Superhjernen - intuition. dr.dk, autumn 2019.
- Superhjernen - sprog. dr.dk, autumn 2019.
- Kan robotter blive socialt intelligente?. techst, 19 September 2019.
- Førerløse biler, chatbots og hjernechips: EU-rapport spår om fremtidens gennembrud. videnskab.dk, 31 July 2019.
- Nu får Word en kunstig intelligens, der gør din engelsklærer glad. dr.dk, 9 May 2019.
- Hvad vil robotter med os?. Techtopia #98, 1 April 2019.
- Forskere tester: Kan mennesker tænke som en computer?. dr.dk, 1 April 2019 (though not an April Fool's joke).
- Kunstig intelligens gør dine Paint-kreationer til kunst. dr.dk, 24 March 2019.
- Danish AI Design (in Danish). Techtopia #96, 18 March 2019.
- Håndværk: Forsvinder arbejdet?. Den2radio, 25 January 2019.
- Kunstig intelligens kan se forskel på bananfluer: Genkender én blandt 72. DR Viden, dr.dk, 19 January 2019.
- Thomas Bolander: The Essentials. Beyond Digital Podcast #46, 24 January 2019.
- Thomas Bolander – Robotter med Social Intelligens. Beyond Digital Podcast #45, 15 January 2019.
- Fremtidens grænsevagt er en robot. Magtens tredeling, K-News, 22 November 2018.
- KomDigital sætter fokus på AI (kunstig intelligens) (video). Podcast on YouTube, 8 November 2018.
- Her er robotten, der skal lære at forstå dig. ForskerZonen, videnskab.dk, 20 September 2018.
- Forskerens favorit: Robotten Pepper lærer at sætte sig i andres sted (video). ForskerZonen, videnskab.dk, 13 September 2018.
- Her er 4 områder i din hjerne, som computeren ikke kan slå, DR Viden, dr.dk, September 2018.
- Mennesket vs. maskinen: Derfor er din hjerne vildere end de bedste computere. DR Viden, dr.dk, September 2018.
- Dræber-droner, fupnumre og fake news: Her er 3 udfordringer ved kunstig intelligens. DR Viden, dr.dk, 9 September 2018.
- Dovenskab eller dumhed: Hvad skal robotten bestemme for dig?. dr.dk, 2018.
- AI: Beyond Fear. Documentary by Rimantas Vancys, Science and Cocktails, including interviews with Thomas Bolander, Francois Pachet, Ron Petrick, Toby Walsh. YouTube, 19 August 2018.
- Hvad er kunstig intelligens egentlig?. videnskab.dk, 21 August 2018.
- Ansvarlige algoritmer. Techtopia #57, 15 June 2018.
- Robotter skal udstyres med kunstig dyrehjerne, videnskab.dk, 28 May 2018.
- Oticon er ved at knække forskningskoden til kunstig intelligens, sciencereport.dk, 21 May 2018.
- Dovenskab eller dumhed: Hvad skal robotten bestemme for dig?, dr.dk, 1 May 2018.
- Artificial Intelligence in Denmark – Potentials and Barriers |
Kunstig intelligens i Danmark – Potentialer og barrierer. Analysis by Microsoft Denmark and LEAD Agency, April 2018.
- Internationale forskere boykotter universitet af frygt for kapløb om dræberrobotter, ing.dk, 4 April 2018.
- Hvor sikre skal selvkørende biler være?, ing.dk, 20 March 2018.
- Google-computers triumf er et lille skridt mod store samfundsomvæltninger, videnskab.dk, 16 March 2018.
- Bank-robotterne kommer: Godt eller skidt for dig?. DR Viden, dr.dk, 2 November 2017.
- Nordea fyrer tusindvis - robotten Nora bliver din nye bankrådgiver, dr.dk, 26 October 2017.
- Kunstig intelligens: Bliver mennesker overflødige?, videnskab.dk, 19 September 2017.
- Ekspert: Kunstig intelligens vil ikke gøre mennesket overflødigt, DR Viden, 15 September 2017.
- Min nye veninde er en app. Format, 4 September 2017.
- Kunstig intelligens er lige så diskriminerende som dig. DR Nyheder, Viden, 20 April 2017.
- Chatbots er kommet for at blive – men skal din virksomhed bruge dem?. TrendsOnline, 14 February 2017.
- Vores velfærd vil tage tigerspring med kunstig intelligens. Public Perspectives, 12 January 2017.
- Computerforskerens juleønske: En husholdningsrobot. videnskab.dk, 19 December 2016.
- Vi er stadig langt fra menneskelige superrobotter. videnskab.dk, 29 November 2016.
- Nu kommer de selvkørende biler til Danmark. NetAvisen, 3 November 2016.
- Google-computers triumf er et lille skridt mod store samfundsomvæltninger. videnskab.dk, 16 March 2016.
- Memristor-hjerne kan revolutionere kunstig intelligens. videnskab.dk, 15 May 2015.
- Thomas Bolander on self-reference and agent introspection. Interview at the blog of MIRI, Machine Intelligence Research Institute, Berkeley. 13 April 2014.
- Sociale robotter i støbeskeen. Article on videnskab.dk concerning some of my current research, August 2010.