Vladislav Ryzhikov

8 papers · 2013–2024 · 1 conference · across top CS/AI conferences

Achievements

🧭 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

Michael Zakharyaschev (7) Frank Wolter (5) Roman Kontchakov (4) Alisa Kovtunova (2) Elena Botoeva (2) Alessandro Artale (2) Boris Konev (1) Luca Pulina (1) Marie Fortin (1) Marcelo Arenas (1)

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