
	click for info	click for info	click for info	click for info

Thomas Bolander

Associate Professor, Ph.D., M.Sc.

Department of Informatics and Mathematical Modelling (IMM), Technical University of Denmark (DTU).
Building 322 - Room 130 - Telephone (+45) 45 25 37 15 - Email: tb@imm.dtu.dk.
My addresses.

Keywords: logic (mathematical, computational, philosophical), modal logic, epistemic logic, artificial intelligence, multi-agent systems, graph theory, self-reference, introspection, paradoxes.

Publications

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.
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, DTU Informatics, 2009, pp. 218--233.
Thomas Bolander. Self-Reference. Entry in the Stanford Encyclopedia of Philosophy, CSLI, 2008.
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.
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, vol. 231, 2009, pp. 21--39.
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. Lecture Notes in Computer Science 4576: 83--100. Proceedings of WoLLIC'07 (Workshop on Logic, Language, Information and Computation).
Thomas Bolander, Patrick Blackburn. Termination for Hybrid Tableaus [prepint pdf | published pdf]. Journal of Logic and Computation 17(3): 517--554.
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]. Electronic Notes in Theoretical Computer Science 174(2007): 113--133. Proceedings of Hylo'06 (Hybrid Logics 2006).
Thomas Bolander, Torben Braüner. Tableau-Based Decision Procedures for Hybrid Logic [preprint pdf | published pdf]. Journal of Logic and Computation, December 2006; 16: 737--763.
Thomas Bolander, Torben Braüner. Two Tableau-Based Decision Procedures for Hybrid Logic [ps | 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). Can be bought eg. at amazon.com or in Denmark at saxo.dk.
Thomas Bolander. Introduction to Self-Reference. Introduction chapter, pages 1-25, in Self-Reference.
Thomas Bolander, Paul Fischer. Chapter 7 of the ESGI 04 (European Study Group with Industry) report on the LEGO Digital Designer problem [pdf]. Technical Report. 2004.
Thomas Bolander. Logical Theories for Agent Introspection [pdf]. Ph.D. thesis, Informatics and Mathematical Modelling (IMM), Technical University of Denmark, 2003.
Thomas Bolander. Which Patterns of Semantic Dependency are Paradoxical?, II. 22 pages. Submitted for publication.
Thomas Bolander. Which Patterns of Semantic Dependency are Paradoxical?, I. 20 pages. Submitted for publication.
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 [ps | 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

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.

Course teaching (current and previous)

Education in University Teaching at LearningLab DTU (autumn 2011).
Matematik: Videnskaben om det uendelige II at Folkeuniversitetet i København (autumn 2011).
01017 Discrete Mathematics (autumn 2011, autumn 2010).
Matematik: Videnskaben om det uendelige I at Folkeuniversitetet i København (autumn 2010).
01917 Discrete Mathematics and Databases (spring 2010, spring 2009, spring 2008, spring 2007, autumn 2006, spring 2006, atumun 2005).
02343 CDIO project (spring 2010).
02285 Artificial Intelligence and Multi-Agent Systems (spring 2010, spring 2009).
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

Students interested in supervision of bachelor, master's and PhD projects can contact me by e-mail (tb@imm.dtu.dk). Below I present current and previous projects as well as new project proposals.

Current and previous projects:

Implementing fast replanning with regards to game AI. Bachelor project autumn 2011.
Graph-Theoretical Analyses of Complexities of Planning Domains. Master's project spring 2011.
Multi-agent story planning. PhD project 2011-2014. Mikkel Birkegaard Andersen.
Epistemic planning for multi-agent systems. PhD project 2010-2013. Martin Holm Jensen.
Heuristics in generic planning. Master's project autumn 2010.
Analysis of path planning methods for mobile robots in larger domains. Master's project autumn 2010.
Planning via event models. Master's project autumn 2010.
Epistemic planning. Master's project spring 2010.
Reasoning about knowledge in planning. Master's project spring 2010.
Multi-Agent Planning for Robots. Master's project spring 2010.
AI in Board Games. Two bachelor projects spring 2010.
Artificial intelligence for the board game Taiji. Master's project 2009.
Robotic transportation. Master's project 2009.
Vehicle Routing Problem for Mobile Hospital Robots. Bachelor project spring 2009.
Multi-Agent Systems in AgentSpeak. Bachelor project autumn 2008.
Simulation of evacuation scenarios using rational agents. Master's project spring 2008.
AI planning in computer game engines. Bachelor project spring 2008.
Translations between database query languages. Bachelor project spring 2008. Master's project autumn 2007.
Multi-Agent Robotics using LEGO NXT robots. Bachelor projects spring 2008, spring 2007.
Enhanced search for rigidity in virtual LEGO models. Bachelor projects spring 2008, autumn 2007.
Translation from relational calculus to .NET expression trees. Master's project autumn 2007.
AI planning methods for business software. Master's project autumn 2007. In collaboration with Microsoft Business Solutions.
A multi-agent approach to solving NP-complete problems. Master's project autumn 2007.
Artificial intelligence in the predator/prey domain. Master's project 2007.
Automated Planning in Computer Games. Bachelor project autumn 2007.
Evolutionary Multi-Agent Systems in Computer Games. Master's project 2007.
Reasoning About Knowledge in Planning. Bachelor project spring 2007. The project won the McKinsey price as best bachelor project of the year at DTU.
Artificial Intelligence in Computer Game Engines. Bachelor project spring 2007.
Artificial Intelligence in Board Games. Bachelor project spring 2007.
Multi-agent robotics. Bachelor project (midtvejsprojekt) autumn 2006. Read the article from the Danish magazine Ingeniøren about the project.
Hybrid logic. Master's project autumn 2006.
Fundamental AI in computer game engines. Bachelor project (midtvejsprojekt) autumn 2005.
Rigidity investigations in virtual LEGO models. Bachelor projects (midtvejsprojekter) spring 2005 and spring 2006. Master's project spring 2006. The projects are carried out in collaboration with the LEGO company. The projects concern modelling the motions of virtual LEGO models in the LEGO Digital Designer.
AI in computer games. Master's project 2005. The project is carried out in collaboration with the computer game company Io Interactive. The project concerns implementing non-trivial AI in the non-player characters of computer games like Hitman. The students have been giving an interview concerning the project in the magazine Computerworld (in danish).

Selected project proposals:

Multi-agent robotics in the iMARS Lab. Many different types of projects are possible. Follow the link to the lab home page and read the descriptions of previous student projects for inspiration.
Motions in LEGO models. Projects at all levels. There are many interesting problems in connection with motions of virtual models in the LEGO Digital Designer that still need to be solved. See the short introduction. Keywords: Graph theory (mathematics), graph algorithms (algorithms and data structures), kinematics, programming.
AI in board games. Bachelor project (midtvejsprojekt) or master's project. I have invented a small two-persons board game called Kulibrat which is played with 2 times 4 pieces on a board of 4 times 3 squares. The project concerns making AI players for this game -- letting them play against each other and learn from their experiences. The project could involve AI subjects such as planning, genetic algorithms, learning.
Hybrid logic. Hybrid logic is one of my research areas, and there are always are number of problems (theoretical and applied) within this area that would be suitable for student projects. Some knowledge of logic and some mathematical maturity is required for these projects.
Translations between database query languages. In the course 01017/01917 Discrete Mathematics and Databases three query languages are learned: relational algebra, relational calculus, and SQL. It would be very nice to have a compiler that could translate queries in relational algebra and/or relational calculus into SQL, so that such queries could be computed in MySQL or another SQL database management system. Such a project involves many of the fundamental subjects in computer science: database systems, compiler techniques, programming language semantics, logic.

Conference activities

Chairing:

Co-chair of International Workshop on Hybrid Logic and Applications (HyLo 2010). July 10, 2010, Edinburgh, Scotland.
Co-chair of the 6th Methods for Modalities (M4M) workshop, November 2009, Copenhagen.
Co-chair of the Hybrid Logic 2007 (HyLo 2007) workshop, Dublin, Ireland. Part of ESSLLI 2007.
Program chair of Conference on Self-reference, October 31 to November 2, 2002, Copenhagen. Host: "PhiLog - The Danish Network for Philosophical Logic and its Applications". Information pertaining to the conference can be found at the home page of PhiLog (click "events").

Organising:

Co-organiser of Advances in Modal Logic (AiML) 2012. August 22-25, 2012, Copenhagen.
Co-organiser of International CDIO Conference 2011. June 20-23, 2011, Copenhagen.
Co-organiser of International Workshop on Hybrid Logic and Applications (HyLo 2010). July 10, 2010, Edinburgh, Scotland.
Co-organiser of the 6th Methods for Modalities (M4M) workshop, November 2009, Copenhagen.
Co-organiser of the Hybrid Logic 2006 (HyLo 2006) workshop affiliated with Logic In Computer Science (LICS 2006) and part of the Federated Logic Conference (FLoC 2006).
Co-organiser of Conference on Self-reference, Copenhagen, 2002. See above under charing.

Program committee member:

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.
Hybrid Logic (HyLo) 2007.
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.

Other activities

Current:

Logic seminar group at Roskilde University.

Previous:

One month invited research stay at the KRDB Research Centre for Knowledge and Data, University of Bolzano, September 2010.
Organiser of an IT Education Day (in Danish) for prospective students, November 12, 2008.
Co-organiser of meeting Effektiv undervisning, May 18, 2006.
Organising company visits for DTU's computer science students (Io Interactive autumn 2005, LEGO spring 2005, Metropol Online 2004, Force Technology 2003).
Co-organiser of meeting Programmering i ingeniøruddannelserne - hvornår, hvad, hvordan? (November 2004).
Short course on Self-Reference to members of "Matematiklærerforeningen for gymnasiet og HF" (Nyborg, October 22-24, 2003).
Autumn semester 2002: Visiting research student at the Arche Research Centre and the School of Computer Science, University of St. Andrews, Scotland.
Spring semester 2002: Visiting research student with Professor Stig Andur Pedersen, Roskilde University.

Slides and videos from selected talks

Is Artificial Intelligence (AI) possible? [pdf | video part 1 | video part 2]. Invited lecture at Science and Cocktails organized by the Niels Bohr Institute, autumn 2011.
Formelle systemer og aksiomatisk mængdelære [pdf]. Lecture at Folkeuniversitetet i København, autumn 2011.
Kunstig intelligens [video (in Danish)]. Video lecture made for Danskernes Akademi on DR2.
Kunstig intelligens (AI) [pdf]. Invited lecture at Aalborg University organised by UNF Aalborg, autumn 2010.
Gödels ufuldstændighedssætninger [pdf]. Invited lecture at Copenhagen University organised by UNF Copenhagen, spring 2010.
Epistemisk logik og kunstig intelligens [pdf]. Guest lecture in the course Research in Cognitive Science II at Copenhagen University, autumn 2009.
Matematikkens paradokser og patologiske konstruktioner i 1800-tallet [pdf]. Lecture at Folkeuniversitetet i København, autumn 2009.
Artificial Intelligence -- Dead or Alive? (in Danish) [pdf]. Invited talk at a seminar on Intelligence organised by Biotech Students' Association, 2007.
Motions in LEGO Digital Designer (in Danish) [html] (works only correctly with Internet Explorer). Short informal talk given to prospective DTU students, spring 2005.
Self-reference in the logical limitation results (in Danish) [ps | pdf]. Introductory talk given at the Brorfelde Observatory, autumn 2004.
Logical Theories for Agent Introspection [pdf]. Slides from the defence of my Ph.D. thesis (November 24, 2003).
A Primer to Contemporary Self-Reference [pdf]. A 3 hours introduction to Self-Reference given at the introductory seminar of the conference on Self-Reference (October 30, 2002).
Maximal Introspection of Agents [ps | pdf]. Presentation given at CLIMA 2002. (August 1, 2002).
Reasoning about Introspective Agents [ps | pdf]. A short informal introduction to some of the problems of my Ph.D project and some of my results. (May 15, 2002).
Guest lecture on Self-Reference, Computer Science, and Logic [ps | pdf]. (May 13, 2002).

Appointments

Part-time employment at LearningLab DTU to help teaching and developing Education in University Teaching at DTU.
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.
Reviews editor of the Springer journal Studia Logica (with Klaus Frovin Jørgensen, Roskilde University).
Head of the iMARS Lab (intelligent Multi-Agent Robotic Systems Lab) at DTU Informatics.
Member of the IT-Diploma Coordination Group at CSE, IMM, DTU.
Member of the expert committee, Scientariet, of the Danish professional journal Ingeniøren.
Member of the board of Selskabet for Tekniske Uddannelsesspørgsmål, 2004-2009.

Awards

Teacher of the year at DTU Informatics, 2008.
Teacher of the year at DTU, 2006.

In the media

Alan Turing og kunstig intelligens (in Danish). In Danish national radio, P1 morgen og Videnskabernes Verden på P1. 6 March, 2012.
Interview on artificial intelligence/kunstig intelligens (in Danish). In Danish national TV, Deadline on DR2. 10 January, 2012.
Language, intelligence and artificial intelligence (in Danish). In Danish national radio, Sproglaboratoriet on P1. April, 2011.
5 short interviews on Artificial Intelligence/Kunstig intelligens (in Danish). In Danish national radio, Danskernes Akademi på P1 on P1. April, 2011.
Lecture on Artificial Intelligence/Kunstig intelligens (in Danish). In Danish national television, Danskernes Akademi on DR2. April, 2011.
Sociale robotter i støbeskeen. Article on videnskab.dk concerning some of my current research, August, 2010.
An interview in Ingeniøren (in Danish), May, 2006.
M.Sc. teacher of the year at DTU, 2006. Article in DTU-avisen (in Danish), April, 2006.