| On rules with existential variables: Walking the decidability line JF Baget, M Leclère, ML Mugnier, E Salvat Artificial Intelligence 175 (9-10), 1620-1654, 2011 | 390 | 2011 |
| Extending Decidable Cases for Rules with Existential Variables. JF Baget, M Leclère, ML Mugnier, E Salvat IJCAI 9, 677-682, 2009 | 138 | 2009 |
| Graal: A toolkit for query answering with existential rules JF Baget, M Leclère, ML Mugnier, S Rocher, C Sipieter Rule Technologies: Foundations, Tools, and Applications: 9th International …, 2015 | 101 | 2015 |
| Walking the Decidability Line for Rules with Existential Variables. JF Baget, M Leclère, ML Mugnier KR 10, 466-476, 2010 | 81 | 2010 |
| CommOnCV: modelling the competencies underlying a curriculum vitae M Harzallah, M Leclère, F Trichet Proceedings of the 14th international conference on Software engineering and …, 2002 | 80 | 2002 |
| Sound, complete and minimal UCQ-rewriting for existential rules M König, M Leclère, ML Mugnier, M Thomazo Semantic Web 6 (5), 451-475, 2015 | 59 | 2015 |
| A framework for building competency-based systems dedicated to human resource management F Trichet, M Leclère Foundations of Intelligent Systems: 14th International Symposium, ISMIS 2003 …, 2003 | 53 | 2003 |
| A sound and complete backward chaining algorithm for existential rules M König, M Leclere, ML Mugnier, M Thomazo International Conference on Web Reasoning and Rule Systems, 122-138, 2012 | 42 | 2012 |
| Human resource management and semantic web technologies F Trichet, M Bourse, M Leclere, E Morin Proceedings. 2004 International Conference on Information and Communication …, 2004 | 40 | 2004 |
| Translations between RDF (S) and conceptual graphs JF Baget, M Croitoru, A Gutierrez, M Leclère, ML Mugnier International Conference on Conceptual Structures, 28-41, 2010 | 32 | 2010 |
| An automated design framework for multicellular recombinase logic S Guiziou, F Ulliana, V Moreau, M Leclere, J Bonnet ACS synthetic biology 7 (5), 1406-1412, 2018 | 31 | 2018 |
| Griwes: Generic model and preliminary specifications for a graph-based knowledge representation toolkit JF Baget, O Corby, R Dieng-Kuntz, C Faron-Zucker, F Gandon, A Giboin, ... Conceptual Structures: Knowledge Visualization and Reasoning: 16th …, 2008 | 28 | 2008 |
| Some algorithmic improvements for the containment problem of conjunctive queries with negation M Leclere, ML Mugnier Database Theory–ICDT 2007: 11th International Conference, Barcelona, Spain …, 2006 | 28 | 2006 |
| On querying simple conceptual graphs with negation ML Mugnier, M Leclere Data & Knowledge Engineering 60 (3), 468-493, 2007 | 27 | 2007 |
| Defining key semantics for the RDF datasets: experiments and evaluations M Atencia, M Chein, M Croitoru, J David, M Leclère, N Pernelle, F Saïs, ... Graph-Based Representation and Reasoning: 21st International Conference on …, 2014 | 26 | 2014 |
| Operationalizing domain ontologies: a method and a tool F Fürst, M Leclère, F Trichet ECAI 16, 318, 2004 | 23 | 2004 |
| Reasoning with ontologies M Bienvenu, M Leclère, ML Mugnier, MC Rousset A Guided Tour of Artificial Intelligence Research: Volume I: Knowledge …, 2020 | 22 | 2020 |
| Reasoning with type definitions M Leclère International Conference on Conceptual Structures, 401-415, 1997 | 21 | 1997 |
| On the exploration of the query rewriting space with existential rules M König, M Leclère, ML Mugnier, M Thomazo Web Reasoning and Rule Systems: 7th International Conference, RR 2013 …, 2013 | 20 | 2013 |
| Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules. JF Baget, A Gutierrez, M Leclere, ML Mugnier, S Rocher, C Sipieter Challenge+ DC@ RuleML, 2015 | 18 | 2015 |