2024
| Z. XIANG, M. BIENVENU, G. CIMA, V. GUTIERREZ-BASULTO, Y. IBANEZ-GARCIA ASPEn: ASP-Based System for Collective Entity Resolution. Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024). |
| M. BIENVENU, D. FIGUEIRA, P. LAFOURCADE Shapley Value Computation in Ontology-Mediated Query Answering Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024). |
| M. BIENVENU, C. BOURGAUX, R. JEAN Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024). |
| M. BIENVENU, C. BOURGAUX, D. KOZHEMIACHENKO Queries With Exact Truth Values in Paraconsistent Description Logics Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024). |
| M. BIENVENU, K. INOUE, D. KOZHEMIACHENKO Abductive Reasoning in a Paraconsistent Framework Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024). |
| M. BIENVENU, D. FIGUEIRA, P. LAFOURCADE When is Shapley Value Computation a Matter of Counting? Proceedings of the ACM Symposium of the Principles of Database Systems (PODS 2024). pdf |
2023
| M. BIENVENU, G. CIMA, V. GUTIERREZ-BASULTO: REPLACE: A Logical Framework for Combining Collective Entity Resolution and Repairing. Proceedings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023). Also presented at the ENIGMA workshop at KR 2023. pdf |
| M. BIENVENU, G. CIMA, V. GUTIERREZ-BASULTO, Y. IBANEZ-GARCIA Combining Global and Local Merges in Logic-based Entity Resolution. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023). pdf |
| M. BIENVENU, C. BOURGAUX: Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023). pdf |
2022
| M. BIENVENU, G. CIMA, V. GUTIERREZ-BASULTO: LACE: A Logical Approach to Collective Entity Resolution. Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2022). pdf |
| M. BIENVENU, Q. MANIERE, M. THOMAZO: Counting Queries over ELHI-bot Ontologies. Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022). Also presented at DL 2022. pdf |
| M. BIENVENU, C. BOURGAUX: Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments. Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022). Also presented at DL 2022. pdf |
2021
| M. BIENVENU, G. LAKEMEYER, E. ERDEM (editors): Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021). proceedings |
| M. BIENVENU, Q. MANIERE, M. THOMAZO: Cardinality Queries over DL-Lite Ontologies. Proceedings of the 30th International Conference on International Joint Conference on Artificial Intelligence (IJCAI 2021), pages 1801-1807. Also presented at DL 2021. pdf |
| M. BIENVENU, Q. MANIERE, M. THOMAZO: Counting Queries over ELHI-bot Ontologies. Proceedings of the 34th International Workshop on Description Logics (DL 2021). pdf |
2020
| M. BIENVENU, C. BOURGAUX: Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation . Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), pages 141-151. Also presented at DL 2020. pdf |
| M. BIENVENU: A Short Survey on Inconsistency Handling in Ontology-Mediated Query Answering. Special issue on "Ontologies and Data Management" of Künstliche Intelligenz 34(4): 443-451. |
| M. BIENVENU, Q. MANIERE, M. THOMAZO: Answering Counting Queries over DL-Lite Ontologies. Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020), pages 1608-1614. Long version with appendix: pdf . |
| M. BIENVENU, M. LECLERE, M.-L. MUGNIER, M.-C. ROUSSET: Reasoning with Ontologies. Chapter 6 of A Guided Tour of AI Research, Volume 1, pages 185-215. |
2019
| M. BIENVENU, P. BOURHIS: Mixed-World Reasoning with Existential Rules under Active-Domain Semantics . Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019). Also presented at DL 2019. pdf |
| M. BIENVENU: Inconsistency Handling in Ontology-Mediated Query Answering: A Progress Report. Proceedings of the 32nd International Workshop on Description Logics (DL 2019) . pdf |
| A. CAMACHO, M. BIENVENU, S. MCILRAITH: Towards a Unified View of AI Planning and Reactive Synthesis. Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), pages 58-67. pdf . |
| M. BIENVENU, C. BOURGAUX, F. GOASDOUE: Computing and Explaining Query Answers over Inconsistent DL-Lite Knowledge Bases. Journal of Artificial Intelligence Research (JAIR), volume 64, pages 563-644. pdf |
2018
| M. BIENVENU, S. KIKOT, R. KONTCHAKOV, V. PODOLSKII, M. ZAKHARYASCHEV: Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity. Journal of the ACM (JACM) 65:5. pdf |
| M. BIENVENU: Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account. Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018). Also presented at DL 2018. pdf |
| A. CAMACHO, M. BIENVENU, S. MCILRAITH: Finite LTL Synthesis with Environment Assumptions and Quality Measures. Proceedings of the 16th International Conference on Knowledge Representation and Reasoning (KR 2018). Long version with appendix: pdf |
| S. ABITEBOUL, M. ARENAS, P. BARCELO, M. BIENVENU, D. CALVANESE, C. DAVID, R. HULL, E. HÜLLERMEIER, B. KIMELFELD, L. LIBKIN, W. MARTENS, T. MILO, F. MURLAK, F. NEVEN, M. ORTIZ, T. SCHWENTICK, J. STOYANOVICH, J. SU, D. SUCIU, V. VIANU, K. YI: Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). Dagstuhl Manifestos 7(1): 1-29. Abriged version in SIGMOD Record 45(4): 5-17. pdf |
2017
| J.-F. BAGET, M. BIENVENU, M.-L. MUGNIER, and M. THOMAZO: Answering Conjunctive Regular Path Queries over Guarded Existential Rules. Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017). pdf |
| M. BIENVENU, P. BOURHIS, M.-L. MUGNIER, S. TISON, and F. ULLIANA: Ontology-Mediated Query Answering for Key-Value Stores. Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017). pdf |
| M. BIENVENU, S. KIKOT, R. KONTCHAKOV, V. PODOLSKII and M. ZAKHARYASCHEV: On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL. Proceedings of the 30th International Workshop on Description Logics (DL 2017). pdf |
| M. BIENVENU, S. KIKOT, R. KONTCHAKOV, V. PODOLSKII and M. ZAKHARYASCHEV: Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries. Proceedings of the 30th International Workshop on Description Logics (DL 2017). pdf |
| M. BIENVENU, S. KIKOT, R. KONTCHAKOV, V. PODOLSKII and M. ZAKHARYASCHEV: The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries. Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2017). pdf |
2016
| F. SUCHANEK, C. MENARD, M. BIENVENU, and C. CHAPELLIER Can you imagine... a language for combinatorial creativity? Proceedings of the 15th International Semantic Web Conference (ISWC 2016). Main paper: pdf Demo: pdf |
| M. BIENVENU and M. THOMAZO On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules (Best Paper Award). Proceedings of the 10th International Conference on Web Reasoning and Rule Systems (RR 2016). pdf |
| M. BIENVENU Query Rewriting: Limits and Possibilities. Keynote talk at the 10th International Conference on Web Reasoning and Rule Systems (RR 2016). slides |
| M. BIENVENU and C. BOURGAUX Inconsistency-Tolerant Querying of Description Logic Knowledge Bases. Proceedings of the 12th Reasoning Web Summer School (RW 2016). pdf slides |
| M. BIENVENU Ontology-Mediated Query Answering: Harnessing Knowledge to Get More from Data. Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 4058-4061. Invited Early Career Spotlight talk. pdf slides |
| M. BIENVENU, C. BOURGAUX, and F. GOASDOUE Query-driven Repairing of Inconsistent DL-Lite Knowledge Bases. Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 957-964. pdf |
| M. BIENVENU, P. HANSEN, C. LUTZ, and F. WOLTER First Order-Rewritability of Conjunctive Queries in Horn Description Logics. Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 965-971. pdf |
| M. BIENVENU, S. KIKOT, R. KONTCHAKOV, V. PODOLSKII and M. ZAKHARYASCHEV: Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries. Proceedings of the 29th International Workshop on Description Logics (DL 2016). pdf |
| F. BAADER, M. BIENVENU, C. LUTZ, and F. WOLTER Query and Predicate Emptiness in Description Logics. Journal of Artificial Intelligence Research (JAIR) 56: 1-59. pdf |
| M. BIENVENU and R. ROSATI Query-based Comparison of Mappings in Ontology-based Data Access. Proceedings of the 15th International Conference on Knowledge Representation and Reasoning (KR 2016). Long version with appendix and improvements (see Figure 1): pdf |
| M. BIENVENU, C. BOURGAUX, and F. GOASDOUE Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases. Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016). Long version with appendix: pdf |
2015
| M. BIENVENU, S. KIKOT, and V. PODOLSKII Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results. Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015). Arxiv version (with appendix): pdf |
| J.F. BAGET, M. BIENVENU, M.L. MUGNIER, and S. ROCHER Combining Existential Rules and Transitivity: Next Steps. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015). Arxiv version (with appendix): pdf |
| M. BIENVENU and R. ROSATI Query-based Comparison of OBDA Specifications. Proceedings of the 28th International Workshop on Description Logics (DL 2015). Long version with correction and appendix: pdf |
| M. BIENVENU, C. BOURGAUX, and F. GOASDOUE Explaining Query Answers under Inconsistency-Tolerant Semantics over Description Logic Knowledge Bases. Proceedings of the 28th International Workshop on Description Logics (DL 2015). Extended abstract: pdf |
| M. BIENVENU, S. KIKOT, and V. PODOLSKII Combined Complexity of Answering Tree-like Queries in OWL 2 QL. Proceedings of the 28th International Workshop on Description Logics (DL 2015). Extended abstract (summarizes complexity results from LICS'15 paper): pdf |
| M. BIENVENU, M. ORTIZ, and M. SIMKUS Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results. Proceedings of the 9th Alberto Mendelzon Workshop on Foundations of Data Management (AMW 2015). pdf |
| M. BIENVENU and M. ORTIZ Ontology-Mediated Query Answering with Data-Tractable Description Logics. Proceedings of the 11th Reasoning Web Summer School (RW 2015). Chapter (last corrections: August 2016): pdf |
| M. BIENVENU, M. ORTIZ, and M. SIMKUS Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms. Journal of Artificial Intelligence Research (JAIR) , 53: 315-374. pdf |
2014
| M. BIENVENU, D. CALVANESE, M. ORTIZ, and M. SIMKUS Nested Regular Path Queries in Description Logics. Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014). Also presented at AMW 2014. Conference version: pdf Extended abstract: pdf |
| M. BIENVENU, C. BOURGAUX, and F. GOASDOUE Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics. Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI 2014). Also presented at DL 2014. Long version with appendix: pdf Extended abstract: pdf |
| M. BIENVENU, S. KIKOT, and V. PODOLSKII Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries. Proceedings of the 27th International Workshop on Description Logics (DL 2014). Workshop version: pdf Long version available here |
| M. BIENVENU, M. ORTIZ, R. ROSATI, and M. SIMKUS (Eds.) Informal Proceedings of the 27th International Workshop on Description Logics (DL 2014). CEUR Workshop Proceedings 1193. Available here |
| M. BIENVENU, B. ten CATE, C. LUTZ, and F. WOLTER Ontology-based Data Access: A Study Through Disjunctive Datalog, CSP, and MMSNP. ACM Transactions on Database Systems (TODS) 39(4): 33:1 -33:44. Paper: pdf Appendix: pdf |
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 |