Michael Zakharyaschev
10 papers · 2013–2024 · 1 venue · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
๐ Interdisciplinary Bridge ยท Bronze ๐ Academic Marathon ยท Half ๐ฃ Hot Topic Early Bird ๐ Trend Setter ๐ Conference Pioneer
โ
The Questioner
๐
Century Club ยท Bronze
Venues
Top co-authors
Research topics
Keywords
linear temporal logic
(3)
first-order logic
(2)
ontology-mediated queries
(2)
database query
(1)
query rewriting
(1)
relational data
(1)
ontology-based data access
(1)
description logic
(1)
data complexity
(1)
ontology-mediated query
(1)
query answering
(1)
semantic query
(1)
semantic integration
(1)
temporal data
(1)
reverse engineering
(1)
metric temporal logic
(1)
first-order rewritability
(1)
temporal queries
(1)
monadic first-order logic
(1)
semantic paradigm
(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
Ontology-Based Data Access: A Survey
IJCAI 2018
Conservative Rewritability of Description Logic TBoxes
IJCAI 2016
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic
IJCAI 2016
First-Order Rewritability of Temporal Ontology-Mediated Queries
IJCAI 2015
When Are Description Logic Knowledge Bases Indistinguishable?
IJCAI 2015
Temporal Description Logic for Ontology-Based Data Access
IJCAI 2013