Vladislav Ryzhikov
Vladislav Ryzhikov
Lecturer In Computer Science, Birkbeck, Univ. of London
Verified email at dcs.bbk.ac.uk
TitleCited byYear
Reasoning over extended ER models
A Artale, D Calvanese, R Kontchakov, V Ryzhikov, M Zakharyaschev
Conceptual Modeling - ER 2007, 26th International Conference on Conceptual …, 2007
1012007
A cookbook for temporal conceptual data modelling with description logics
A Artale, R Kontchakov, V Ryzhikov, M Zakharyaschev
ACM Transactions on Computational Logic (TOCL) 15 (3), 25, 2014
542014
Ontology-based data access with a horn fragment of metric temporal logic
S Brandt, EG Kalaycı, R Kontchakov, V Ryzhikov, G Xiao, ...
Thirty-First AAAI Conference on Artificial Intelligence, 2017
422017
First-order rewritability of temporal ontology-mediated queries
A Artale, A Kovtunova, R Kontchakov, V Ryzhikov, F Wolter, ...
Proceedings of the Twenty-Fourth International Joint Conference on …, 2015
352015
The complexity of clausal fragments of LTL
A Artale, R Kontchakov, V Ryzhikov, M Zakharyaschev
Logic for Programming, Artificial Intelligence, and Reasoning - 19th …, 2013
332013
Tractable Interval Temporal Propositional and Description Logics
A Artale, R Kontchakov, V Ryzhikov, M Zakharyaschev
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence …, 2015
312015
Exchanging Description Logic Knowledge Bases
M Arenas, E Botoeva, D Calvanese, V Ryzhikov, E Sherkhonov
Principles of Knowledge Representation and Reasoning: Proceedings of the …, 2012
242012
Inseparability and conservative extensions of description logic ontologies: A survey
E Botoeva, B Konev, C Lutz, V Ryzhikov, F Wolter, M Zakharyaschev
Reasoning Web International Summer School, 27-89, 2016
222016
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic
R Kontchakov, L Pandolfo, L Pulina, V Ryzhikov, M Zakharyaschev
Proc. of the 25th Int. Joint Conf. on Artificial Intelligence (IJCAI), AAAI …, 2016
222016
DL-Lite with Attributes and Datatypes
A Artale, V Ryzhikov, R Kontchakov
ECAI 2012 - 20th European Conference on Artificial Intelligence. Including …, 2012
222012
Horn fragments of the Halpern-Shoham interval temporal logic
D Bresolin, A Kurucz, E Muñoz-Velasco, V Ryzhikov, G Sciavicco, ...
ACM Transactions on Computational Logic (TOCL) 18 (3), 22, 2017
202017
Query Inseparability for Description Logic Knowledge Bases
E Botoeva, R Kontchakov, V Ryzhikov, F Wolter, M Zakharyaschev
Principles of Knowledge Representation and Reasoning: Proceedings of the …, 2014
172014
Games for query inseparability of description logic knowledge bases
E Botoeva, R Kontchakov, V Ryzhikov, F Wolter, M Zakharyaschev
Artificial Intelligence (AIJ), 2016
162016
Exchanging OWL 2 QL Knowledge Bases
M Arenas, E Botoeva, D Calvanese, V Ryzhikov
Proceedings of the 23rd International Joint Conference on Artificial …, 2013
162013
Tailoring temporal description logics for reasoning over temporal conceptual models
A Artale, R Kontchakov, V Ryzhikov, M Zakharyaschev
Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011 …, 2011
162011
Complexity of reasoning over entity-relationship models
A Artale, D Calvanese, R Kontchakov, V Ryzhikov, M Zakharyaschev
Proceedings of the 2007 International Workshop on Description Logics (DL2007 …, 2007
16*2007
DL-Lite with temporalised concepts, rigid axioms and roles
A Artale, R Kontchakov, V Ryzhikov, M Zakharyaschev
Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009 …, 2009
152009
Query-based entailment and inseparability for ALC ontologies
E Botoeva, C Lutz, V Ryzhikov, F Wolter, M Zakharyaschev
Proc. of the 25th Int. Joint Conf. on Artificial Intelligence (IJCAI), AAAI …, 2016
132016
DL-Lite and Interval Temporal Logics: a Marriage Proposal.
A Artale, D Bresolin, A Montanari, G Sciavicco, V Ryzhikov
In ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 …, 2014
132014
Complexity of reasoning over temporal data models
A Artale, R Kontchakov, V Ryzhikov, M Zakharyaschev
Conceptual Modeling - ER 2010, 29th International Conference on Conceptual …, 2010
132010
The system can't perform the operation now. Try again later.
Articles 1–20