Maximal Introspection of Agents. - Thomas Bolander (CLIMA, 2002)

From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief. - Thomas Bolander (IJCAI, 2003)

Preface. - Patrick Blackburn; Thomas Bolander; Torben Braüner; Valeria de Paiva; Jørgen Villadsen (HyLo@FLoC, 2006)

Decidability of a Hybrid Duration Calculus. - Thomas Bolander; Jens Ulrik Hansen; Michael R. Hansen (HyLo@FLoC, 2006)

Tableau-based Decision Procedures for Hybrid Logic. - Thomas Bolander; Torben Braüner (J. Log. Comput., 2006)

Terminating Tableau Calculi for Hybrid Logics Extending K. - Thomas Bolander; Patrick Blackburn (M4M, 2007)

Termination for Hybrid Tableaus. - Thomas Bolander; Patrick Blackburn (J. Log. Comput., 2007)

Many-valued hybrid logic. - Jens Hansen; Thomas Bolander; Torben Braüner (Advances in Modal Logic, 2008)

Preface. - Torben Braüner; Thomas Bolander (J. Log. Lang. Inf., 2009)

Hybrid logical analyses of the ambient calculus. - Thomas Bolander; René Rydhof Hansen (Inf. Comput., 2010)

Epistemic planning for single and multi-agent systems. - Thomas Bolander; Mikkel Birkegaard Andersen (J. Appl. Non Class. Logics, 2011)

Conditional Epistemic Planning. - Mikkel Birkegaard Andersen; Thomas Bolander; Martin Holm Jensen (JELIA, 2012)

Bisimulation for Single-Agent Plausibility Models. - Mikkel Birkegaard Andersen; Thomas Bolander; Hans van Ditmarsch; Martin Holm Jensen (Australasian Conference on Artificial Intelligence, 2013)

Undecidability in Epistemic Planning. - Guillaume Aucher; Thomas Bolander (IJCAI, 2013)

A Seligman-Style Tableau System. - Patrick Blackburn; Thomas Bolander; Torben Braüner; Klaus Frovin Jørgensen (LPAR, 2013)

Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic. - Thomas Bolander (ECSI, 2014)

Complexity Results in Epistemic Planning. - Thomas Bolander; Martin Holm Jensen; François Schwarzentruber (IJCAI, 2015)

Learning Actions Models: Qualitative Approach. - Thomas Bolander; Nina Gierasimczuk (LORI, 2015)

Learning Action Models: Qualitative Approach. - Thomas Bolander; Nina Gierasimczuk (CoRR, 2015)

Synthetic completeness proofs for Seligman-style tableau systems. - Klaus Frovin Jørgensen; Patrick Blackburn; Thomas Bolander; Torben Braüner (Advances in Modal Logic, 2016)

Announcements to Attentive Agents. - Thomas Bolander; Hans van Ditmarsch; Andreas Herzig; Emiliano Lorini; Pere Pardo; François Schwarzentruber (J. Log. Lang. Inf., 2016)

A Gentle Introduction to Epistemic Planning: The DEL Approach. - Thomas Bolander (M4M@ICLA, 2017)

Cooperative Epistemic Multi-Agent Planning for Implicit Coordination. - Thorsten Engesser; Thomas Bolander; Robert Mattmüller; Bernhard Nebel (M4M@ICLA, 2017)

Epistemic Planning (Dagstuhl Seminar 17231). - Chitta Baral; Thomas Bolander; Hans van Ditmarsch; Sheila A. McIlraith (Dagstuhl Reports, 2017)

Completeness and termination for a Seligman-style tableau system. - Patrick Blackburn; Thomas Bolander; Torben Braüner; Klaus Frovin Jørgensen (J. Log. Comput., 2017)

Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. - Mikkel Birkegaard Andersen; Thomas Bolander; Hans van Ditmarsch; Martin Holm Jensen (Synth., 2017)

Learning to Plan from Raw Data in Grid-based Games. - Andrea Dittadi; Thomas Bolander; Ole Winther (GCAI, 2018)

Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination. - Thomas Bolander; Thorsten Engesser; Robert Mattmüller; Bernhard Nebel (KR, 2018)

Learning to act: qualitative learning of deterministic action models. - Thomas Bolander; Nina Gierasimczuk (J. Log. Comput., 2018)

Many-valued hybrid logic. - Jens Ulrik Hansen; Thomas Bolander; Torben Braüner (J. Log. Comput., 2018)

Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (Extended Abstract). - Bernhard Nebel; Thomas Bolander; Thorsten Engesser; Robert Mattmüller (IJCAI, 2019)

The Dynamic Logic of Policies and Contingent Planning. - Thomas Bolander; Thorsten Engesser; Andreas Herzig; Robert Mattmüller; Bernhard Nebel (JELIA, 2019)

Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity. - Bernhard Nebel; Thomas Bolander; Thorsten Engesser; Robert Mattmüller (J. Artif. Intell. Res., 2019)

Synthesizing human-friendly optimal strategies in board games. - Thomas Bolander; Jacob Pjetursson (CoG, 2020)

Parameterized Complexity of Dynamic Belief Updates. - Thomas Bolander; Arnaud Lequen (DaLí, 2020)

Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic. - Lasse Dissing; Thomas Bolander (IJCAI, 2020)

DEL-based epistemic planning: Decidability and complexity. - Thomas Bolander; Tristan Charrier; Sophie Pinchinat; François Schwarzentruber (Artif. Intell., 2020)

The Curse of Shared Knowledge: Recursive Belief Reasoning in a Coordination Game with Imperfect Information. - Thomas Bolander; Robin Engelhardt; Thomas S. Nicolet (CoRR, 2020)

Planning from Pixels in Atari with Learned Symbolic Representations. - Andrea Dittadi; Frederik K. Drachmann; Thomas Bolander (AAAI, 2021)

DEL-based Epistemic Planning for Human-Robot Collaboration: Theory and Implementation. - Thomas Bolander; Lasse Dissing; Nicolai Herrmann (KR, 2021)

Learning to Act and Observe in Partially Observable Domains. - Thomas Bolander; Nina Gierasimczuk; Andrés Occhipinti Liberman (CoRR, 2021)

Attention! Dynamic Epistemic Logic Models of (In)attentive Agents. - Gaia Belardinelli; Thomas Bolander (AAMAS, 2023)

Epistemic planning: Perspectives on the special issue. - Vaishak Belle; Thomas Bolander; Andreas Herzig; Bernhard Nebel (Artif. Intell., 2023)

Parameterized Complexity of Dynamic Belief Updates: A Complete Map. - Thomas Bolander; Arnaud Lequen (J. Log. Comput., 2023)

Better Bounded Bisimulation Contractions. - Thomas Bolander; Alessandro Burigana (AiML, 2024)

Better Bounded Bisimulation Contractions (Preprint). - Thomas Bolander; Alessandro Burigana (CoRR, 2024)

Depth-Bounded Epistemic Planning. - Thomas Bolander; Alessandro Burigana; Marco Montali (CoRR, 2024)

A Logic of General Attention Using Edge-Conditioned Event Models (Extended Version). - Gaia Belardinelli; Thomas Bolander; Sebastian Watzl (CoRR, 2025)