Proceedings

Michael Zakharyaschev

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

16 papers in the IJCAI proceedings

IJCAI 2024

Extremal Separation Problems for Temporal Instance Queries
with Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter
doi:10.24963/ijcai.2024/382
Details PDF

IJCAI 2023

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies
with Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter
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, Vladislav Ryzhikov, Frank Wolter
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 Vladislav Ryzhikov, Przemyslaw Andrzej Walega
doi:10.24963/ijcai.2019/256
Details PDF

IJCAI 2018

Ontology-Based Data Access: A Survey
with Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati
doi:10.24963/ijcai.2018/777
Details PDF

IJCAI 2016

Conservative Rewritability of Description Logic TBoxes
with Boris Konev, Carsten Lutz, Frank Wolter
Details PDF
Query-Based Entailment and Inseparability for ALC Ontologies
with Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter
Details PDF
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic
with Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov
Details PDF

IJCAI 2015

First-Order Rewritability of Temporal Ontology-Mediated Queries
with Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter
Details PDF
When Are Description Logic Knowledge Bases Indistinguishable?
with Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter
Details PDF

IJCAI 2013

Temporal Description Logic for Ontology-Based Data Access
with Alessandro Artale, Roman Kontchakov, Frank Wolter
Details PDF

IJCAI 2011

On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces
with Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann
doi:10.5591/978-1-57735-516-8/IJCAI11-165
Details PDF
The Combined Approach to Ontology-Based Data Access
with Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter
doi:10.5591/978-1-57735-516-8/IJCAI11-442
Details PDF

IJCAI 2009

Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers
with Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter
Details PDF

IJCAI 2003

Reasoning about distances
with Frank Wolter
Details PDF

IJCAI 1999

Multi-Dimensional Description Logics
with Frank Wolter
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards