| 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
Journal Of Logic And Computation | 2024-02-08 | Paper |
Epistemic planning: perspectives on the special issue
Artificial Intelligence | 2023-06-19 | Paper |
| Parameterized complexity of dynamic belief updates | 2021-12-01 | Paper |
DEL-based epistemic planning: decidability and complexity
Artificial Intelligence | 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
Journal of Artificial Intelligence Research | 2019-03-04 | Paper |
Many-valued hybrid logic
Journal Of Logic And Computation | 2019-01-31 | Paper |
Learning to act: qualitative learning of deterministic action models
Journal Of Logic And Computation | 2019-01-31 | Paper |
| Synthetic completeness proofs for Seligman-style tableau systems | 2018-04-23 | Paper |
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
Synthese | 2018-03-27 | Paper |
Completeness and termination for a Seligman-style tableau system
Journal Of Logic And Computation | 2017-05-17 | Paper |
| Don't plan for the unexpected planning based on plausibility models | 2017-04-03 | Paper |
Announcements to attentive agents
Journal of Logic, Language and Information | 2016-07-04 | Paper |
Learning Actions Models: Qualitative Approach
Logic, Rationality, and Interaction | 2015-12-17 | Paper |
Learning Actions Models: Qualitative Approach
Logic, Rationality, and Interaction | 2015-12-17 | Paper |
Terminating Tableau Calculi for Hybrid Logics Extending K
Electronic Notes in Theoretical Computer Science | 2015-03-23 | Paper |
A Seligman-Style Tableau System
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
Decidability of a hybrid duration calculus
Electronic Notes in Theoretical Computer Science | 2013-12-20 | Paper |
| Maximal introspection of agents | 2013-08-20 | Paper |
Conditional epistemic planning
Logics in Artificial Intelligence | 2012-09-21 | Paper |
Epistemic planning for single- and multi-agent systems
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
| Many-valued hybrid logic | 2011-03-30 | Paper |
Hybrid logical analyses of the ambient calculus
Information and Computation | 2010-04-22 | Paper |
Hybrid Logical Analyses of the Ambient Calculus
Logic, Language, Information and Computation | 2009-03-10 | Paper |
| Introduction | 2009-02-24 | Paper |
Termination for Hybrid Tableaus
Journal Of Logic And Computation | 2007-12-12 | Paper |
Tableau-based Decision Procedures for Hybrid Logic
Journal Of Logic And Computation | 2007-04-13 | Paper |
| scientific article; zbMATH DE number 1911059 (Why is no real title available?) | 2003-05-26 | Paper |
