Thomas Bolander

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