Concepedia

Thomas Bolander

TB

21

Publications

747

Citations

15

H-Index

2002

Active since

Affiliations

Technical University of Denmark(Current)

University of Freiburg

Centre National de la Recherche Scientifique

Institut de Recherche en Informatique et Systèmes Aléatoires

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Thomas Bolander is an author at Technical University of Denmark specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceEpistemologyAutomationDecision TheorySocial SciencesCognitive ScienceFormal Verification

Publications per year

2002–2022

21

Publications

21

Epistemic planning for single- and multi-agent systems

Thomas Bolander, Mikkel Birkegaard Andersen · Journal of Applied Non-Classical Logics · 2011 · 215 citations

Termination for Hybrid Tableaus

Thomas Bolander, Patrick Blackburn · Journal of Logic and Computation · 2007 · 69 citations

What do we loose when machines take the decisions?

Thomas Bolander · Journal of Management & Governance · 2019 · 58 citations · Full text

Cognitive Science, Behavioral Decision Making, Human Machine System +7

Cooperative Epistemic Multi-Agent Planning for Implicit Coordination

Thorsten Engesser, Thomas Bolander, Robert Mattmüller et al. · Electronic Proceedings in Theoretical Computer Science · 2017 · 55 citations · Full text

Complexity results in epistemic planning

Thomas Bolander, Martin Holm Jensen, François Schwarzentruber · Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU) · 2015 · 45 citations · Full text

Engineering, Verification, Del Model Checking +17

Rows per page

1–5 of 21