Follow
Michel Leclère
Michel Leclère
Graphik, Lirmm, Université de Montpellier, CNRS, INRIA
Verified email at lirmm.fr - Homepage
Title
Cited by
Cited by
Year
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
3832011
Extending Decidable Cases for Rules with Existential Variables.
JF Baget, M Leclère, ML Mugnier, E Salvat
IJCAI 9, 677-682, 2009
1372009
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
962015
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
812010
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
812002
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
532003
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
522015
A sound and complete backward chaining algorithm for existential rules
M König, M Leclere, ML Mugnier, M Thomazo
Web Reasoning and Rule Systems: 6th International Conference, RR 2012 …, 2012
432012
Human resource management and semantic web technologies
F Trichet, M Bourse, M Leclere, E Morin
Proceedings. 2004 International Conference on Information and Communication …, 2004
392004
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
322010
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
292018
On querying simple conceptual graphs with negation
ML Mugnier, M Leclere
Data & Knowledge Engineering 60 (3), 468-493, 2007
292007
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
282006
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
272008
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
242014
Operationalizing domain ontologies: a method and a tool
F Fürst, M Leclère, F Trichet
ECAI 16, 318, 2004
232004
Reasoning with type definitions
M Leclère
International Conference on Conceptual Structures, 401-415, 1997
221997
Query rewriting for existential rules with compiled preorder
M König, M Leclere, ML Mugnier
IJCAI: International Joint Conference on Artificial Intelligence, 3006-3112, 2015
202015
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
192013
A single approach to decide chase termination on linear existential rules
M Leclère, ML Mugnier, M Thomazo, F Ulliana
22nd International Conference on Database Theory (ICDT 2019), 2019
182019
The system can't perform the operation now. Try again later.
Articles 1–20