Meghyn Bienvenu
TitleCited byYear
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), 33, 2014
1362014
Planning with Qualitative Temporal Preferences.
M Bienvenu, C Fritz, SA McIlraith
KR 6, 134-144, 2006
992006
On the complexity of consistent query answering in the presence of simple ontologies
M Bienvenu
Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
872012
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
762013
Ontology-mediated query answering with data-tractable description logics
M Bienvenu, M Ortiz
Reasoning Web International Summer School, 218-307, 2015
702015
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
672011
From preference logics to preference languages, and back
M Bienvenu, J Lang, N Wilson
Twelfth International Conference on the Principles of Knowledge …, 2010
642010
Querying inconsistent description logic knowledge bases under preferred repair semantics
M Bienvenu, C Bourgaux, F Goasdoué
Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
542014
First-order rewritability of atomic queries in horn description logics
M Bienvenu, C Lutz, F Wolter
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
442013
Complexity of Abduction in the EL Family of Lightweight Description Logics.
M Bienvenu
KR, 220-230, 2008
432008
First order-rewritability and containment of conjunctive queries in Horn description logics
M Bienvenu, P Hansen, C Lutz, F Wolter
IJCAI: International Joint Conference on Artificial Intelligence, 2016
372016
Tractable queries for lightweight description logics
M Bienvenu, M Ortiz, M Simkus, G Xiao
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
362013
Prime Implicate-based Belief Revision Operators.
M Bienvenu, A Herzig, G Qi
ECAI 178, 741-742, 2008
362008
Nested regular path queries in description logics
M Bienvenu, D Calvanese, M Ortiz, M Simkus
Fourteenth International Conference on the Principles of Knowledge …, 2014
352014
Query containment in description logics reconsidered
M Bienvenu, C Lutz, F Wolter
Thirteenth International Conference on the Principles of Knowledge …, 2012
292012
Query and predicate emptiness in description logics
F Baader, M Bienvenu, C Lutz, F Wolter
Twelfth International Conference on the Principles of Knowledge …, 2010
282010
Prime implicates and prime implicants: From propositional to modal logic
M Bienvenu
Journal of Artificial Intelligence Research 36, 71-128, 2009
272009
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
272008
Specifying and computing preferred plans
M Bienvenu, C Fritz, SA McIlraith
Artificial Intelligence 175 (7-8), 1308-1345, 2011
262011
Query and predicate emptiness in ontology-based data access
F Baader, M Bienvenu, C Lutz, F Wolter
Journal of Artificial Intelligence Research 56, 1-59, 2016
242016
The system can't perform the operation now. Try again later.
Articles 1–20