Stanislav Kikot

Available identifiers

zbMath Open kikot.stanislavMaRDI QIDQ497428

List of research outcomes

Publication	Date of Publication	Type
On Monotonic Determinacy and Rewritability for Recursive Queries and Views	2023-04-05	Paper
https://portal.mardi4nfdi.de/entity/Q5104715	2022-09-15	Paper
A tetrachotomy of ontology-mediated queries with a covering axiom	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	2020-04-06	Paper
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations	2020-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q5224579	2019-07-24	Paper
Ontology-Mediated Queries	2019-02-25	Paper
On the succinctness of query rewriting over shallow ontologies	2018-04-23	Paper
Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4636301	2018-04-23	Paper
The decision problem of modal product logics with a diagonal, and faulty counter machines	2016-06-14	Paper
A dichotomy for some elementarily generated modal logics	2015-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q5419870	2014-06-11	Paper
The price of query rewriting in ontology-based data access	2014-06-10	Paper
Modal definability of first-order formulas with free variables and query answering	2014-04-17	Paper
Exponential Lower Bounds and Separation for Query Rewriting	2012-11-01	Paper
Semantic characterization of Kracht formulas	2012-08-05	Paper
An extension of Kracht's theorem to generalized Sahlqvist formulas	2009-11-30	Paper

Research outcomes over time

This page was built for person: Stanislav Kikot