Thomas Bolander

Cited by

	All	Since 2018
Citations	1465	893
h-index	20	16
i10-index	31	24

220

110

165

2003200420052006200720082009201020112012201320142015201620172018201920202021202220236 2 3 4 22 12 39 53 42 26 52 58 68 63 99 105 134 220 177 169 85

Public access

View all

6 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Patrick BlackburnProfessor of Philosophy, Roskilde University, DenmarkVerified email at ruc.dk
Martin Holm JensenFreelancer, PhDVerified email at dtu.dk
Hans van DitmarschCNRSVerified email at loria.fr
François SchwarzentruberENS RennesVerified email at ens-rennes.fr
Bernhard NebelProfessor für Informatik, Universität FreiburgVerified email at uni-freiburg.de
Robert MattmüllerUniversity of Freiburg, GermanyVerified email at robert-mattmueller.de
Andreas HerzigCNRS Research Director, IRIT (CNRS, Univ. Toulouse), TMBI (Univ. Toulouse)Verified email at irit.fr
Nina GierasimczukAssociate Professor, DTU ComputeVerified email at dtu.dk
Klaus Frovin JoergensenVerified email at ruc.dk
Jens Ulrik HansenAssociate Professor, Roskilde UniversityVerified email at ruc.dk
Emiliano LoriniCNRS Research Director (DR2), IRIT (CNRS-UT3), TMBI (Univ.Toulouse)Verified email at irit.fr
Rene Rydhof HansenAalborg UniversityVerified email at cs.aau.dk
Paul FischerDTU Compute, Technical University of DenmarkVerified email at dtu.dk
Jens SparsøProfessor, Technical University of DenmarkVerified email at dtu.dk
Mikkel Willum JohansenUniversity of CopenhagenVerified email at ind.ku.dk
Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm UniversityVerified email at philosophy.su.se

Thomas Bolander

Professor, Technical University of Denmark

Verified email at dtu.dk - Homepage

Logic artificial intelligence multi-agent systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Epistemic planning for single- and multi-agent systems T Bolander, MB Andersen Journal of Applied Non-Classical Logics 21 (1), 9-34, 2011	260	2011
Undecidability in epistemic planning G Aucher, T Bolander INRIA, 2013	104	2013
Termination for hybrid tableaus T Bolander, P Blackburn Journal of Logic and Computation 17 (3), 517-554, 2007	94	2007
Self-reference T Bolander	84	2008
Complexity Results in Epistemic Planning. T Bolander, MH Jensen, F Schwarzentruber IJCAI, 2791-2797, 2015	76	2015
Seeing is believing: Formalising false-belief tasks in dynamic epistemic logic T Bolander Jaakko Hintikka on knowledge and game-theoretical semantics, 207-236, 2018	71	2018
Cooperative epistemic multi-agent planning for implicit coordination T Engesser, T Bolander, R Mattmüller, B Nebel arXiv preprint arXiv:1703.02196, 2017	69	2017
Tableau-based decision procedures for hybrid logic T Bolander, T Braüner Journal of Logic and Computation 16 (6), 737-763, 2006	58	2006
Conditional epistemic planning MB Andersen, T Bolander, MH Jensen Logics in Artificial Intelligence: 13th European Conference, JELIA 2012 …, 2012	52	2012
What do we loose when machines take the decisions? T Bolander Journal of Management and Governance 23, 849-867, 2019	51	2019
A gentle introduction to epistemic planning: The DEL approach T Bolander arXiv preprint arXiv:1703.02192, 2017	47	2017
Self-reference and logic T Bolander Phi News 1, 9-44, 2002	37	2002
Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic. L Dissing, T Bolander IJCAI, 1615-1621, 2020	36	2020
Terminating tableau calculi for hybrid logics extending K T Bolander, P Blackburn Electronic Notes in Theoretical Computer Science 231, 21-39, 2009	32	2009
Logical theories for agent introspection T Bolander IMM, Informatik og Matematisk Modellering, Danmarks Tekniske Universitet, 2003	32	2003
Epistemic planning (Dagstuhl seminar 17231) C Baral, T Bolander, H van Ditmarsch, S McIlrath Dagstuhl Reports 7 (6), 2017	31	2017
Announcements to attentive agents T Bolander, H Van Ditmarsch, A Herzig, E Lorini, P Pardo, ... Journal of Logic, Language and Information 25, 1-35, 2016	29	2016
Better eager than lazy? How agent types impact the successfulness of implicit coordination T Bolander, T Engesser, R Mattmüller, B Nebel Sixteenth International Conference on Principles of Knowledge Representation …, 2018	26	2018
Many-valued hybrid logic JU Hansen, T Bolander, T Braüner Journal of Logic and Computation 28 (5), 883-908, 2018	21	2018
Don't plan for the unexpected: Planning based on plausibility models MB Andersen, T Bolander, MH Jensen Logique et Analyse, 145-176, 2015	21	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors