Vladislav Ryzhikov

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic	2023-10-02	Paper
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic Journal of Artificial Intelligence Research	2023-08-28	Paper
Deciding FO-definability of regular languages (available as arXiv preprint)	2023-03-30	Paper
Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course	2023-03-24	Paper
Ontology-mediated query answering over temporal data: a survey (invited talk) 1515.68296	2023-02-03	Paper
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries Journal of Artificial Intelligence Research	2023-01-09	Paper
First-order rewritability of ontology-mediated queries in linear temporal logic Artificial Intelligence	2021-11-02	Paper
Query inseparability for \(\mathcal{ALC}\) ontologies Artificial Intelligence	2019-08-28	Paper
Querying log data with metric temporal logic Journal of Artificial Intelligence Research	2018-09-06	Paper
Horn fragments of the Halpern-Shoham interval temporal logic ACM Transactions on Computational Logic	2017-10-16	Paper
Horn fragments of the Halpern-Shoham interval temporal logic ACM Transactions on Computational Logic	2017-10-16	Paper
Inseparability and conservative extensions of description logic ontologies: a survey Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering	2017-03-30	Paper
Knowledge base exchange: the case of OWL 2 QL Artificial Intelligence	2016-09-07	Paper
Games for query inseparability of description logic knowledge bases Artificial Intelligence	2016-03-08	Paper
DL-Lite with attributes and datatypes	2015-12-11	Paper
A Cookbook for Temporal Conceptual Data Modelling with Description Logics ACM Transactions on Computational Logic	2015-09-17	Paper
A Cookbook for Temporal Conceptual Data Modelling with Description Logics ACM Transactions on Computational Logic	2015-09-17	Paper
The complexity of clausal fragments of LTL Logic for Programming, Artificial Intelligence, and Reasoning	2014-01-17	Paper
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models Frontiers of Combining Systems	2011-10-07	Paper
DL-Lite with temporalised concepts, rigid axioms and roles Frontiers of Combining Systems	2010-01-07	Paper

Research outcomes over time

This page was built for person: Vladislav Ryzhikov