Meghyn Bienvenu


2013

M. BIENVENU, B. ten CATE, C. LUTZ, and F. WOLTER Ontology-based Data Access: A Study Through Disjunctive Datalog, CSP, and MMSNP. Proceedings of the Thirty-Second International Conference on the Principles of Database Systems (PODS 2013). Long version with appendix. pdf
M. BIENVENU, C. LUTZ, and F. WOLTER First Order-Rewritability of Atomic Queries in Horn Description Logics. Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI 2013). Long version with appendix. pdf
M. BIENVENU, M. ORTIZ, and M. SIMKUS Conjunctive Regular Path Queries in Lightweight Description Logics. Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI 2013). Long version with appendix. pdf
M. BIENVENU, M. ORTIZ, M. SIMKUS, and G. XIAO Tractable Queries for Lightweight Description Logics. Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI 2013). Corrected version with appendix. pdf
M. BIENVENU, M. ORTIZ, M. SIMKUS, and G. XIAO Tractability Guarantees for DL-Lite Query Answering. Informal Proceedings of the Twenty-Sixth International Workshop on Description Logics (DL 2013). Corrected version. pdf
M. BIENVENU, R. ROSATI Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access. Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI 2013). Also presented at DL 2013. Conference version: pdf
Workshop version with appendix: pdf

2012

M. BIENVENU. On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies. Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI 2012). Conference version: pdf bib Workshop version with appendix: pdf bib
M. BIENVENU, C. LUTZ, and F. WOLTER Query Containment in Description Logics Reconsidered. Proceedings of the Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2012). Long version with appendix. pdf bib
M. BIENVENU, C. LUTZ, and F. WOLTER Deciding FO-Rewritability in EL. Proceedings of the 25th International Workshop on Description Logics (DL 2012). Corrected version with appendix. pdf bib
M. BIENVENU, M. ORTIZ, and M. SIMKUS Answering Expressive Path Queries over Lightweight DL Knowledge Bases. Proceedings of the 25th International Workshop on Description Logics (DL 2012). pdf bib
S. ABITEBOUL, M. BIENVENU, D. DEUTCH. Deduction in the Presence of Distribution and Contradictions. Proceedings of the 15th International Workshop on the Web and Databases (WebDB 2012). pdf bib
M. BIENVENU, D. DEUTCH, F. SUCHANEK. Provenance for Web 2.0 Data (position paper). Proceedings of the Ninth VLDB Workshop on Secure Data Management (SDM 2012). pdf bib
M. BIENVENU, D. DEUTCH, D. MARTINENGHI, P. SENELLART, F. SUCHANEK. Dealing with the Deep Web and all its Quirks (vision paper). Proceedings of the Second International Workshop on Searching and Integrating New Web Data Sources (VLDS 2012). pdf bib

2011

M. BIENVENU. First-Order Expressibility Results for Queries over Inconsistent DL-Lite Knowledge Bases. Proceedings of the Twenty-Fourth International Workshop on Description Logics (DL 2011). Long version with appendix. pdf bib
S. ABITEBOUL, M. BIENVENU, A. GALLAND, and E. ANTOINE. A Rule-based Language for Web Data Management. Proceedings of the Thirtieth International Conference on the Principles of Database Systems (PODS 2011 ). pdf bib
M. BIENVENU, C. FRITZ, and S. MCILRAITH Specifying and Computing Preferred Plans. Artificial Intelligence, 175(7-8): 1308-1345. bib

2010

M. BIENVENU, H. FARGIER, and P. MARQUIS. Knowledge Compilation in the Modal Logic S5. Proceedings of the Twentyfourth AAAI Conference on Artificial Intelligence AAAI 2010. pdf bib
M. BIENVENU, T. EITER, C. LUTZ, M. ORTIZ, and M. SIMKUS. Query Answering in the Description Logic S. Proceedings of the Twenty-Third International Workshop on Description Logics (DL 2010). pdf bib
F. BAADER, M. BIENVENU, C. LUTZ, and F. WOLTER. Query and Predicate Emptiness in Description Logics. Proceedings of the Twelth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010). pdf bib
M. BIENVENU, J. LANG, and N. WILSON. From Preference Logics to Preference Languages, and Back. Proceedings of the Twelth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010). pdf bib

2009

M. BIENVENU. Prime Implicates and Prime Implicants: From Propositional to Modal Logic. Journal of Artificial Intelligence Research, 36 : 71-128. pdf bib
F. BAADER, M. BIENVENU, C. LUTZ, and F. WOLTER. Query Answering over DL ABoxes: How to Pick the Relevant Symbols. Proceedings of the Twenty-Second International Workshop on Description Logics (DL 2009 ). Long version. pdf bib
M. BIENVENU. Consequence Finding in Modal Logic. PhD Thesis, May 7th, 2009, Université Paul Sabatier. pdf bib

2008

M. BIENVENU. Prime Implicate Normal Form for ALC Concepts. Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI 2008), pages 412-417. Also presented at the DL 2008 workshop. pdf bib
M. BIENVENU. Prime Implicate Normal Form for ALC Concepts : Long Version. Research Report IRIT/RR-2008-6-FR, IRIT, Université Paul Sabatier, Toulouse, France. pdf bib
J. BAIER, C. FRITZ, M. BIENVENU, and S. MCILRAITH. Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners. Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI 2008), Nectar Track, pages 1509-1512. pdf bib
M. BIENVENU, A. HERZIG, and G. QI. Prime Implicate-based Belief Revision Operators. Proceedings of the Eighteenth European Conference on Artificial Intelligence (ECAI 2008), poster paper, pages 741-742. pdf bib
M. BIENVENU. Complexity of Abduction in the EL Family of Lightweight Description Logics. Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pages 220-230. pdf bib

2007

M. BIENVENU. Prime Implicates and Prime Implicants in Modal Logic: Extended and Revised Version. Research Report IRIT/RR-2007-17-FR, IRIT, Université Paul Sabatier, Toulouse, France. pdf bib
M. BIENVENU. Prime Implicates and Prime Implicants in Modal Logic. Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (AAAI 2007), pages 379-384. bib
M. BIENVENU. Consequence Finding in ALC. Proceedings of the Twentieth International Workshop on Description Logics (DL 2007). CEUR Workshop Proceedings V. 250. bib

2006

M. BIENVENU, C. FRITZ, and S. MCILRAITH. Planning with Qualitative Dynamical Preferences. Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pages 134-144. pdf bib

2005

M. BIENVENU and S. MCILRAITH. Qualitative Dynamical Preferences in the Situation Calculus. Working Notes of the IJCAI-05 Multidisciplinary Workshop on Advances in Preference Handling. bib
M. BIENVENU and S. MCILRAITH. Specifying and Generating Preferred Plans. Working Notes of the Seventh International Symposium on Formalizations of Commonsense Reasoning. bib