Thomas Bolander

Cited by

	All	Since 2018
Citations	1614	1039
h-index	21	16
i10-index	32	23

240

120

180

2003200420052006200720082009201020112012201320142015201620172018201920202021202220236 3 3 4 23 10 39 53 41 26 51 60 66 64 99 106 127 221 178 178 225

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	287	2011
Undecidability in epistemic planning G Aucher, T Bolander INRIA, 2013	111	2013
Termination for hybrid tableaus T Bolander, P Blackburn Journal of Logic and Computation 17 (3), 517-554, 2007	95	2007
Self-reference T Bolander	87	2008
Complexity Results in Epistemic Planning. T Bolander, MH Jensen, F Schwarzentruber IJCAI, 2791-2797, 2015	85	2015
Cooperative epistemic multi-agent planning for implicit coordination T Engesser, T Bolander, R Mattmüller, B Nebel arXiv preprint arXiv:1703.02196, 2017	80	2017
Seeing is believing: Formalising false-belief tasks in dynamic epistemic logic T Bolander Jaakko Hintikka on knowledge and game-theoretical semantics, 207-236, 2018	76	2018
What do we loose when machines take the decisions? T Bolander Journal of Management and Governance 23, 849-867, 2019	68	2019
Tableau-based decision procedures for hybrid logic T Bolander, T Braüner Journal of Logic and Computation 16 (6), 737-763, 2006	59	2006
Conditional epistemic planning MB Andersen, T Bolander, MH Jensen European Workshop on Logics in Artificial Intelligence, 94-106, 2012	54	2012
A gentle introduction to epistemic planning: The DEL approach T Bolander arXiv preprint arXiv:1703.02192, 2017	51	2017
Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic. L Dissing, T Bolander IJCAI, 1615-1621, 2020	42	2020
Epistemic planning (Dagstuhl seminar 17231) C Baral, T Bolander, H van Ditmarsch, S McIlrath Dagstuhl Reports 7 (6), 2017	38	2017
Self-reference and logic T Bolander Phi News 1, 9-44, 2002	38	2002
Logical theories for agent introspection T Bolander IMM, Informatik og Matematisk Modellering, Danmarks Tekniske Universitet, 2003	34	2003
Terminating tableau calculi for hybrid logics extending K T Bolander, P Blackburn Electronic Notes in Theoretical Computer Science 231, 21-39, 2009	33	2009
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	32	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	30	2018
DEL-based epistemic planning: Decidability and complexity T Bolander, T Charrier, S Pinchinat, F Schwarzentruber Artificial Intelligence 287, 103304, 2020	26	2020
Many-valued hybrid logic JU Hansen, T Bolander, T Braüner Journal of Logic and Computation 28 (5), 883-908, 2018	23	2018

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