Diverses problématiques de classification dans le modèle des graphes conceptuels. - Michel Leclère (LMO, 1994)

Reasoning with Type Definitions. - Michel Leclère (ICCS, 1997)

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. - Michel Leclère; Bruno Tixier; Francky Trichet (EGC, 2001)

Construction d'une ontologie opérationnelle : un retour d'expérience. - Frédéric Fürst; Michel Leclère; Francky Trichet (EGC, 2002)

CommOnCV: modelling the competencies underlying a curriculum vitae. - Mounira Harzallah; Michel Leclère; Francky Trichet (SEKE, 2002)

TooCoM: a Tool to Operationalize an Ontology with the Conceptual Graph Model. - Frédéric Fürst; Michel Leclère; Francky Trichet (EON, 2003)

A Framework for Building Competency-Based Systems Dedicated to Human Resource Management. - Francky Trichet; Michel Leclère (ISMIS, 2003)

CommOnCV: competency@ontology.cv. - Michel Bourse; Michel Leclère; Francky Trichet; Mounira Harzallah (WWW (Posters), 2003)

Ontological Engineering and Mathematical Knowledge Management: A Formalization of Projective Geometry. - Frédéric Fürst; Michel Leclère; Francky Trichet (Ann. Math. Artif. Intell., 2003)

Operationalizing Domain Ontologies: A Method and a Tool. - Frédéric Fürst; Michel Leclère; Francky Trichet (ECAI, 2004)

Mapping Contexts to Vocabularies to Represent Intentions. - Rallou Thomopoulos; Marie-Laure Mugnier; Michel Leclère (C&O@ECAI, 2006)

