Thomas Bolander

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 33

Top Topics

Parameterized Complexity

Dynamic Epistemic Logic

Top Venues

J. Log. Comput.

Publications

Thomas Bolander, Alessandro Burigana
Better Bounded Bisimulation Contractions (Preprint). CoRR (2024)
Thomas Bolander, Alessandro Burigana, Marco Montali
Depth-Bounded Epistemic Planning. CoRR (2024)
Vaishak Belle, Thomas Bolander, Andreas Herzig, Bernhard Nebel
Epistemic planning: Perspectives on the special issue. Artif. Intell. 316 (2023)
Gaia Belardinelli, Thomas Bolander
Attention! Dynamic Epistemic Logic Models of (In)attentive Agents. CoRR (2023)
Gaia Belardinelli, Thomas Bolander
Attention! Dynamic Epistemic Logic Models of (In)attentive Agents. AAMAS (2023)
Thomas Bolander, Arnaud Lequen
Parameterized Complexity of Dynamic Belief Updates: A Complete Map. J. Log. Comput. 33 (6) (2023)
Thomas Bolander, Lasse Dissing, Nicolai Herrmann
DEL-based Epistemic Planning for Human-Robot Collaboration: Theory and Implementation. KR (2021)
Andrea Dittadi, Frederik K. Drachmann, Thomas Bolander
Planning from Pixels in Atari with Learned Symbolic Representations. AAAI (2021)
Thomas Bolander, Nina Gierasimczuk, Andrés Occhipinti Liberman
Learning to Act and Observe in Partially Observable Domains. CoRR (2021)
Lasse Dissing, Thomas Bolander
Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic. IJCAI (2020)
Thomas Bolander, Arnaud Lequen
Parameterized Complexity of Dynamic Belief Updates. DaLí (2020)
Thomas Bolander, Jacob Pjetursson
Synthesizing human-friendly optimal strategies in board games. CoG (2020)
Thomas Bolander, Tristan Charrier, Sophie Pinchinat, François Schwarzentruber
DEL-based epistemic planning: Decidability and complexity. Artif. Intell. 287 (2020)
Thomas Bolander, Robin Engelhardt, Thomas S. Nicolet
The Curse of Shared Knowledge: Recursive Belief Reasoning in a Coordination Game with Imperfect Information. CoRR (2020)
Andrea Dittadi, Frederik K. Drachmann, Thomas Bolander
Planning From Pixels in Atari With Learned Symbolic Representations. CoRR (2020)
Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmüller
Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity. J. Artif. Intell. Res. 64 (2019)
Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmüller
Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (Extended Abstract). IJCAI (2019)
Thomas Bolander, Thorsten Engesser, Andreas Herzig, Robert Mattmüller, Bernhard Nebel
The Dynamic Logic of Policies and Contingent Planning. JELIA (2019)
Thomas Bolander, Nina Gierasimczuk
Learning to act: qualitative learning of deterministic action models. J. Log. Comput. 28 (2) (2018)
Jens Ulrik Hansen, Thomas Bolander, Torben Braüner
Many-valued hybrid logic. J. Log. Comput. 28 (5) (2018)
Andrea Dittadi, Thomas Bolander, Ole Winther
Learning to Plan from Raw Data in Grid-based Games. GCAI (2018)
Thomas Bolander, Thorsten Engesser, Robert Mattmüller, Bernhard Nebel
Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination. KR (2018)
Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. Synth. 194 (7) (2017)
Chitta Baral, Thomas Bolander, Hans van Ditmarsch, Sheila A. McIlraith
Epistemic Planning (Dagstuhl Seminar 17231). Dagstuhl Reports 7 (6) (2017)
Thomas Bolander
A Gentle Introduction to Epistemic Planning: The DEL Approach. M4M@ICLA (2017)
Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen
Completeness and termination for a Seligman-style tableau system. J. Log. Comput. 27 (1) (2017)
Thorsten Engesser, Thomas Bolander, Robert Mattmüller, Bernhard Nebel
Cooperative Epistemic Multi-Agent Planning for Implicit Coordination. M4M@ICLA (2017)
Thomas Bolander, Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo, François Schwarzentruber
Announcements to Attentive Agents. J. Log. Lang. Inf. 25 (1) (2016)
Klaus Frovin Jørgensen, Patrick Blackburn, Thomas Bolander, Torben Braüner
Synthetic completeness proofs for Seligman-style tableau systems. Advances in Modal Logic (2016)
Thomas Bolander, Nina Gierasimczuk
Learning Actions Models: Qualitative Approach. LORI (2015)
Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. CoRR (2015)
Thomas Bolander, Nina Gierasimczuk
Learning Action Models: Qualitative Approach. CoRR (2015)
Thomas Bolander, Martin Holm Jensen, François Schwarzentruber
Complexity Results in Epistemic Planning. IJCAI (2015)
Thomas Bolander
Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic. ECSI (2014)
Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen
Bisimulation for Single-Agent Plausibility Models. Australasian Conference on Artificial Intelligence (2013)
Guillaume Aucher, Thomas Bolander
Undecidability in Epistemic Planning. IJCAI (2013)
Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen
A Seligman-Style Tableau System. LPAR (2013)
Mikkel Birkegaard Andersen, Thomas Bolander, Martin Holm Jensen
Conditional Epistemic Planning. JELIA (2012)
Thomas Bolander, Torben Braüner
Preface. Electron. Notes Theor. Comput. Sci. 273 (2011)
Thomas Bolander, Mikkel Birkegaard Andersen
Epistemic planning for single and multi-agent systems. J. Appl. Non Class. Logics 21 (1) (2011)
Thomas Bolander, Torben Braüner
Preface. Electron. Notes Theor. Comput. Sci. 262 (2010)
Thomas Bolander, René Rydhof Hansen
Hybrid logical analyses of the ambient calculus. Inf. Comput. 208 (5) (2010)
Thomas Bolander, Patrick Blackburn
Terminating Tableau Calculi for Hybrid Logics Extending K. Electron. Notes Theor. Comput. Sci. 231 (2009)
Torben Braüner, Thomas Bolander
Preface. J. Log. Lang. Inf. 18 (4) (2009)
Jens Hansen, Thomas Bolander, Torben Braüner
Many-valued hybrid logic. Advances in Modal Logic (2008)
Thomas Bolander, René Rydhof Hansen
Hybrid Logical Analyses of the Ambient Calculus. WoLLIC (2007)
Thomas Bolander, Jens Ulrik Hansen, Michael R. Hansen
Decidability of a Hybrid Duration Calculus. Electron. Notes Theor. Comput. Sci. 174 (6) (2007)
Thomas Bolander, Patrick Blackburn
Termination for Hybrid Tableaus. J. Log. Comput. 17 (3) (2007)
Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen
Preface. Electron. Notes Theor. Comput. Sci. 174 (6) (2007)
Thomas Bolander, Torben Braüner
Tableau-based Decision Procedures for Hybrid Logic. J. Log. Comput. 16 (6) (2006)
Thomas Bolander
From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief. IJCAI (2003)
Thomas Bolander
Maximal Introspection of Agents. CLIMA (2002)
Thomas Bolander
Maximal Introspection of Agents. Electron. Notes Theor. Comput. Sci. 70 (5) (2002)