Thomas Bolander

Available identifiers

zbMath Open bolander.thomasMaRDI QIDQ302219

List of research outcomes

Publication	Date of Publication	Type
Learning to act and observe in partially observable domains	2024-10-01	Paper
Parameterized Complexity of Dynamic Belief Updates: A Complete Map	2024-02-08	Paper
Epistemic planning: perspectives on the special issue	2023-06-19	Paper
Parameterized complexity of dynamic belief updates	2021-12-01	Paper
DEL-based epistemic planning: decidability and complexity	2020-11-16	Paper
Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic	2020-07-24	Paper
The dynamic logic of policies and contingent planning	2020-02-18	Paper
Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity	2019-03-04	Paper
Many-valued hybrid logic	2019-01-31	Paper
Learning to act: qualitative learning of deterministic action models	2019-01-31	Paper
https://portal.mardi4nfdi.de/entity/Q4636041	2018-04-23	Paper
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief	2018-03-27	Paper
Completeness and termination for a Seligman-style tableau system	2017-05-17	Paper
https://portal.mardi4nfdi.de/entity/Q2973439	2017-04-03	Paper
Announcements to attentive agents	2016-07-04	Paper
Learning Actions Models: Qualitative Approach	2015-12-17	Paper
Terminating Tableau Calculi for Hybrid Logics Extending K	2015-03-23	Paper
A Seligman-Style Tableau System	2014-01-17	Paper
Decidability of a hybrid duration calculus	2013-12-20	Paper
Maximal introspection of agents	2013-08-20	Paper
Conditional Epistemic Planning	2012-09-21	Paper
Epistemic planning for single- and multi-agent systems	2012-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q3086942	2011-03-30	Paper
Hybrid logical analyses of the ambient calculus	2010-04-22	Paper
Hybrid Logical Analyses of the Ambient Calculus	2009-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q3604276	2009-02-24	Paper
Termination for Hybrid Tableaus	2007-12-12	Paper
Tableau-based Decision Procedures for Hybrid Logic	2007-04-13	Paper
https://portal.mardi4nfdi.de/entity/Q4806868	2003-05-26	Paper

Research outcomes over time

This page was built for person: Thomas Bolander