Introduction de raisonnement dans un outil de gestion des connaissances basé sur les Topic Maps. - Olivier Carloni; Michel Leclère; Marie-Laure Mugnier (Actes d'IC, 2006)

Simple Conceptual Graphs with Atomic Negation and Difference. - Michel Leclère; Marie-Laure Mugnier (ICCS, 2006)

Introducing Graph-Based Reasoning into a Knowledge Management Tool: An Industrial Case Study. - Olivier Carloni; Michel Leclère; Marie-Laure Mugnier (IEA/AIE, 2006)

Annotation formelle graphique de documents multimédia. - Nicolas Moreau; Michel Leclère; Michel Chein; Alain Gutierrez (Actes d'IC, 2007)

Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation. - Michel Leclère; Marie-Laure Mugnier (ICDT, 2007)

Formal and graphical annotations for digital objects. - Nicolas Moreau; Michel Leclère; Michel Chein; Alain Gutierrez (SADPI, 2007)

On querying simple conceptual graphs with negation. - Marie-Laure Mugnier; Michel Leclère (Data Knowl. Eng., 2007)

DL-SR: a Lite DL with Expressive Rules: Preliminary Results. - Jean-François Baget; Michel Leclère; Marie-Laure Mugnier; Eric Salvat (Description Logics, 2008)

Différentes notions de réponses pour un système d'interrogation de bases de graphes. - Michel Leclère; Nicolas Moreau (Actes d'IC, 2008)

Griwes: Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation Toolkit. - 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 (ICCS, 2008)

An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation. - Michel Leclère; Marie-Laure Mugnier (ICCS, 2008)

Query-Answering CG Knowledge Bases. - Michel Leclère; Nicolas Moreau (ICCS, 2008)

Distinguishing Answers in Conceptual Graph Knowledge Bases. - Nicolas Moreau; Michel Leclère; Madalina Croitoru (ICCS, 2009)

Extending Decidable Cases for Rules with Existential Variables. - Jean-François Baget; Michel Leclère; Marie-Laure Mugnier; Eric Salvat (IJCAI, 2009)

Introducing reasoning into an industrial knowledge management tool. - Olivier Carloni; Michel Leclère; Marie-Laure Mugnier (Appl. Intell., 2009)

Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments. - Khalil Ben Mohamed; Michel Leclère; Marie-Laure Mugnier (AIMSA, 2010)

Containment of Conjunctive Queries with Negation: Algorithms and Experiments. - Khalil Ben Mohamed; Michel Leclère; Marie-Laure Mugnier (DEXA (2), 2010)

Translations between RDF(S) and Conceptual Graphs. - Jean-François Baget; Madalina Croitoru; Alain Gutierrez; Michel Leclère; Marie-Laure Mugnier (ICCS, 2010)

Walking the Decidability Line for Rules with Existential Variables. - Jean-François Baget; Michel Leclère; Marie-Laure Mugnier (KR, 2010)

A Theoretical and Experimental Comparison of Algorithms for the Containment of Conjunctive Queries with Negation. - Khalil Ben Mohamed; Michel Leclère; Marie-Laure Mugnier (DEXA (1), 2011)

On rules with existential variables: Walking the decidability line. - Jean-François Baget; Michel Leclère; Marie-Laure Mugnier; Eric Salvat (Artif. Intell., 2011)

On Link Validity in Bibliographic Knowledge Bases. - Madalina Croitoru; Léa Guizol; Michel Leclère (IPMU (1), 2012)

A Sound and Complete Backward Chaining Algorithm for Existential Rules. - Mélanie König; Michel Leclère; Marie-Laure Mugnier; Michaël Thomazo (RR, 2012)

Sound, Complete, and Minimal Query Rewriting for Existential Rules. - Mélanie König; Michel Leclère; Marie-Laure Mugnier; Michaël Thomazo (IJCAI, 2013)

SudocAD: A Knowledge-Based System for the Author Linkage Problem. - Michel Chein; Michel Leclère; Yann Nicolas (KSE (1), 2013)

On the Exploration of the Query Rewriting Space with Existential Rules. - Mélanie König; Michel Leclère; Marie-Laure Mugnier; Michaël Thomazo (RR, 2013)

Kiabora: An Analyzer of Existential Rule Bases. - Michel Leclère; Marie-Laure Mugnier; Swan Rocher (RR, 2013)

Aggregation Semantics for Link Validity. - Léa Guizol; Madalina Croitoru; Michel Leclère (SGAI Conf., 2013)

Définition de la sémantique des clés dans le web sémantique : un point de vue théorique. - Michel Chein; Madalina Croitoru; Michel Leclère; Nathalie Pernelle; Fatiha Saïs; Danai Symeonidou (IC, 2014)

Defining Key Semantics for the RDF Datasets: Experiments and Evaluations. - Manuel Atencia; Michel Chein; Madalina Croitoru; Jérôme David; Michel Leclère; Nathalie Pernelle; Fatiha Saïs; François Scharffe; Danai Symeonidou (ICCS, 2014)

Query Rewriting for Existential Rules with Compiled Preorder. - Mélanie König; Michel Leclère; Marie-Laure Mugnier (IJCAI, 2015)

Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules. - Jean-François Baget; Alain Gutierrez; Michel Leclère; Marie-Laure Mugnier; Swan Rocher; Clément Sipieter (Challenge+DC@RuleML, 2015)

Graal: A Toolkit for Query Answering with Existential Rules. - Jean-François Baget; Michel Leclère; Marie-Laure Mugnier; Swan Rocher; Clément Sipieter (RuleML, 2015)

Sound, complete and minimal UCQ-rewriting for existential rules. - Mélanie König; Michel Leclère; Marie-Laure Mugnier; Michaël Thomazo (Semantic Web, 2015)

On Bounded Positive Existential Rules. - Michel Leclère; Marie-Laure Mugnier; Federico Ulliana (Description Logics, 2016)

A Single Approach to Decide Chase Termination on Linear Existential Rules. - Michel Leclère; Marie-Laure Mugnier; Michaël Thomazo; Federico Ulliana (Description Logics, 2018)

On the k-Boundedness for Existential Rules. - Stathis Delivorias; Michel Leclère; Marie-Laure Mugnier; Federico Ulliana (RuleML+RR, 2018)

Oblivious and Semi-Oblivious Boundedness for Existential Rules. - Pierre Bourhis; Michel Leclère; Marie-Laure Mugnier; Sophie Tison; Federico Ulliana; Lily Gallois (IJCAI, 2019)

A General Framework to Build and Assess the Quality of Authority Links. - Michel Chein; Alain Gutierrez; Michel Leclère (K-CAP, 2019)

Boolean Recombinase-Based Devices. - Guillaume Pérution-Kihli; Sarah Guiziou; Federico Ulliana; Michel Leclère; Jérôme Bonnet (TPNC, 2019)

Reasoning with Ontologies. - Meghyn Bienvenu; Michel Leclère; Marie-Laure Mugnier; Marie-Christine Rousset (A Guided Tour of Artificial Intelligence Research (1) (I), 2020)

Characterizing Boundedness in Chase Variants. - Stathis Delivorias; Michel Leclère; Marie-Laure Mugnier; Federico Ulliana (Theory Pract. Log. Program., 2021)

Query Rewriting with Disjunctive Existential Rules and Mappings. - Michel Leclère; Marie-Laure Mugnier; Guillaume Pérution-Kihli (KR, 2023)