Stanislav Kikot
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
6
Active years
2010–2024
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | KR | Monotone Rewritability and the Analysis of Queries, Views, and Rules. | Michael Benedikt, Stanislav Kikot, Johannes Marti, Piotr Ostropolski-Nalewaja |
| 2021 | PODS | Deciding Boundedness of Monadic Sirups. | Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev |
| 2020 | AiML | Modal Logics with Transitive Closure: Completeness, Decidability, Filtration. | Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin |
| 2020 | KR | A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom. | Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev |
| 2020 | PODS | On Monotonic Determinacy and Rewritability for Recursive Queries and Views. | Michael Benedikt, Stanislav Kikot, Piotr Ostropolski-Nalewaja, Miguel Romero |
| 2018 | AiML | Kripke Completeness of Strictly Positive Modal Logics Over Meet Semi-Lattices with Operators. | Stanislav Kikot |
| 2018 | AiML | On Strictly Positive Modal Logics with S4.3 Frames. | Stanislav Kikot, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2017 | PODS | The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries. | Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Vladislav Ryzhikov, Michael Zakharyaschev |
| 2015 | LICS | Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results. | Meghyn Bienvenu, Stanislav Kikot, Vladimir V. Podolskii |
| 2014 | AiML | Filtration Safe Operations on Frames. | Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin |
| 2014 | CSL | On the succinctness of query rewriting over shallow ontologies. | Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev |
| 2012 | AiML | Sahlqvist Theorems for Precontact Logics. | Philippe Balbiani, Stanislav Kikot |
| 2012 | ICALP | Exponential Lower Bounds and Separation for Query Rewriting. | Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev |
| 2012 | KR | Conjunctive Query Answering with OWL 2 QL. | Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev |
| 2010 | AiML | Semantic Characterization of Kracht Formulas. | Stanislav Kikot |