Michael Zakharyaschev
10 papers · 2013–2024 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🏃 Academic Marathon (11) 🐝 Cross-Pollinator (7) 🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge
🧭
Keyword Pioneer
🚀
Conference Pioneer
❓
The Questioner
💎
Century Club
(10)
📈
Trend Setter
Conferences
IJCAI (10)
Top co-authors
Keywords
linear temporal logic
(3)
first-order logic
(2)
ontology-mediated queries
(2)
database query
(1)
query rewriting
(1)
relational datum
(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 datum
(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
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic
IJCAI 2016
Conservative Rewritability of Description Logic TBoxes
IJCAI 2016
When Are Description Logic Knowledge Bases Indistinguishable?
IJCAI 2015
First-Order Rewritability of Temporal Ontology-Mediated Queries
IJCAI 2015
Temporal Description Logic for Ontology-Based Data Access
IJCAI 2013