Number of documents

85


Journal articles6 documents

  • Sarah Guiziou, Federico Ulliana, Violaine Moreau, Michel Leclère, Jérôme Bonnet. An Automated Design Framework for Multicellular Recombinase Logic. ACS Synthetic Biology, American Chemical Society, 2018, 7 (5), pp.1406-1412. ⟨10.1021/acssynbio.8b00016⟩. ⟨lirmm-01934682⟩
  • Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. Sound, Complete and Minimal UCQ-Rewriting for Existential Rules. Semantic Web – Interoperability, Usability, Applicability, IOS Press, 2015, 6 (5), pp.451-475. ⟨10.3233/SW-140153⟩. ⟨lirmm-01090370⟩
  • Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat. On Rules with Existential Variables: Walking the Decidability Line. Artificial Intelligence, Elsevier, 2011, 175 (9-10), pp.1620-1654. ⟨10.1016/j.artint.2011.03.002⟩. ⟨lirmm-00587012⟩
  • Olivier Carloni, Michel Leclère, Marie-Laure Mugnier. Validation et enrichissement d'annotations : Application à la veille médiatique. Revue des Nouvelles Technologies de l'Information, Hermann, 2008, 855 (E12), pp.105-125. ⟨lirmm-00374895⟩
  • Marie-Laure Mugnier, Michel Leclère. On Querying Simple Conceptual Graphs with Negation. Data and Knowledge Engineering, Elsevier, 2007, 60 (3), pp.468-493. ⟨lirmm-00112647⟩
  • Olivier Carloni, Michel Leclère, Marie-Laure Mugnier. Introducing Reasoning into an Industrial Knowledge Management Tool. Applied Intelligence, Springer Verlag (Germany), 2007, in press, pp.14. ⟨10.1007/s10489-007-0103-x⟩. ⟨lirmm-00355363⟩

