Meghyn Bienvenu
Meghyn Bienvenu
CNRS Researcher
Adresse e-mail validée de labri.fr - Page d'accueil
Titre
Citée par
Citée par
Année
Ontology-based data access: A study through disjunctive datalog, CSP, and MMSNP
M Bienvenu, BT Cate, C Lutz, F Wolter
ACM Transactions on Database Systems (TODS) 39 (4), 1-44, 2014
1662014
Planning with Qualitative Temporal Preferences.
M Bienvenu, C Fritz, SA McIlraith
KR 6, 134-144, 2006
1092006
On the complexity of consistent query answering in the presence of simple ontologies
M Bienvenu
Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
1012012
Ontology-mediated query answering with data-tractable description logics
M Bienvenu, M Ortiz
Reasoning Web International Summer School, 218-307, 2015
982015
Tractable approximations of consistent query answering for robust ontology-based data access
M Bienvenu, R Rosati
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
922013
A rule-based language for web data management
S Abiteboul, M Bienvenu, A Galland, É Antoine
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on …, 2011
722011
Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics.
M Bienvenu, C Bourgaux, F Goasdoué
AAAI, 996-1002, 2014
672014
From Preference Logics to Preference Languages, and Back.
M Bienvenu, J Lang, N Wilson
KR, 9-13, 2010
662010
Complexity of Abduction in the EL Family of Lightweight Description Logics.
M Bienvenu
KR, 220-230, 2008
472008
First order-rewritability and containment of conjunctive queries in Horn description logics
M Bienvenu, P Hansen, C Lutz, F Wolter
462016
First-order rewritability of atomic queries in horn description logics.
M Bienvenu, C Lutz, F Wolter
IJCAI, 754-760, 2013
462013
Tractable Queries for Lightweight Description Logics.
M Bienvenu, M Ortiz, M Simkus, G Xiao
IJCAI, 768-774, 2013
392013
Nested regular path queries in description logics
M Bienvenu, D Calvanese, M Ortiz, M Simkus
arXiv preprint arXiv:1402.7122, 2014
382014
Prime Implicate-based Belief Revision Operators.
M Bienvenu, A Herzig, G Qi
ECAI 178, 741-742, 2008
382008
Research directions for Principles of Data Management (Dagstuhl perspectives workshop 16151)
S Abiteboul, M Arenas, P Barceló, M Bienvenu, D Calvanese, C David, ...
arXiv preprint arXiv:1701.09007, 2017
35*2017
Query Containment in Description Logics Reconsidered.
M Bienvenu, C Lutz, F Wolter
KR, 2012
352012
Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners.
JA Baier, C Fritz, M Bienvenu, SA McIlraith
AAAI, 1509-1512, 2008
322008
Prime implicates and prime implicants: From propositional to modal logic
M Bienvenu
Journal of Artificial Intelligence Research 36, 71-128, 2009
312009
Inconsistency-tolerant querying of description logic knowledge bases
M Bienvenu, C Bourgaux
Reasoning Web International Summer School, 156-202, 2016
292016
Explaining inconsistency-tolerant query answering over description logic knowledge bases
M Bienvenu, C Bourgaux, F Goasdoué
282016
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20