| Publication | Date of Publication | Type |
|---|
On Monotonic Determinacy and Rewritability for Recursive Queries and Views
ACM Transactions on Computational Logic | 2023-04-05 | Paper |
| scientific article; zbMATH DE number 7585723 (Why is no real title available?) | 2022-09-15 | Paper |
A tetrachotomy of ontology-mediated queries with a covering axiom
Artificial Intelligence | 2022-07-08 | Paper |
| Completeness of logics with the transitive closure modality and related logics | 2020-11-04 | Paper |
| Checking the data complexity of ontology-mediated queries: a case study with non-uniform CSPs and Polyanna | 2020-06-04 | Paper |
Kripke completeness of strictly positive modal logics over meet-semilattices with operators
Journal of Symbolic Logic | 2020-04-06 | Paper |
Kripke completeness of strictly positive modal logics over meet-semilattices with operators
Journal of Symbolic Logic | 2020-04-06 | Paper |
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
Annals of Pure and Applied Logic | 2020-03-12 | Paper |
| On strictly positive modal logics with \textsf{S}4.3 frames | 2019-07-24 | Paper |
Ontology-mediated queries. Combined complexity and succinctness of rewritings via circuit complexity
Journal of the ACM | 2019-02-25 | Paper |
On the succinctness of query rewriting over shallow ontologies
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
On the succinctness of query rewriting over shallow ontologies
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
Tree-like queries in OWL 2 QL: succinctness and complexity results
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| Filtration safe operations on frames | 2018-04-23 | Paper |
The decision problem of modal product logics with a diagonal, and faulty counter machines
Studia Logica | 2016-06-14 | Paper |
A dichotomy for some elementarily generated modal logics
Studia Logica | 2015-09-24 | Paper |
| scientific article; zbMATH DE number 6302894 (Why is no real title available?) | 2014-06-11 | Paper |
The price of query rewriting in ontology-based data access
Artificial Intelligence | 2014-06-10 | Paper |
Modal definability of first-order formulas with free variables and query answering
Journal of Applied Logic | 2014-04-17 | Paper |
Exponential lower bounds and separation for query rewriting
Automata, Languages, and Programming | 2012-11-01 | Paper |
Exponential lower bounds and separation for query rewriting
Automata, Languages, and Programming | 2012-11-01 | Paper |
| Semantic characterization of Kracht formulas | 2012-08-05 | Paper |
An extension of Kracht's theorem to generalized Sahlqvist formulas
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
