The following pages link to Thomas Bolander (Q302219):
Displaying 29 items.
- Announcements to attentive agents (Q302225) (← links)
- Hybrid logical analyses of the ambient calculus (Q964494) (← links)
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief (Q1708808) (← links)
- Parameterized complexity of dynamic belief updates (Q2055755) (← links)
- DEL-based epistemic planning: decidability and complexity (Q2211863) (← links)
- The dynamic logic of policies and contingent planning (Q2296752) (← links)
- (Q2844933) (← links)
- Decidability of a Hybrid Duration Calculus (Q2867952) (← links)
- A Seligman-Style Tableau System (Q2870122) (← links)
- Epistemic planning for single- and multi-agent systems (Q2901205) (← links)
- Conditional Epistemic Planning (Q2915062) (← links)
- (Q2973439) (← links)
- Completeness and termination for a Seligman-style tableau system (Q2987043) (← links)
- (Q3086942) (← links)
- Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (Q3120432) (← links)
- Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic (Q3299577) (← links)
- Tableau-based Decision Procedures for Hybrid Logic (Q3431972) (← links)
- Learning Actions Models: Qualitative Approach (Q3457685) (← links)
- (Q3604276) (← links)
- Hybrid Logical Analyses of the Ambient Calculus (Q3612655) (← links)
- Learning to act: qualitative learning of deterministic action models (Q4612408) (← links)
- Many-valued hybrid logic (Q4612428) (← links)
- (Q4636041) (← links)
- (Q4806868) (← links)
- Terminating Tableau Calculi for Hybrid Logics Extending K (Q4982112) (← links)
- Termination for Hybrid Tableaus (Q5431611) (← links)
- Epistemic planning: perspectives on the special issue (Q6098843) (← links)
- Parameterized Complexity of Dynamic Belief Updates: A Complete Map (Q6189206) (← links)
- Learning to act and observe in partially observable domains (Q6612817) (← links)
