Vladislav Ryzhikov
8 papers · 2013–2024 · 1 venue · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
๐ Academic Marathon ยท Half ๐ Interdisciplinary Bridge ยท Bronze ๐ฃ Hot Topic Early Bird โ The Questioner ๐ Conference Pioneer
๐
Trend Setter
Venues
Top co-authors
Research topics
Keywords
linear temporal logic
(3)
ontology-mediated queries
(2)
first-order logic
(2)
data complexity
(1)
ontology-mediated query
(1)
temporal data
(1)
reverse engineering
(1)
metric temporal logic
(1)
first-order rewritability
(1)
temporal queries
(1)
monadic first-order logic
(1)
query rewritability
(1)
ltl ontology
(1)
separation problem
(1)
ontology-based queries
(1)
database query
(1)
query rewriting
(1)
Papers
Extremal Separation Problems for Temporal Instance Queries
IJCAI 2024
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies
IJCAI 2023
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)
IJCAI 2022
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics
IJCAI 2019
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic
IJCAI 2016
First-Order Rewritability of Temporal Ontology-Mediated Queries
IJCAI 2015
When Are Description Logic Knowledge Bases Indistinguishable?
IJCAI 2015
Exchanging OWL 2 QL Knowledge Bases
IJCAI 2013