Thomas Bolander

Thomas Bolander

Professor

DTU COMPUTE
Institut for Matematik og Computer Science

Danmarks Tekniske Universitet

Richard Petersens Plads

Bygning 322, rum 022

2800 Kgs. Lyngby

Tlf.
Fax 45 93 00 74
E-mail tobo@dtu.dk
ORCID 0000-0003-1551-1703
Hjemmeside

Få tilsendt vCard på e-mail.

Profil
Publikationer
Projekter
Kurser
CV
DTU nyheder
Loading

Projekter rss feed

Formalization of Algorithms and Logical inference Systems in Proof Assistants

Schlichtkrull, Anders; Villadsen, Jørgen; Blanchette, Jasmin Christian; Bolander, Thomas; Mödersheim, Sebastian Alexander; Bengtson, Jesper; Nipkow, Tobias Superv.: Blanchette, Jasmin Christian
Examiner: Bengtson, Jesper; Nipkow, Tobias

Type: PhD    |     Projektstatus: Finished

2015-2018

Organization-Oriented Programming in Multi-Agent Systems

Jensen, Andreas Schmidt; Villadsen, Jørgen; Bolander, Thomas; Christiansen, Henning; Hindriks, Koen V. Examiner: Christiansen, Henning; Hindriks, Koen V.

Type: PhD    |     Projektstatus: Finished

2012-2015

Multi-agent Story Planning

Andersen, Mikkel Birkegaard; Bolander, Thomas; Hansen, Michael Reichhardt; Petrick, Ronald P. A.; Smets, Sonja Examiner: Petrick, Ronald P. A.; Smets, Sonja

Type: PhD    |     Projektstatus: Finished

2011-2015

Epistemic Planning for Multi-Agent Systems

Jensen, Martin Holm; Bolander, Thomas; Goranko, Valentin; Herzig, Andreas ; Ågotnes, Thomas Examiner: Herzig, Andreas ; Ågotnes, Thomas

Type: PhD    |     Projektstatus: Finished

2010-2014

Logiske teorier for datamaskinel introspektion og selv-reference med henblik på autonome agenter

Bolander, Thomas; Nilsson, Jørgen Fischer; Jensen, Helge Elbrønd; Pedersen, Stig Andur; Fitting, Melvin; Gehrke, Mai Examiner: Fitting, Melvin; Gehrke, Mai

Type: PhD    |     Projektstatus: Finished

1999-2004