Thomas Bolander

Available identifiers

zbMath Open bolander.thomasMaRDI QIDQ302219

List of research outcomes

Publication	Date of Publication	Type
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
Learning to act: qualitative learning of deterministic action models	2019-01-31	Paper
Many-valued hybrid logic	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
https://portal.mardi4nfdi.de/entity/Q2844933	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Thomas Bolander