| 2025 | IJCAI | A Logic of General Attention Using Edge-Conditioned Event Models. | Gaia Belardinelli, Thomas Bolander, Sebastian Watzl |
| 2025 | KR | Depth-Bounded Epistemic Planning. | Thomas Bolander, Alessandro Burigana, Marco Montali |
| 2024 | AiML | Better Bounded Bisimulation Contractions. | Thomas Bolander, Alessandro Burigana |
| 2021 | AAAI | Planning from Pixels in Atari with Learned Symbolic Representations. | Andrea Dittadi, Frederik K. Drachmann, Thomas Bolander |
| 2021 | KR | DEL-based Epistemic Planning for Human-Robot Collaboration: Theory and Implementation. | Thomas Bolander, Lasse Dissing, Nicolai Herrmann |
| 2020 | IJCAI | Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic. | Lasse Dissing, Thomas Bolander |
| 2019 | IJCAI | Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (Extended Abstract). | Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmller |
| 2019 | JELIA | The Dynamic Logic of Policies and Contingent Planning. | Thomas Bolander, Thorsten Engesser, Andreas Herzig, Robert Mattmller, Bernhard Nebel |
| 2018 | KR | Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination. | Thomas Bolander, Thorsten Engesser, Robert Mattmller, Bernhard Nebel |
| 2016 | AiML | Synthetic completeness proofs for Seligman-style tableau systems. | Klaus Frovin Jrgensen, Patrick Blackburn, Thomas Bolander, Torben Braner |
| 2015 | IJCAI | Complexity Results in Epistemic Planning. | Thomas Bolander, Martin Holm Jensen, Franois Schwarzentruber |
| 2013 | IJCAI | Undecidability in Epistemic Planning. | Guillaume Aucher, Thomas Bolander |
| 2013 | LPAR | A Seligman-Style Tableau System. | Patrick Blackburn, Thomas Bolander, Torben Braner, Klaus Frovin Jrgensen |
| 2012 | JELIA | Conditional Epistemic Planning. | Mikkel Birkegaard Andersen, Thomas Bolander, Martin Holm Jensen |
| 2008 | AiML | Many-valued hybrid logic. | Jens Hansen, Thomas Bolander, Torben Braner |
| 2007 | WoLLIC | Hybrid Logical Analyses of the Ambient Calculus. | Thomas Bolander, Ren Rydhof Hansen |
| 2003 | IJCAI | From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief. | Thomas Bolander |