Projects per year
Projects
- 8 Finished
Search results
-
Finished
New Functions and Effects of Intermediaries for Innovation and Entrepreneurship, Equipped with Artificial Intelligence
Sala Vilar, L. R. (PhD Student), Li-Ying, J. (Main Supervisor), Bolander, T. (Supervisor), Colovic, A. (Examiner) & Mortara, L. (Examiner)
01/06/2020 → 06/09/2024
Project: PhD
-
Planning and learning a machine learning meets AI approach
Dittadi, A. (PhD Student), Kipf, T. (Examiner), Martius, G. (Examiner), Winther, O. (Main Supervisor) & Bolander, T. (Supervisor)
Technical University of Denmark
15/03/2018 → 12/09/2022
Project: PhD
-
Action Model Learning for Multi-agent Systems
Occhipinti Liberman, A. (PhD Student), Herzig, A. (Examiner), Smets, S. (Examiner), Lluch Lafuente, A. (Examiner), Bolander, T. (Main Supervisor) & Gierasimczuk, N. (Supervisor)
Technical University of Denmark
01/02/2017 → 09/12/2020
Project: PhD
-
Formalization of Algorithms and Logical inference Systems in Proof Assistants
Schlichtkrull, A. (PhD Student), Villadsen, J. (Main Supervisor), Blanchette, J. C. (Supervisor), Bolander, T. (Supervisor), Mödersheim, S. A. (Examiner), Bengtson, J. (Examiner) & Nipkow, T. (Examiner)
Technical University of Denmark
15/09/2015 → 14/11/2018
Project: PhD
-
Organization-Oriented Programming in Multi-Agent Systems
Jensen, A. S. (PhD Student), Villadsen, J. (Main Supervisor), Bolander, T. (Examiner), Christiansen, H. (Examiner) & Hindriks, K. V. (Examiner)
Technical University of Denmark
15/03/2012 → 21/09/2015
Project: PhD
-
Multi-agent Story Planning
Andersen, M. B. (PhD Student), Bolander, T. (Main Supervisor), Hansen, M. R. (Examiner), Petrick, R. P. A. (Examiner) & Smets, S. (Examiner)
Technical University of Denmark
01/02/2011 → 23/01/2015
Project: PhD
-
Epistemic Planning for Multi-Agent Systems
Jensen, M. H. (PhD Student), Bolander, T. (Main Supervisor), Goranko, V. (Examiner), Herzig, A. (Examiner) & Ågotnes, T. (Examiner)
Technical University of Denmark
15/09/2010 → 25/04/2014
Project: PhD
-
Logiske teorier for datamaskinel introspektion og selv-reference med henblik på autonome agenter
Bolander, T. (PhD Student), Pedersen, S. A. (Examiner), Fitting, M. (Examiner), Gehrke, M. (Examiner), Jensen, H. E. (Supervisor) & Nilsson, J. F. (Main Supervisor)
01/09/1999 → 16/02/2004
Project: PhD