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 | 257 | 2014 |
Ontology-mediated query answering with data-tractable description logics M Bienvenu, M Ortiz Reasoning Web. Web Logic Rules: 11th International Summer School 2015 …, 2015 | 169 | 2015 |
Planning with Qualitative Temporal Preferences. M Bienvenu, C Fritz, SA McIlraith KR 6, 134-144, 2006 | 144 | 2006 |
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 | 137 | 2013 |
On the complexity of consistent query answering in the presence of simple ontologies M Bienvenu Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 705-711, 2012 | 126 | 2012 |
Querying inconsistent description logic knowledge bases under preferred repair semantics M Bienvenu, C Bourgaux, F Goasdoué Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014 | 108 | 2014 |
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 | 82 | 2011 |
From preference logics to preference languages, and back M Bienvenu, J Lang, N Wilson Twelfth International Conference on the Principles of Knowledge …, 2010 | 80 | 2010 |
Research directions for principles of data management (dagstuhl perspectives workshop 16151) S Abiteboul, M Arenas, P Barceló, M Bienvenu, D Calvanese, C David, ... Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2018 | 73* | 2018 |
Computing and explaining query answers over inconsistent DL-Lite knowledge bases M Bienvenu, C Bourgaux, F Goasdoué Journal of Artificial Intelligence Research 64, 563-644, 2019 | 66 | 2019 |
First order-rewritability and containment of conjunctive queries in Horn description logics M Bienvenu, P Hansen, C Lutz, F Wolter arXiv preprint arXiv:2011.09836, 2020 | 65 | 2020 |
Inconsistency-tolerant querying of description logic knowledge bases M Bienvenu, C Bourgaux Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query …, 2017 | 64 | 2017 |
Complexity of Abduction in the EL Family of Lightweight Description Logics. M Bienvenu KR, 220-230, 2008 | 64 | 2008 |
Tractable Queries for Lightweight Description Logics. M Bienvenu, M Ortiz, M Simkus, G Xiao IJCAI 13, 768-774, 2013 | 57 | 2013 |
Nested regular path queries in description logics M Bienvenu, D Calvanese, M Ortiz, M Simkus Fourteenth International Conference on the Principles of Knowledge …, 2014 | 53 | 2014 |
First-Order Rewritability of Atomic Queries in Horn Description Logics. M Bienvenu, C Lutz, F Wolter IJCAI, 754-760, 2013 | 53 | 2013 |
Ontology-Mediated Query Answering: Harnessing Knowledge to Get More from Data. M Bienvenu IJCAI, 4058-4061, 2016 | 51 | 2016 |
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 | 51 | 2008 |
Specifying and computing preferred plans M Bienvenu, C Fritz, SA McIlraith Artificial Intelligence 175 (7-8), 1308-1345, 2011 | 47 | 2011 |
Prime implicates and prime implicants: From propositional to modal logic M Bienvenu Journal of Artificial Intelligence Research 36, 71-128, 2009 | 45 | 2009 |