Meghyn Bienvenu
18 papers · 2013–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
🐝 Cross-Pollinator (5) 🧭 Keyword Pioneer 🌉 Interdisciplinary Bridge 🏃 Academic Marathon (12) 🌍 Conference Polyglot (2)
🧭
Keyword Pioneer
🏆
Keyword Champion
(3)
🔥
Unstoppable
(7)
💎
Century Club
(17)
🚀
Conference Pioneer
📈
Trend Setter
Conferences
IJCAI (17)
AAAI (1)
Top co-authors
Keywords
description logic
(5)
query answering
(5)
ontology-mediated query answering
(3)
knowledge base
(3)
data complexity
(3)
first-order logic
(2)
knowledge representation
(2)
shapley value
(1)
probabilistic query evaluation
(1)
conjunctive query
(1)
ontology-based data access
(1)
inconsistency-tolerant query answering
(1)
existential rule
(1)
entity resolution
(1)
conflict resolution
(1)
logical rule
(1)
metric temporal logic
(1)
inconsistency handling
(1)
inconsistent datum
(1)
guarded existential rule
(1)
Papers
Data Complexity of Querying Description Logic Knowledge Bases Under Cost-Based Semantics
AAAI 2026
Inconsistency Handling in DatalogMTL
IJCAI 2025
Shapley Value Computation in Ontology-Mediated Query Answering (Extended Abstract)
IJCAI 2025
REPLACE: A Logical Framework for Combining Collective Entity Resolution and Repairing
IJCAI 2023
Cardinality Queries over DL-Lite Ontologies
IJCAI 2021
Answering Counting Queries over DL-Lite Ontologies
IJCAI 2020
Mixed-World Reasoning with Existential Rules under Active-Domain Semantics
IJCAI 2019
Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account
IJCAI 2018
Ontology-Mediated Query Answering for Key-Value Stores
IJCAI 2017
Answering Conjunctive Regular Path Queries over Guarded Existential Rules
IJCAI 2017
Ontology-Mediated Query Answering: Harnessing Knowledge to Get More from Data
IJCAI 2016
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics
IJCAI 2016
Query-Driven Repairing of Inconsistent DL-Lite Knowledge Bases
IJCAI 2016
Combining Existential Rules and Transitivity: Next Steps
IJCAI 2015
Conjunctive Regular Path Queries in Lightweight Description Logics
IJCAI 2013
Tractable Approximations of Consistent Query Answering for Robust Ontology-Based Data Access
IJCAI 2013
Tractable Queries for Lightweight Description Logics
IJCAI 2013
First-Order Rewritability of Atomic Queries in Horn Description Logics
IJCAI 2013