Vladislav Ryzhikov
8 papers · 2013–2024 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (15) 🌉 Interdisciplinary Bridge 🏃 Academic Marathon (11)
🏆
Keyword Champion
(2)
📈
Trend Setter
🚀
Conference Pioneer
❓
The Questioner
Conferences
IJCAI (8)
Top co-authors
Keywords
linear temporal logic
(3)
ontology-mediated queries
(2)
first-order logic
(2)
data complexity
(1)
ontology-mediated query
(1)
temporal datum
(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
When Are Description Logic Knowledge Bases Indistinguishable?
IJCAI 2015
First-Order Rewritability of Temporal Ontology-Mediated Queries
IJCAI 2015
Exchanging OWL 2 QL Knowledge Bases
IJCAI 2013