| 2025 | KR | Abstractions of Queries in Ontology-Based Data Access. | Michel Leclre, Marie-Laure Mugnier, Guillaume Prution-Kihli |
| 2023 | KR | Query Rewriting with Disjunctive Existential Rules and Mappings. | Michel Leclre, Marie-Laure Mugnier, Guillaume Prution-Kihli |
| 2019 | ICDT | A Single Approach to Decide Chase Termination on Linear Existential Rules. | Michel Leclre, Marie-Laure Mugnier, Michal Thomazo, Federico Ulliana |
| 2019 | IJCAI | Oblivious and Semi-Oblivious Boundedness for Existential Rules. | Pierre Bourhis, Michel Leclre, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, Lily Gallois |
| 2015 | IJCAI | Query Rewriting for Existential Rules with Compiled Preorder. | Mlanie Knig, Michel Leclre, Marie-Laure Mugnier |
| 2014 | ICCS | Defining Key Semantics for the RDF Datasets: Experiments and Evaluations. | Manuel Atencia, Michel Chein, Madalina Croitoru, Jrme David, Michel Leclre, Nathalie Pernelle, Fatiha Sas, Franois Scharffe, Danai Symeonidou |
| 2013 | IJCAI | Sound, Complete, and Minimal Query Rewriting for Existential Rules. | Mlanie Knig, Michel Leclre, Marie-Laure Mugnier, Michal Thomazo |
| 2013 | SGAI | Aggregation Semantics for Link Validity. | La Guizol, Madalina Croitoru, Michel Leclre |
| 2012 | IPMU | On Link Validity in Bibliographic Knowledge Bases. | Madalina Croitoru, La Guizol, Michel Leclre |
| 2011 | DEXA | A Theoretical and Experimental Comparison of Algorithms for the Containment of Conjunctive Queries with Negation. | Khalil Ben Mohamed, Michel Leclre, Marie-Laure Mugnier |
| 2010 | AIMSA | Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments. | Khalil Ben Mohamed, Michel Leclre, Marie-Laure Mugnier |
| 2010 | DEXA | Containment of Conjunctive Queries with Negation: Algorithms and Experiments. | Khalil Ben Mohamed, Michel Leclre, Marie-Laure Mugnier |
| 2010 | ICCS | Translations between RDF(S) and Conceptual Graphs. | Jean-Franois Baget, Madalina Croitoru, Alain Gutierrez, Michel Leclre, Marie-Laure Mugnier |
| 2010 | KR | Walking the Decidability Line for Rules with Existential Variables. | Jean-Franois Baget, Michel Leclre, Marie-Laure Mugnier |
| 2009 | ICCS | Distinguishing Answers in Conceptual Graph Knowledge Bases. | Nicolas Moreau, Michel Leclre, Madalina Croitoru |
| 2009 | IJCAI | Extending Decidable Cases for Rules with Existential Variables. | Jean-Franois Baget, Michel Leclre, Marie-Laure Mugnier, Eric Salvat |
| 2008 | ICCS | Griwes: Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation Toolkit. | Jean-Franois Baget, Olivier Corby, Rose Dieng-Kuntz, Catherine Faron-Zucker, Fabien Gandon, Alain Giboin, Alain Gutierrez, Michel Leclre, Marie-Laure Mugnier, Rallou Thomopoulos |
| 2008 | ICCS | An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation. | Michel Leclre, Marie-Laure Mugnier |
| 2008 | ICCS | Query-Answering CG Knowledge Bases. | Michel Leclre, Nicolas Moreau |
| 2007 | ICDT | Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation. | Michel Leclre, Marie-Laure Mugnier |
| 2006 | ECAI | Mapping Contexts to Vocabularies to Represent Intentions. | Rallou Thomopoulos, Marie-Laure Mugnier, Michel Leclre |
| 2006 | ICCS | Simple Conceptual Graphs with Atomic Negation and Difference. | Michel Leclre, Marie-Laure Mugnier |
| 2004 | ECAI | Operationalizing Domain Ontologies: A Method and a Tool. | Frdric Frst, Michel Leclre, Francky Trichet |
| 2003 | ISMIS | A Framework for Building Competency-Based Systems Dedicated to Human Resource Management. | Francky Trichet, Michel Leclre |
| 2003 | WWW | CommOnCV: competency@ontology.cv. | Michel Bourse, Michel Leclre, Francky Trichet, Mounira Harzallah |
| 2002 | SEKE | CommOnCV: modelling the competencies underlying a curriculum vitae. | Mounira Harzallah, Michel Leclre, Francky Trichet |
| 1997 | ICCS | Reasoning with Type Definitions. | Michel Leclre |