default search action
Michel Leclère
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c48]Michel Leclère, Marie-Laure Mugnier, Guillaume Pérution-Kihli:
Query Rewriting with Disjunctive Existential Rules and Mappings. KR 2023: 429-439 - [i6]Michel Leclère, Marie-Laure Mugnier, Guillaume Pérution-Kihli:
Query Rewriting with Disjunctive Existential Rules and Mappings. CoRR abs/2306.05973 (2023) - 2021
- [j6]Stathis Delivorias
, Michel Leclère, Marie-Laure Mugnier
Characterizing Boundedness in Chase Variants. Theory Pract. Log. Program. 21(1): 51-79 (2021) - 2020
- [p1]Meghyn Bienvenu
Reasoning with Ontologies. A Guided Tour of Artificial Intelligence Research (1) (I) 2020: 185-215 - [i5]Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier
Characterizing Boundedness in Chase Variants. CoRR abs/2004.10030 (2020) - [i4]Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier
Oblivious and Semi-Oblivious Boundedness for Existential Rules. CoRR abs/2006.08467 (2020)
2010 – 2019
- 2019
- [c47]Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana:
A Single Approach to Decide Chase Termination on Linear Existential Rules. ICDT 2019: 18:1-18:19 - [c46]Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, Lily Gallois:
Oblivious and Semi-Oblivious Boundedness for Existential Rules. IJCAI 2019: 1581-1587 - [c45]Michel Chein, Alain Gutierrez, Michel Leclère:
A General Framework to Build and Assess the Quality of Authority Links. K-CAP 2019: 13-20 - [c44]Guillaume Pérution-Kihli
Boolean Recombinase-Based Devices. TPNC 2019: 82-94 - 2018
- [c43]Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana:
A Single Approach to Decide Chase Termination on Linear Existential Rules. Description Logics 2018 - [c42]Stathis Delivorias, Michel Leclère
On the k-Boundedness for Existential Rules. RuleML+RR 2018: 48-64 - [i3]Michel Leclère, Marie-Laure Mugnier
A Single Approach to Decide Chase Termination on Linear Existential Rules. CoRR abs/1810.02132 (2018) - [i2]Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana:
On the k-Boundedness for Existential Rules. CoRR abs/1810.09304 (2018) - 2016
- [c41]Michel Leclère, Marie-Laure Mugnier, Federico Ulliana:
On Bounded Positive Existential Rules. Description Logics 2016 - 2015
- [j5]Mélanie König, Michel Leclère
Sound, complete and minimal UCQ-rewriting for existential rules. Semantic Web 6(5): 451-475 (2015) - [c40]Mélanie König, Michel Leclère, Marie-Laure Mugnier:
Query Rewriting for Existential Rules with Compiled Preorder. IJCAI 2015: 3106-3112 - [c39]Jean-François Baget, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, Clément Sipieter:
Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules. Challenge+DC@RuleML 2015 - [c38]Jean-François Baget, Michel Leclère
Graal: A Toolkit for Query Answering with Existential Rules. RuleML 2015: 328-344 - 2014
- [c37]Michel Chein, Madalina Croitoru, Michel Leclère, Nathalie Pernelle, Fatiha Saïs, Danai Symeonidou:
Définition de la sémantique des clés dans le web sémantique : un point de vue théorique. IC 2014: 225-236 - [c36]Manuel Atencia, Michel Chein, Madalina Croitoru, Jérôme David, Michel Leclère
Defining Key Semantics for the RDF Datasets: Experiments and Evaluations. ICCS 2014: 65-78 - 2013
- [c35]Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo:
Sound, Complete, and Minimal Query Rewriting for Existential Rules. IJCAI 2013: 3017-3021 - [c34]Michel Chein, Michel Leclère
SudocAD: A Knowledge-Based System for the Author Linkage Problem. KSE (1) 2013: 65-83 - [c33]Mélanie König, Michel Leclère
On the Exploration of the Query Rewriting Space with Existential Rules. RR 2013: 123-137 - [c32]Michel Leclère
Kiabora: An Analyzer of Existential Rule Bases. RR 2013: 241-246 - [c31]Léa Guizol, Madalina Croitoru, Michel Leclère:
Aggregation Semantics for Link Validity. SGAI Conf. 2013: 359-372 - [i1]Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo:
Sound, Complete and Minimal UCQ-Rewriting for Existential Rules. CoRR abs/1311.3198 (2013) - 2012
- [c30]Madalina Croitoru, Léa Guizol, Michel Leclère
On Link Validity in Bibliographic Knowledge Bases. IPMU (1) 2012: 380-389 - [c29]Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo:
A Sound and Complete Backward Chaining Algorithm for Existential Rules. RR 2012: 122-138 - 2011
- [j4]Jean-François Baget, Michel Leclère
On rules with existential variables: Walking the decidability line. Artif. Intell. 175(9-10): 1620-1654 (2011) - [c28]Khalil Ben Mohamed, Michel Leclère
A Theoretical and Experimental Comparison of Algorithms for the Containment of Conjunctive Queries with Negation. DEXA (1) 2011: 466-480 - 2010
- [c27]Khalil Ben Mohamed, Michel Leclère
Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments. AIMSA 2010: 1-10 - [c26]Khalil Ben Mohamed, Michel Leclère
Containment of Conjunctive Queries with Negation: Algorithms and Experiments. DEXA (2) 2010: 330-345 - [c25]Jean-François Baget, Madalina Croitoru, Alain Gutierrez, Michel Leclère
Translations between RDF(S) and Conceptual Graphs. ICCS 2010: 28-41 - [c24]Jean-François Baget, Michel Leclère, Marie-Laure Mugnier:
Walking the Decidability Line for Rules with Existential Variables. KR 2010
2000 – 2009
- 2009
- [j3]Olivier Carloni
Introducing reasoning into an industrial knowledge management tool. Appl. Intell. 31(3): 211-224 (2009) - [c23]Nicolas Moreau, Michel Leclère
Distinguishing Answers in Conceptual Graph Knowledge Bases. ICCS 2009: 233-246 - [c22]Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat:
Extending Decidable Cases for Rules with Existential Variables. IJCAI 2009: 677-682 - 2008
- [c21]Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat:
DL-SR: a Lite DL with Expressive Rules: Preliminary Results. Description Logics 2008 - [c20]Michel Leclère, Nicolas Moreau:
Différentes notions de réponses pour un système d'interrogation de bases de graphes. Actes d'IC 2008: 37-48 - [c19]Michel Leclère
An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation. ICCS 2008: 119-132 - [c18]Michel Leclère
Query-Answering CG Knowledge Bases. ICCS 2008: 147-160 - [c17]Jean-François Baget, Olivier Corby, Rose Dieng-Kuntz, Catherine Faron-Zucker
Griwes: Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation Toolkit. ICCS 2008: 297-310 - 2007
- [j2]Marie-Laure Mugnier, Michel Leclère
On querying simple conceptual graphs with negation. Data Knowl. Eng. 60(3): 468-493 (2007) - [c16]Nicolas Moreau, Michel Leclère, Michel Chein, Alain Gutierrez:
Annotation formelle graphique de documents multimédia. Actes d'IC 2007: 313-325 - [c15]Michel Leclère
Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation. ICDT 2007: 404-418 - [c14]Nicolas Moreau, Michel Leclère
Formal and graphical annotations for digital objects. SADPI 2007: 69-78 - 2006
- [c13]Rallou Thomopoulos, Marie-Laure Mugnier, Michel Leclère:
Mapping Contexts to Vocabularies to Represent Intentions. C&O@ECAI 2006 - [c12]Olivier Carloni, Michel Leclère, Marie-Laure Mugnier:
Introduction de raisonnement dans un outil de gestion des connaissances basé sur les Topic Maps. Actes d'IC 2006: 11-20 - [c11]Michel Leclère, Marie-Laure Mugnier:
Simple Conceptual Graphs with Atomic Negation and Difference. ICCS 2006: 331-345 - [c10]Olivier Carloni
Introducing Graph-Based Reasoning into a Knowledge Management Tool: An Industrial Case Study. IEA/AIE 2006: 590-599 - 2004
- [c9]Frédéric Fürst, Michel Leclère, Francky Trichet:
Operationalizing Domain Ontologies: A Method and a Tool. ECAI 2004: 318-322 - 2003
- [j1]Frédéric Fürst, Michel Leclère
Ontological Engineering and Mathematical Knowledge Management: A Formalization of Projective Geometry. Ann. Math. Artif. Intell. 38(1-3): 65-89 (2003) - [c8]Frédéric Fürst, Michel Leclère, Francky Trichet:
TooCoM: a Tool to Operationalize an Ontology with the Conceptual Graph Model. EON 2003 - [c7]Francky Trichet, Michel Leclère:
A Framework for Building Competency-Based Systems Dedicated to Human Resource Management. ISMIS 2003: 633-639 - [c6]Michel Bourse, Michel Leclère, Francky Trichet, Mounira Harzallah:
CommOnCV: competency@ontology.cv. WWW (Posters) 2003 - 2002
- [c5]Frédéric Fürst, Michel Leclère, Francky Trichet:
Construction d'une ontologie opérationnelle : un retour d'expérience. EGC 2002: 227-232 - [c4]Mounira Harzallah, Michel Leclère
CommOnCV: modelling the competencies underlying a curriculum vitae. SEKE 2002: 65-71 - 2001
- [c3]Michel Leclère, Bruno Tixier, Francky Trichet:
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 2001: 291-302
1990 – 1999
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: