Michael Zakharyaschev

5 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

Future Conferences

AI Journal Division

IJCAI Proceedings