Folgen
Meghyn Bienvenu
Meghyn Bienvenu
CNRS Researcher
Bestätigte E-Mail-Adresse bei labri.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
2482014
Ontology-mediated query answering with data-tractable description logics
M Bienvenu, M Ortiz
Reasoning Web. Web Logic Rules: 11th International Summer School 2015 …, 2015
1552015
Planning with Qualitative Temporal Preferences.
M Bienvenu, C Fritz, SA McIlraith
KR 6, 134-144, 2006
1372006
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
1272013
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
1212012
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
1002014
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
822011
From preference logics to preference languages, and back
M Bienvenu, J Lang, N Wilson
Twelfth International Conference on the Principles of Knowledge …, 2010
772010
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
69*2018
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
632020
Complexity of Abduction in the EL Family of Lightweight Description Logics.
M Bienvenu
KR, 220-230, 2008
632008
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
592019
Tractable Queries for Lightweight Description Logics.
M Bienvenu, M Ortiz, M Simkus, G Xiao
IJCAI 13, 768-774, 2013
552013
First-Order Rewritability of Atomic Queries in Horn Description Logics.
M Bienvenu, C Lutz, F Wolter
IJCAI, 754-760, 2013
542013
Inconsistency-tolerant querying of description logic knowledge bases
M Bienvenu, C Bourgaux
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query …, 2017
532017
Nested regular path queries in description logics
M Bienvenu, D Calvanese, M Ortiz, M Simkus
Fourteenth International Conference on the Principles of Knowledge …, 2014
522014
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
472008
Ontology-Mediated Query Answering: Harnessing Knowledge to Get More from Data.
M Bienvenu
IJCAI, 4058-4061, 2016
452016
Specifying and computing preferred plans
M Bienvenu, C Fritz, SA McIlraith
Artificial Intelligence 175 (7-8), 1308-1345, 2011
452011
Prime implicates and prime implicants: From propositional to modal logic
M Bienvenu
Journal of Artificial Intelligence Research 36, 71-128, 2009
442009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20