Bolander, Thomas

8 publications

IJCAI 2025 A Logic of General Attention Using Edge-Conditioned Event Models Gaia Belardinelli, Thomas Bolander, Sebastian Watzl

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

IJCAI 2020 Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic Lasse Dissing, Thomas Bolander

JAIR 2019 Implicitly Coordinated Multi-Agent Path Finding Under Destination Uncertainty: Success Guarantees and Computational Complexity Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmüller

IJCAI 2019 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 2015 Complexity Results in Epistemic Planning Thomas Bolander, Martin Holm Jensen, François Schwarzentruber

IJCAI 2013 Undecidability in Epistemic Planning Guillaume Aucher, Thomas Bolander

IJCAI 2003 From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief Thomas Bolander