Michel Leclère
Michel Leclère
Graphik, Lirmm, Université de Montpellier, CNRS, INRIA
Verified email at lirmm.fr - Homepage
TitleCited byYear
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
2552011
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
1102009
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
572010
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
452003
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
402002
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
392015
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
382012
On querying simple conceptual graphs with negation
ML Mugnier, M Leclere
Data & Knowledge Engineering 60 (3), 468-493, 2007
272007
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
262010
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
262008
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
242007
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
232015
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
212002
Reasoning with type definitions
M Leclère
International Conference on Conceptual Structures, 401-415, 1997
201997
Human resource management and semantic web technologies
F Trichet, M Bourse, M Leclere, E Morin
Proceedings. 2004 International Conference on Information and Communication …, 2004
182004
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
172013
Human resource management and semantic web technologies
M Bourse, M Leclère, E Morin, F Trichet
1st International Conference on Information\& Communication Technologies …, 2004
162004
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
152014
Introducing reasoning into an industrial knowledge management tool
O Carloni, M Leclère, ML Mugnier
Applied Intelligence 31 (3), 211, 2009
152009
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
142003
The system can't perform the operation now. Try again later.
Articles 1–20