Vladislav Ryzhikov

School of Computing and Mathematical Sciences , Birkbeck , University of London , UK

9 papers in the IJCAI proceedings

IJCAI 2024

Extremal Separation Problems for Temporal Instance Queries

with Jean Christoph Jung, Frank Wolter, Michael Zakharyaschev

doi:10.24963/ijcai.2024/382

Details PDF

IJCAI 2023

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies

with Marie Fortin, Boris Konev, Yury Savateev, Frank Wolter, Michael Zakharyaschev

doi:10.24963/ijcai.2023/360

Details PDF

IJCAI 2022

On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)

with Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Frank Wolter, Michael Zakharyaschev

doi:10.24963/ijcai.2022/794

Details PDF

IJCAI 2019

Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics

with Przemyslaw Andrzej Walega, Michael Zakharyaschev

doi:10.24963/ijcai.2019/256

Details PDF

IJCAI 2016

Query-Based Entailment and Inseparability for ALC Ontologies

with Elena Botoeva, Carsten Lutz, Frank Wolter, Michael Zakharyaschev

Details PDF

Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic

with Roman Kontchakov, Laura Pandolfo, Luca Pulina, Michael Zakharyaschev

Details PDF

IJCAI 2015

First-Order Rewritability of Temporal Ontology-Mediated Queries

with Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Frank Wolter, Michael Zakharyaschev

Details PDF

When Are Description Logic Knowledge Bases Indistinguishable?

with Elena Botoeva, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev

Details PDF

IJCAI 2013

Exchanging OWL 2 QL Knowledge Bases

with Marcelo Arenas, Elena Botoeva, Diego Calvanese

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings