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 | 255 | 2011 |
Extending decidable cases for rules with existential variables JF Baget, M Leclère, ML Mugnier, E Salvat Twenty-First International Joint Conference on Artificial Intelligence, 2009 | 110 | 2009 |
Walking the decidability line for rules with existential variables JF Baget, M Leclère, ML Mugnier Twelfth International Conference on the Principles of Knowledge …, 2010 | 57 | 2010 |
A framework for building competency-based systems dedicated to human resource management F Trichet, M Leclère International Symposium on Methodologies for Intelligent Systems, 633-639, 2003 | 45 | 2003 |
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 | 40 | 2002 |
Graal: A toolkit for query answering with existential rules JF Baget, M Leclère, ML Mugnier, S Rocher, C Sipieter International Symposium on Rules and Rule Markup Languages for the Semantic …, 2015 | 39 | 2015 |
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 | 38 | 2012 |
On querying simple conceptual graphs with negation ML Mugnier, M Leclere Data & Knowledge Engineering 60 (3), 468-493, 2007 | 27 | 2007 |
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 | 26 | 2010 |
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, ... International Conference on Conceptual Structures, 297-310, 2008 | 26 | 2008 |
Some algorithmic improvements for the containment problem of conjunctive queries with negation M Leclère, ML Mugnier International Conference on Database Theory, 404-418, 2007 | 24 | 2007 |
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 | 23 | 2015 |
CommOnCV: modeling the competencies underlying a Curriculum Vitae M Bourse, M Harzallah, M Leclère, F Trichet Proceedings of the 14th international conference on Software Engineering and …, 2002 | 21 | 2002 |
Reasoning with type definitions M Leclère International Conference on Conceptual Structures, 401-415, 1997 | 20 | 1997 |
Human resource management and semantic web technologies F Trichet, M Bourse, M Leclere, E Morin Proceedings. 2004 International Conference on Information and Communication …, 2004 | 18 | 2004 |
On the exploration of the query rewriting space with existential rules M König, M Leclère, ML Mugnier, M Thomazo International Conference on Web Reasoning and Rule Systems, 123-137, 2013 | 17 | 2013 |
Human resource management and semantic web technologies M Bourse, M Leclère, E Morin, F Trichet 1st International Conference on Information\& Communication Technologies …, 2004 | 16 | 2004 |
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, ... International Conference on Conceptual Structures, 65-78, 2014 | 15 | 2014 |
Introducing reasoning into an industrial knowledge management tool O Carloni, M Leclère, ML Mugnier Applied Intelligence 31 (3), 211, 2009 | 15 | 2009 |
Ontological engineering and mathematical knowledge management: A formalization of projective geometry F Fürst, M Leclère, F Trichet Annals of Mathematics and Artificial Intelligence 38 (1-3), 65-89, 2003 | 14 | 2003 |