Vladislav Ryzhikov
Orcid: 0000-0002-6847-6465
According to our database1,
Vladislav Ryzhikov
authored at least 71 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract).
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024
2023
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic.
J. Artif. Intell. Res., 2023
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries.
CoRR, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract).
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023
A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract).
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023
2022
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.
J. Artif. Intell. Res., 2022
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract).
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract).
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022
2021
Artif. Intell., 2021
Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021
Proceedings of the Relational and Algebraic Methods in Computer Science, 2021
2020
Proceedings of the Reasoning Web. Declarative Artificial Intelligence, 2020
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020
2019
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version).
CoRR, 2019
Int. J. Appl. Math. Comput. Sci., 2019
Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases.
Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the 32nd International Workshop on Description Logics, 2019
2018
On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018
Proceedings of the 27th ACM International Conference on Information and Knowledge Management, 2018
2017
ACM Trans. Comput. Log., 2017
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries.
Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2017
Proceedings of the Semantic Web - 14th International Conference, 2017
Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries.
Proceedings of the 30th International Workshop on Description Logics, 2017
Proceedings of the 30th International Workshop on Description Logics, 2017
Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017
Proceedings of the New Trends in Databases and Information Systems, 2017
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
CoRR, 2016
CoRR, 2016
Artif. Intell., 2016
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey.
Proceedings of the Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering, 2016
Proceedings of the Web Reasoning and Rule Systems - 10th International Conference, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the 29th International Workshop on Description Logics, 2016
2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the 28th International Workshop on Description Logics, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
ACM Trans. Comput. Log., 2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014
2013
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
2012
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
Proceedings of the 2012 International Workshop on Description Logics, 2012
2011
Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011
2010
Proceedings of the Conceptual Modeling, 2010
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
2008
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008
2007
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007