Michaël Thomazo
10 papers · 2013–2022 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (13) 🏃 Academic Marathon (9) 📈 Trend Setter
💎
Century Club
(10)
🚀
Conference Pioneer
Conferences
IJCAI (10)
Top co-authors
Keywords
query answering
(3)
knowledge base
(2)
description logic
(2)
first-order logic
(1)
privacy policy
(1)
conjunctive query
(1)
existential rule
(1)
schema mapping
(1)
ontological reasoning
(1)
ontology-mediated query answering
(1)
guarded existential rule
(1)
chase termination
(1)
disclosure analysis
(1)
source constraint
(1)
conjunctive regular path query
(1)
counting queries
(1)
knowledge representation
(1)
decidable queries
(1)
data integration
(1)
automated reasoning
(1)
Papers
Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract)
IJCAI 2022
Cardinality Queries over DL-Lite Ontologies
IJCAI 2021
Answering Counting Queries over DL-Lite Ontologies
IJCAI 2020
Reasoning about Disclosure in Data Integration in the Presence of Source Constraints
IJCAI 2019
Answering Conjunctive Regular Path Queries over Guarded Existential Rules
IJCAI 2017
Expressivity of Datalog Variants — Completing the Picture
IJCAI 2016
Characterization of the Expressivity of Existential Rule Queries
IJCAI 2015
Compact Rewritings for Existential Rules
IJCAI 2013
Ontology Based Query Answering with Existential Rules
IJCAI 2013
Sound, Complete, and Minimal Query Rewriting for Existential Rules
IJCAI 2013