Conference papers53 documents

  • Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana. A Single Approach to Decide Chase Termination on Linear Existential Rules. ICDT 2019 - International Conference on Database Theory, Mar 2019, Lisbonne, Portugal. ⟨10.4230/LIPIcs.ICDT.2019.15⟩. ⟨lirmm-02148200⟩
  • Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, et al.. Oblivious and Semi-Oblivious Boundedness for Existential Rules. IJCAI: International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. ⟨lirmm-02148142⟩
  • Michel Chein, Alain Gutierrez, Michel Leclère. A General Framework to Build and Assess the Quality of Authority Links. K-CAP 2019 - Tenth International Conference on Knowledge Capture, Nov 2019, Los Angeles, United States. ⟨10.1145/nnnnnnn.nnnnnnn⟩. ⟨lirmm-02281702⟩
  • Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana. A Single Approach to Decide Chase Termination on Linear Existential Rules. DL: Description Logics, Oct 2018, Tempe, United States. ⟨lirmm-01892353⟩
  • Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana. On the k-Boundedness for Existential Rules. RuleML+RR, Sep 2018, Luxembourg, Luxembourg. pp.48-64, ⟨10.1007/978-3-319-99906-7_4⟩. ⟨lirmm-01921140⟩
  • Sarah Guiziou, Pauline Mayonove, Federico Ulliana, Violaine Moreau, Michel Leclère, et al.. Scalable composition frameworks for multicellular logic. BIOSYNSYS, Oct 2017, La Grande Motte, France. ⟨10.1101/150987⟩. ⟨lirmm-01662689⟩
  • Michel Leclère, Marie-Laure Mugnier, Federico Ulliana. On Bounded Positive Existential Rules. DL: Description Logics, Apr 2016, Cape Town, South Africa. CEUR Workshop Proceedings. ⟨lirmm-01375091⟩
  • Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, Clément Sipieter. Graal: A Toolkit for Query Answering with Existential Rules. RuleML: Web Rule Symposium, Aug 2015, Berlin, Germany. pp.328-344, ⟨10.1007/978-3-319-21542-6_21⟩. ⟨hal-01172063⟩
  • Jean-François Baget, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, et al.. Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules. RuleML: Web Rule Symposium, Aug 2015, Berlin, Germany. ⟨hal-01172069⟩
  • Mélanie König, Michel Leclère, Marie-Laure Mugnier. Query Rewriting for Existential Rules with Compiled Preorder. IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.3006-3112. ⟨lirmm-01164851⟩
  • Manuel Atencia, Michel Chein, Madalina Croitoru, Jérôme David, Michel Leclère, et al.. Defining Key Semantics for the RDF Datasets: Experiments and Evaluations. ICCS: International Conference on Conceptual Structures, Jul 2014, Iasi, Romania. pp.65-78, ⟨10.1007/978-3-319-08389-6_7⟩. ⟨lirmm-01090357⟩
  • Michel Chein, Madalina Croitoru, Michel Leclère, Nathalie Pernelle, Fatiha Saïs, et al.. Définition de la sémantique des clés dans le Web sémantique : un point de vue théorique. IC: Ingénierie des Connaissances, May 2014, Clermont-Ferrand, France. pp.225-236. ⟨hal-01015297⟩
  • Michel Leclère, Marie-Laure Mugnier, Swan Rocher. Kiabora: An Analyzer of Existential Rule Bases. RR: Web Reasoning and Rule Systems, Jul 2013, Mannheim, Germany. pp.241-246, ⟨10.1007/978-3-642-39666-3_22⟩. ⟨lirmm-00934018⟩
  • Michel Chein, Michel Leclère, Yann Nicolas. SudocAD: A Knowledge-Based System for the Author Linkage Problem. KSE: Knowledge and Systems Engineering, Oct 2013, Hanoi, Vietnam. pp.65-83, ⟨10.1007/978-3-319-02741-8_8⟩. ⟨lirmm-00933702⟩
  • Léa Guizol, Madalina Croitoru, Michel Leclère. Aggregation Semantics for Link Validity. AI: Artificial Intelligence, Dec 2013, Cambridge, United Kingdom. pp.359-372, ⟨10.1007/978-3-319-02621-3_27⟩. ⟨lirmm-00921018⟩
  • Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. Sound, Complete, and Minimal Query Rewriting for Existential Rules. IJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. ⟨lirmm-00838791⟩
  • Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. On the Exploration of the Query Rewriting Space with Existential Rules. RR: Web Reasoning and Rule Systems, Aug 2013, Mannheim, Germany. pp.123-137, ⟨10.1007/978-3-642-39666-3_10⟩. ⟨lirmm-00838806⟩
  • Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. A Sound and Complete Backward Chaining Algorithm for Existential Rules. RR: Web Reasoning and Rule Systems, Sep 2012, Vienna, Austria. pp.122-138, ⟨10.1007/978-3-642-33203-6_10⟩. ⟨lirmm-00764341v3⟩
  • Madalina Croitoru, Léa Guizol, Michel Leclère. On Link Validity in Bibliographic Knowledge Bases. IPMU: Information Processing and Management of Uncertainty, Jul 2012, Catania, Italy. pp.380-389, ⟨10.1007/978-3-642-31709-5_39⟩. ⟨lirmm-00763664⟩
  • Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier. A Theoretical and Experimental Comparison of Algorithms for Containment of Conjunctive Queries with Negation. DEXA: Database and Expert Systems Applications, Aug 2011, Toulouse, France. pp.466-480, ⟨10.1007/978-3-642-23088-2_35⟩. ⟨lirmm-00618779⟩
  • Jean-François Baget, Michel Leclère, Marie-Laure Mugnier. Walking the Decidability Line for Rules with Existential Variables. KR: Principles of Knowledge Representation and Reasoning, May 2010, Toronto, Canada. pp.466-476. ⟨lirmm-00535780⟩
  • Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier. Containment of Conjunctive Queries with Negation: Algorithms and Experiments. DEXA: Database and Expert Systems Applications, Aug 2010, Bilbao, Spain. pp.330-345, ⟨10.1007/978-3-642-15251-1_27⟩. ⟨lirmm-00537832⟩
  • Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier. Déduction dans le fragment existentiel conjonctif de la logique du premier ordre : algorithme et expérimentations. RFIA: Reconnaissance des Formes et Intelligence Artificielle, Jan 2010, Caen, France. ⟨lirmm-00537824⟩
  • Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier. Deduction in Existential Conjunctive First-Order Logic: an Algorithm and Experiments. AIMSA'10: International Conference on Artificial Intelligence: Methodology, Systems, Applications, Sep 2010, Varna, Bulgaria. pp.1-10, ⟨10.1007/978-3-642-15431-7_1⟩. ⟨lirmm-00537836⟩
  • Jean-François Baget, Michel Chein, Madalina Croitoru, Alain Gutierrez, Michel Leclère, et al.. Logical, graph based knowledge representation with CoGui. GAOC: Graphes et Appariement d'Objets Complexes, Jan 2010, Hammamet, Tunisia. pp.15-25. ⟨lirmm-00537351⟩
  • Jean-François Baget, Madalina Croitoru, Michel Leclère, Marie-Laure Mugnier. Translations between RDF(S) and Conceptual Graphs. ICCS: International Conference on Conceptual Structures, Jul 2010, Kuching, Sarawak, Malaysia. pp.28-41. ⟨lirmm-00537334⟩
  • Michel Leclère, Nicolas Moreau. Différentes notions de réponses pour un système d'interrogation de bases de graphes. IC'08 : Ingénierie des Connaissances, pp.37-48. ⟨lirmm-00354871⟩
  • Nicolas Moreau, Michel Leclère, Madalina Croitoru. Distinguishing Answers in Conceptual Graph Knowledge Bases. ICCS: International Conference on Conceptual Structures, Jul 2009, Moscow, Russia. pp.233-246, ⟨10.1007/978-3-642-03079-6_18⟩. ⟨lirmm-00374749⟩
  • Jean-François Baget, Michel Chein, Madalina Croitoru, Jérôme Fortin, David Genest, et al.. RDF to Conceptual Graphs Translations. CS-TIW: Conceptual Structures Tool Interoperability Workshop, Jul 2009, Moscow, Russia. pp.17. ⟨lirmm-00410621⟩
  • Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat. Extending Decidable Cases for Rules with Existential Variables. IJCAI: International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, CA, United States. pp.677-682. ⟨lirmm-00410130⟩
  • Jérôme Fortin, Olivier Carloni, Michel Leclère, Stéphanie Weiser. Extraction et exploitation de données temporelles pour un portail d'e-tourisme. EGC: Extraction et Gestion des Connaissances, Jan 2009, Strasbourg, France. pp.39-46. ⟨lirmm-00364920⟩
  • Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat. DL-SR: a Lite DL with Expressive Rules: Preliminary Results. DL: Description Logics, May 2008, Dresden, Germany. ⟨lirmm-00394383⟩
  • Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier. De la déduction dans le fragment {Existe,Et,Neg} de la logique du premier ordre à SAT. Journées d'Intelligence Artificielle Fondamentale, Oct 2008, pp.11. ⟨lirmm-00355290⟩
  • Michel Leclère, Marie-Laure Mugnier. An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation. ICCS: International Conference on Conceptual Structures, Jul 2008, Toulouse, France. pp.119-132, ⟨10.1007/978-3-540-70596-3_8⟩. ⟨lirmm-00355493⟩
  • Michel Leclère, Nicolas Moreau. Query-Answering CG Knowledge Bases. ICCS: International Conference on Conceptual Structures, Jul 2008, Toulouse, France. pp.147-160, ⟨10.1007/978-3-540-70596-3_10⟩. ⟨lirmm-00300160⟩
  • Michel Leclère, Nicolas Moreau. Différentes notions de réponses pour un système d'interrogation de bases de graphes.. IC: Ingénierie des Connaissances, Jun 2008, Nancy, France. pp.37-48. ⟨hal-00416686⟩
  • Jean-François Baget, Olivier Corby, Rose Dieng-Kuntz, Catherine Faron Zucker, Fabien Gandon, et al.. Griwes: Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation Toolkit. ICCS: International Conference on Conceptual Structures, Jul 2008, Toulouse, France. ⟨10.1007/978-3-540-70596-3_21⟩. ⟨lirmm-00389753v2⟩
  • Nicolas Moreau, Michel Leclère, Michel Chein, Alain Gutierrez. Annotation formelle graphique de documents multimédia. IC'07 : Ingénierie des Connaissances, 2007, Grenoble, France, pp.313-324. ⟨lirmm-00194647⟩
  • Etienne Balmès, Jean-Philippe Bianchi, Michel Leclère. OpenFEM et la Structural Dynamics Toolbox. 8e Colloque national en calcul des structures, CSMA, May 2007, Giens, France. ⟨hal-01495596⟩
  • Michel Leclère, Marie-Laure Mugnier. Some Algorithmic Improvments for the Containment Problem of Conjunctive Queries with Negation. ICDT: International Conference on Database Theory, Jan 2007, Barcelona, Spain. pp.404-418, ⟨10.1007/11965893_28⟩. ⟨lirmm-00135448⟩
  • Nicolas Moreau, Michel Leclère, Michel Chein, Alain Gutierrez. Formal and Graphical Annotations for Digital Objects. SADPI'07: Semantically Aware Document Processing and Indexing, 2007, pp.069-078, ⟨10.1145/1283880.1283893⟩. ⟨lirmm-00194441⟩
  • Olivier Carloni, Michel Leclère, Marie-Laure Mugnier. Introduction de raisonnement dans un outil de gestion de connaissances basé sur les Topic Maps. IC'06 : 17èmes Journées Francophones d'Ingénierie des Connaissances, Jun 2006, Nantes (France), pp.17-27. ⟨lirmm-00156561⟩
  • Olivier Carloni, Marie-Laure Mugnier, Michel Leclère. Introducing Reasoning into a Knowledge Management Tool: An Industrial Case Study. IEA-AIE'06: Advances in Applied Artificial Intelligence, 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, Jun 2006, Annecy (France), pp.590-599. ⟨lirmm-00156532⟩
  • Michel Leclère, Marie-Laure Mugnier. Simple Conceptual Graphs with Atomic Negation and Difference. ICCS: International Conference on Conceptual Structures, Jul 2006, Aalborg, Denmark. pp.331-345. ⟨lirmm-00113160⟩
  • Jean-François Baget, Olivier Carloni, Michel Chein, David Genest, Alain Gutierrez, et al.. Towards Benchmarks for Conceptual Graphs Tools. CS-TIW: Conceptual Structures Tool Interoperability Workshop, Jul 2006, Aalborg, Denmark. pp.72-86. ⟨lirmm-00112998⟩
  • Rallou Thomopoulos, Marie-Laure Mugnier, Michel Leclère. Mapping Contexts to Vocabularies to Represent Intentions. ECAI: European Conference on Artificial Intelligence, Aug 2006, Riva del Garda, Italy. pp.44-46. ⟨lirmm-00112949⟩
  • Frédéric Fürst, Michel Leclère, Francky Trichet. Operationalizing Domain Ontologies: A Method and a Tool. ECAI: European Conference on Artificial Intelligence, Aug 2004, Valencia, Spain. pp.318-322. ⟨lirmm-00108874⟩
  • Michel Bourse, Michel Leclère, Emmanuel Morin, Francky Trichet. Human Resource Management and Semantic Web Technologies. 1st International Conference on Information \& Communication Technologies: from Theory to Applications (ICTTA), 2004, A compléter, Syria. pp.N/P. ⟨hal-00456512⟩
  • Emmanuel Morin, Michel Leclère, Francky Trichet. The Semantic Web in e-recruitment (2004). The First European Symposium of Semantic Web (ESWS'2004), 2004, Greece. pp.N/P. ⟨hal-00456783⟩
  • Michel Leclère, Francky Trichet, Christophe Choquet. Designing Task/Method Knowledge-Based Systems with Conceptual Graphs. ICCS'2000, 2000, Darmstadt, Germany. pp.124--138. ⟨hal-01434700⟩
  • Francky Trichet, Michel Leclère, Christophe Choquet. Using Conceptual Graphs to represent Problem-Solving Methods. SEKE'2000, 2000, Chicago (USA), Unknown Region. pp.276--283. ⟨hal-01434697⟩
  • Francky Trichet, Michel Leclère, Christophe Choquet. Construire un Système à Base de Connaissances de type Tâche/Méthode à l'aide de Graphes Conceptuels. Actes des Journées Francophones d'Ingénierie des Connaissances (IC'2000), 2000, Toulouse, France. pp.13--21. ⟨hal-01434698⟩
  • Amedeo Napoli, Isabelle Crampé, Roland Ducournau, Jérôme Euzenat, Michel Leclère, et al.. Aspects actuels des représentations de connaissances par objets et de la classification. 6e journées nationales PRC-GDR intelligence artificielle, Mar 1997, Grenoble, France. pp.289-314. ⟨hal-01401182⟩

Poster communications1 document

  • Frédéric Comte, Michel Leclère. Opérationnalisation des ontologies OWL dans la famille SG. RJCIA: Rencontres Nationales des Jeunes Chercheurs en Intelligence Artificielle, May 2005, Nice, France. 2005. ⟨lirmm-00106119⟩

Book sections1 document

  • Michel Leclère, Marie-Laure Mugnier, Marie-Christine Rousset. Raisonner avec des ontologies: logiques de description et graphes conceptuels. Panorama de l'Intelligence Artificielle - Ses bases méthodologiques ses développements, 1 (5), Cépaduès, 2014, Représentation des connaissances et formalisation des raisonnements, 978-2-36493-457-3. ⟨hal-02071032⟩

Other publications1 document

  • Frédéric Comte, Michel Leclère, Marie-Laure Mugnier. OWL-SG : Un Sous-Langage pour la Famille OWL. 2005. ⟨lirmm-00106548⟩

Reports23 documents

  • Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana. A Single Approach to Decide Chase Termination on Linear Existential Rules. [Research Report] arXiv:1810.02132. 2018. ⟨lirmm-01892375⟩
  • Michel Chein, Alain Gutierrez, Michel Leclère. Un problème d'identification d'entités nommées dans des bases de donnés documentaires. [Rapport de recherche] LIRMM. 2015. ⟨lirmm-01187747⟩
  • Michel Leclère, Michaël Thomazo, Michel Chein. Similarité entre listes de termes dépendants et pondérés. [Rapport de recherche] LIRMM. 2014. ⟨lirmm-01093640v2⟩
  • Léa Guizol, Madalina Croitoru, Michel Leclère. Aggregation Semantics for Link Validity: Technical Report. RR-14003, 2013. ⟨lirmm-00936246⟩
  • Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. Sound, Complete and Minimal UCQ-Rewriting for Existential Rules. [Research Report] RR-13034, Lirmm. 2013, pp.29. ⟨lirmm-00903375⟩
  • Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. On the Exploration of the Query Rewriting Space with Existential Rules. [Research Report] RR-13016, Lirmm. 2013. ⟨lirmm-00825634⟩
  • Michel Chein, Madalina Croitoru, Michel Leclère, Nathalie Pernelle, Fatiha Saïs, et al.. Defining Key Semantics for the Semantic Web : a Theoretical View. [Technical Report] LRI, Université Paris-Sud, CNRS, Universitée Paris-Saclay, France. 2013. ⟨hal-00915798⟩
  • Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. A Sound and Complete Backward Chaining Algorithm for Existential Rules. RR-12016, 2012. ⟨lirmm-00713182v3⟩
  • Michel Chein, Michel Leclère, Yann Nicolas. SudocAD: A Knowledge-Based System for Object Identification. RR-12030, 2012. ⟨lirmm-00765100⟩
  • Léa Guizol, Madalina Croitoru, Michel Leclère. On Link Validity and Entity Resolution. RR-11010, 2012, pp.17. ⟨lirmm-00647284⟩
  • Michel Chein, Michel Leclère. Entities and Surrogates in Knowledge Representation. RR-11030, 2011. ⟨lirmm-00618868⟩
  • Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier. Deduction in Existential Conjunctive First-Order Logic: an Algorithm and Experiments. RR-10010, 2010, pp.20. ⟨lirmm-00463579⟩
  • Jean-François Baget, Michel Leclère, Marie-Laure Mugnier. Walking the Decidability Line for Rules with Existential Variables. RR-09030, 2009, pp.21. ⟨lirmm-00441907⟩
  • Jean-François Baget, Marie-Laure Mugnier, Michel Leclère, Eric Salvat. Some Structural Properties of the Logic of Rules. RR-08016, 2008. ⟨lirmm-00289250⟩
  • Michel Chein, David Genest, Alain Gutierrez, Michel Leclère, Nicolas Moreau, et al.. Un modèle d'annotation basé sur des ontologies modulaires et des graphes conceptuels emboîtés. RR-07011, 2007, pp.35. ⟨lirmm-00148889⟩
  • Olivier Carloni, Michel Leclère, Marie-Laure Mugnier. Introduction de Raisonnement dans un Outil de Gestion des Connaissances Basé sur les Topic Maps. 06007, 2006, 10 p. ⟨lirmm-00102719⟩
  • Olivier Carloni, Michel Leclère, Marie-Laure Mugnier. Introduction de Raisonnement dans un Outil de Gestion des Connaissances. 06011, 2006, 84 p. ⟨lirmm-00102706⟩
  • Olivier Carloni, Michel Leclère, Marie-Laure Mugnier. Introducing Graph-Based Reasoning into a Knowledge Management Tool: An Industrial Case Study. 06004, 2006, 10 p. ⟨lirmm-00102684⟩
  • Marie-Laure Mugnier, Michel Leclère. On Querying Simple Conceptual Graphs with Negation. 05051, 2005, pp.41. ⟨lirmm-00106650⟩
  • Olivier Carloni, Michel Leclère, Marie-Laure Mugnier. Introducing Graph-Based Reasoning into Knowledge Management Tool: An Industrial Case Study. 05075, 2005, 10 p. ⟨lirmm-00106672⟩
  • Marie-Laure Mugnier, Michel Leclère. Intuitionistic Atomic Negation in Simple Conceptual Graphs. 05015, 2005, 6 p. ⟨lirmm-00106620⟩
  • Michel Leclère, Marie-Laure Mugnier. A Graph-Based Study of the Containment Problem of Conjunctive Queries with Negation. 05076, 2005, 10 p. ⟨lirmm-00106673⟩
  • Marie-Laure Mugnier, Michel Leclère. Intuitionistic Atomic Negation in Simple Conceptual Graphs. 04004, 2004, pp.15. ⟨lirmm-00109212⟩