Michel Leclère

62 papers A* 7A 3B 2C 3Misc 9Journal 12Unranked 25
YearRankTypeTitle / Venue / Authors
2025 A* conf
Abstractions of Queries in Ontology-Based Data Access.
KR
Michel Leclère, Marie-Laure Mugnier, Guillaume Pérution-Kihli
2023 A* conf
Query Rewriting with Disjunctive Existential Rules and Mappings.
KR
Michel Leclère, Marie-Laure Mugnier, Guillaume Pérution-Kihli
2023 J jnl
Query Rewriting with Disjunctive Existential Rules and Mappings.
CoRR
Michel Leclère, Marie-Laure Mugnier, Guillaume Pérution-Kihli
2021 J jnl
Characterizing Boundedness in Chase Variants.
Theory Pract. Log. Program.
Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
2020 J jnl
Characterizing Boundedness in Chase Variants.
CoRR
Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
2020 J jnl
Oblivious and Semi-Oblivious Boundedness for Existential Rules.
CoRR
Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, Lily Gallois
2020 — ch.
Reasoning with Ontologies.
A Guided Tour of Artificial Intelligence Research (1) (I)
Meghyn Bienvenu, Michel Leclère, Marie-Laure Mugnier, Marie-Christine Rousset
2019 B conf
A General Framework to Build and Assess the Quality of Authority Links.
K-CAP
Michel Chein, Alain Gutierrez, Michel Leclère
2019 A conf
A Single Approach to Decide Chase Termination on Linear Existential Rules.
ICDT
Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
2019 — conf
Boolean Recombinase-Based Devices.
TPNC
Guillaume Pérution-Kihli, Sarah Guiziou, Federico Ulliana, Michel Leclère, Jérôme Bonnet
2019 A* conf
Oblivious and Semi-Oblivious Boundedness for Existential Rules.
IJCAI
Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, Lily Gallois
2018 — conf
A Single Approach to Decide Chase Termination on Linear Existential Rules.
Description Logics
Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
2018 J jnl
A Single Approach to Decide Chase Termination on Linear Existential Rules.
CoRR
Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
2018 B conf
On the k-Boundedness for Existential Rules.
RuleML+RR
Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
2018 J jnl
On the k-Boundedness for Existential Rules.
CoRR
Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
2016 — conf
On Bounded Positive Existential Rules.
Description Logics
Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
2015 — conf
Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules.
Challenge+DC@RuleML
Jean-François Baget, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, Clément Sipieter
2015 — conf
Graal: A Toolkit for Query Answering with Existential Rules.
RuleML
Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, Clément Sipieter
2015 A* conf
Query Rewriting for Existential Rules with Compiled Preorder.
IJCAI
Mélanie König, Michel Leclère, Marie-Laure Mugnier
2015 J jnl
Sound, complete and minimal UCQ-rewriting for existential rules.
Semantic Web
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
2014 Misc conf
Defining Key Semantics for the RDF Datasets: Experiments and Evaluations.
ICCS
Manuel Atencia, Michel Chein, Madalina Croitoru, Jérôme David, Michel Leclère, Nathalie Pernelle, Fatiha Saïs, François Scharffe, Danai Symeonidou
2014 — conf
Définition de la sémantique des clés dans le web sémantique : un point de vue théorique.
IC
Michel Chein, Madalina Croitoru, Michel Leclère, Nathalie Pernelle, Fatiha Saïs, Danai Symeonidou
2013 — conf
Aggregation Semantics for Link Validity.
SGAI Conf.
Léa Guizol, Madalina Croitoru, Michel Leclère
2013 — conf
Kiabora: An Analyzer of Existential Rule Bases.
RR
Michel Leclère, Marie-Laure Mugnier, Swan Rocher
2013 — conf
On the Exploration of the Query Rewriting Space with Existential Rules.
RR
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
2013 J jnl
Sound, Complete and Minimal UCQ-Rewriting for Existential Rules.
CoRR
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
2013 A* conf
Sound, Complete, and Minimal Query Rewriting for Existential Rules.
IJCAI
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
2013 — conf
SudocAD: A Knowledge-Based System for the Author Linkage Problem.
KSE (1)
Michel Chein, Michel Leclère, Yann Nicolas
2012 — conf
A Sound and Complete Backward Chaining Algorithm for Existential Rules.
RR
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
2012 — conf
On Link Validity in Bibliographic Knowledge Bases.
IPMU (1)
Madalina Croitoru, Léa Guizol, Michel Leclère
2011 — conf
A Theoretical and Experimental Comparison of Algorithms for the Containment of Conjunctive Queries with Negation.
DEXA (1)
Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier
2011 J jnl
On rules with existential variables: Walking the decidability line.
Artif. Intell.
Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat
2010 — conf
Containment of Conjunctive Queries with Negation: Algorithms and Experiments.
DEXA (2)
Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier
2010 Misc conf
Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments.
AIMSA
Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier
2010 Misc conf
Translations between RDF(S) and Conceptual Graphs.
ICCS
Jean-François Baget, Madalina Croitoru, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier
2010 A* conf
Walking the Decidability Line for Rules with Existential Variables.
KR
Jean-François Baget, Michel Leclère, Marie-Laure Mugnier
2009 Misc conf
Distinguishing Answers in Conceptual Graph Knowledge Bases.
ICCS
Nicolas Moreau, Michel Leclère, Madalina Croitoru
2009 A* conf
Extending Decidable Cases for Rules with Existential Variables.
IJCAI
Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat
2009 J jnl
Introducing reasoning into an industrial knowledge management tool.
Appl. Intell.
Olivier Carloni, Michel Leclère, Marie-Laure Mugnier
2008 Misc conf
An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation.
ICCS
Michel Leclère, Marie-Laure Mugnier
2008 — conf
DL-SR: a Lite DL with Expressive Rules: Preliminary Results.
Description Logics
Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat
2008 — conf
Différentes notions de réponses pour un système d'interrogation de bases de graphes.
Actes d'IC
Michel Leclère, Nicolas Moreau
2008 Misc conf
Griwes: Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation Toolkit.
ICCS
Jean-François Baget, Olivier Corby, Rose Dieng-Kuntz, Catherine Faron-Zucker, Fabien Gandon, Alain Giboin, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier, Rallou Thomopoulos
2008 Misc conf
Query-Answering CG Knowledge Bases.
ICCS
Michel Leclère, Nicolas Moreau
2007 — conf
Annotation formelle graphique de documents multimédia.
Actes d'IC
Nicolas Moreau, Michel Leclère, Michel Chein, Alain Gutierrez
2007 — conf
Formal and graphical annotations for digital objects.
SADPI
Nicolas Moreau, Michel Leclère, Michel Chein, Alain Gutierrez
2007 J jnl
On querying simple conceptual graphs with negation.
Data Knowl. Eng.
Marie-Laure Mugnier, Michel Leclère
2007 A conf
Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation.
ICDT
Michel Leclère, Marie-Laure Mugnier
2006 C conf
Introducing Graph-Based Reasoning into a Knowledge Management Tool: An Industrial Case Study.
IEA/AIE
Olivier Carloni, Michel Leclère, Marie-Laure Mugnier
2006 — conf
Introduction de raisonnement dans un outil de gestion des connaissances basé sur les Topic Maps.
Actes d'IC
Olivier Carloni, Michel Leclère, Marie-Laure Mugnier
2006 — conf
Mapping Contexts to Vocabularies to Represent Intentions.
C&O@ECAI
Rallou Thomopoulos, Marie-Laure Mugnier, Michel Leclère
2006 Misc conf
Simple Conceptual Graphs with Atomic Negation and Difference.
ICCS
Michel Leclère, Marie-Laure Mugnier
2004 A conf
Operationalizing Domain Ontologies: A Method and a Tool.
ECAI
Frédéric Fürst, Michel Leclère, Francky Trichet
2003 C conf
A Framework for Building Competency-Based Systems Dedicated to Human Resource Management.
ISMIS
Francky Trichet, Michel Leclère
2003 — conf
CommOnCV: [email protected].
WWW (Posters)
Michel Bourse, Michel Leclère, Francky Trichet, Mounira Harzallah
2003 J jnl
Ontological Engineering and Mathematical Knowledge Management: A Formalization of Projective Geometry.
Ann. Math. Artif. Intell.
Frédéric Fürst, Michel Leclère, Francky Trichet
2003 — conf
TooCoM: a Tool to Operationalize an Ontology with the Conceptual Graph Model.
EON
Frédéric Fürst, Michel Leclère, Francky Trichet
2002 C conf
CommOnCV: modelling the competencies underlying a curriculum vitae.
SEKE
Mounira Harzallah, Michel Leclère, Francky Trichet
2002 — conf
Construction d'une ontologie opérationnelle : un retour d'expérience.
EGC
Frédéric Fürst, Michel Leclère, Francky Trichet
2001 — conf
Capitaliser et partager des connaissances : une approche fondée sur l'exploitation d'un système à base de connaissances de type tâche/méthode.
EGC
Michel Leclère, Bruno Tixier, Francky Trichet
1997 Misc conf
Reasoning with Type Definitions.
ICCS
Michel Leclère
1994 — conf
Diverses problématiques de classification dans le modèle des graphes conceptuels.
LMO
Michel Leclère