 On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)International Conference on Database Theory (ICDT), 2025 |
 Unique Characterisability and Learnability of Temporal Queries Mediated
by an OntologyInternational Conference on Principles of Knowledge Representation and Reasoning (KR), 2023 |
 Standpoint Linear Temporal LogicInternational Conference on Principles of Knowledge Representation and Reasoning (KR), 2023 |
 Geometric Models for (Temporally) Attributed Description LogicsDescription Logics (DL), 2021 |
