ML
Michel Leclère
93
Documents
Presentation
Publications
|
|
InteGraal: a Tool for Data-Integration and Reasoning on Heterogeneous and Federated SourcesBDA 2023 - 39e Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France
Conference papers
lirmm-04304601v1
|
|
|
Query Rewriting with Disjunctive Existential Rules and MappingsKR 2023 - 20th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2023, Rhodes, Greece. pp.429-439, ⟨10.24963/kr.2023/42⟩
Conference papers
lirmm-04272014v1
|
Query Rewriting with Disjunctive Existential Rules and MappingsBDA 2023 - 39e Conférence sur la Gestion de Données - Principes, Technologies et Applications, Oct 2023, Montpellier, France. ⟨10.48550/arXiv.2306.05973⟩
Conference papers
lirmm-04272033v1
|
|
|
|
A Single Approach to Decide Chase Termination on Linear Existential RulesICDT 2019 - 22nd International Conference on Database Theory, Mar 2019, Lisbonne, Portugal. pp.18:1--18:19, ⟨10.4230/LIPIcs.ICDT.2019.18⟩
Conference papers
lirmm-02148200v1
|
A General Framework to Build and Assess the Quality of Authority LinksK-CAP 2019 - 10th International Conference on Knowledge Capture, Nov 2019, Marina Del Rey, CA, United States. pp.13-20, ⟨10.1145/3360901.3364421⟩
Conference papers
lirmm-02281702v1
|
|
|
|
Oblivious and Semi-Oblivious Boundedness for Existential RulesIJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1581-1587, ⟨10.24963/ijcai.2019/219⟩
Conference papers
lirmm-02148142v1
|
|
|
Boolean Recombinase-Based DevicesTPNC 2019 - 8th International Conference on Theory and Practice of Natural Computing, Dec 2019, Kingstone, Canada. pp.82-94, ⟨10.1007/978-3-030-34500-6_5⟩
Conference papers
lirmm-02416052v1
|
|
|
A Single Approach to Decide Chase Termination on Linear Existential Rules31st International Workshop on Description Logics (DL), Oct 2018, Tempe, United States
Conference papers
lirmm-01892353v1
|
|
|
On the k-Boundedness for Existential RulesRuleML+RR, Sep 2018, Luxembourg, Luxembourg. pp.48-64, ⟨10.1007/978-3-319-99906-7_4⟩
Conference papers
lirmm-01921140v1
|
|
|
Scalable composition frameworks for multicellular logicBIOSYNSYS, Oct 2017, La Grande Motte, France. ⟨10.1101/150987⟩
Conference papers
lirmm-01662689v1
|
|
|
On Bounded Positive Existential RulesDL: Description Logics, Apr 2016, Cape Town, South Africa. CEUR Workshop Proceedings
Conference papers
lirmm-01375091v1
|
|
|
Datalog+, RuleML and OWL 2: Formats and Translations for Existential RulesRuleML: Web Rule Symposium, Aug 2015, Berlin, Germany
Conference papers
hal-01172069v1
|
|
|
Query Rewriting for Existential Rules with Compiled PreorderIJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.3006-3112
Conference papers
lirmm-01164851v1
|
Graal: A Toolkit for Query Answering with Existential RulesRuleML: Web Rule Symposium, Aug 2015, Berlin, Germany. pp.328-344, ⟨10.1007/978-3-319-21542-6_21⟩
Conference papers
hal-01172063v1
|
|
|
|
Defining Key Semantics for the RDF Datasets: Experiments and EvaluationsICCS: International Conference on Conceptual Structures, Jul 2014, Iasi, Romania. pp.65-78, ⟨10.1007/978-3-319-08389-6_7⟩
Conference papers
lirmm-01090357v1
|
|
|
Définition de la sémantique des clés dans le Web sémantique : un point de vue théoriqueIC: Ingénierie des Connaissances, May 2014, Clermont-Ferrand, France. pp.225-236
Conference papers
hal-01015297v1
|
|
|
SudocAD: A Knowledge-Based System for the Author Linkage ProblemKSE: Knowledge and Systems Engineering, Oct 2013, Hanoi, Vietnam. pp.65-83, ⟨10.1007/978-3-319-02741-8_8⟩
Conference papers
lirmm-00933702v1
|
|
|
Sound, Complete, and Minimal Query Rewriting for Existential RulesIJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China
Conference papers
lirmm-00838791v1
|
|
|
On the Exploration of the Query Rewriting Space with Existential RulesRR: Web Reasoning and Rule Systems, Aug 2013, Mannheim, Germany. pp.123-137, ⟨10.1007/978-3-642-39666-3_10⟩
Conference papers
lirmm-00838806v1
|
Kiabora: An Analyzer of Existential Rule BasesRR: Web Reasoning and Rule Systems, Jul 2013, Mannheim, Germany. pp.241-246, ⟨10.1007/978-3-642-39666-3_22⟩
Conference papers
lirmm-00934018v1
|
|
|
|
Aggregation Semantics for Link ValidityAI: Artificial Intelligence, Dec 2013, Cambridge, United Kingdom. pp.359-372, ⟨10.1007/978-3-319-02621-3_27⟩
Conference papers
lirmm-00921018v1
|
|
|
A Sound and Complete Backward Chaining Algorithm for Existential RulesRR: Web Reasoning and Rule Systems, Sep 2012, Vienna, Austria. pp.122-138, ⟨10.1007/978-3-642-33203-6_10⟩
Conference papers
lirmm-00764341v3
|
On Link Validity in Bibliographic Knowledge BasesIPMU: Information Processing and Management of Uncertainty, Jul 2012, Catania, Italy. pp.380-389, ⟨10.1007/978-3-642-31709-5_39⟩
Conference papers
lirmm-00763664v1
|
|
A Theoretical and Experimental Comparison of Algorithms for Containment of Conjunctive Queries with NegationDEXA 2011 - 22nd International Conference on Database and Expert Systems Applications, Aug 2011, Toulouse, France. pp.466-480, ⟨10.1007/978-3-642-23088-2_35⟩
Conference papers
lirmm-00618779v1
|
|
|
|
Translations between RDF(S) and Conceptual GraphsICCS: International Conference on Conceptual Structures, Jul 2010, Kuching, Sarawak, Malaysia. pp.28-41
Conference papers
lirmm-00537334v1
|
Walking the Decidability Line for Rules with Existential VariablesKR: Principles of Knowledge Representation and Reasoning, May 2010, Toronto, Canada. pp.466-476
Conference papers
lirmm-00535780v1
|
|
|
|
Logical, graph based knowledge representation with CoGuiGAOC: Graphes et Appariement d'Objets Complexes, Jan 2010, Hammamet, Tunisia. pp.15-25
Conference papers
lirmm-00537351v1
|
|
|
Containment of Conjunctive Queries with Negation: Algorithms and ExperimentsDEXA 2010 - 21st International Conference on Database and Expert Systems Applications, Aug 2010, Bilbao, Spain. pp.330-345, ⟨10.1007/978-3-642-15251-1_27⟩
Conference papers
lirmm-00537832v1
|
|
|
Déduction dans le fragment existentiel conjonctif de la logique du premier ordre : algorithme et expérimentationsRFIA: Reconnaissance des Formes et Intelligence Artificielle, Jan 2010, Caen, France
Conference papers
lirmm-00537824v1
|
Deduction in Existential Conjunctive First-Order Logic: an Algorithm and ExperimentsAIMSA'10: International Conference on Artificial Intelligence: Methodology, Systems, Applications, Sep 2010, Varna, Bulgaria. pp.1-10, ⟨10.1007/978-3-642-15431-7_1⟩
Conference papers
lirmm-00537836v1
|
|
|
|
Extraction et exploitation de données temporelles pour un portail d'e-tourismeEGC: Extraction et Gestion des Connaissances, Jan 2009, Strasbourg, France. pp.39-46
Conference papers
lirmm-00364920v1
|
Extending Decidable Cases for Rules with Existential VariablesIJCAI: International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, CA, United States. pp.677-682
Conference papers
lirmm-00410130v1
|
|
|
|
Distinguishing Answers in Conceptual Graph Knowledge BasesICCS: International Conference on Conceptual Structures, Jul 2009, Moscow, Russia. pp.233-246, ⟨10.1007/978-3-642-03079-6_18⟩
Conference papers
lirmm-00374749v1
|
|
|
RDF to Conceptual Graphs TranslationsCS-TIW: Conceptual Structures Tool Interoperability Workshop, Jul 2009, Moscow, Russia. pp.17
Conference papers
lirmm-00410621v1
|
|
|
Query-Answering CG Knowledge BasesICCS: International Conference on Conceptual Structures, Jul 2008, Toulouse, France. pp.147-160, ⟨10.1007/978-3-540-70596-3_10⟩
Conference papers
lirmm-00300160v1
|
|
|
Griwes: Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation ToolkitICCS: International Conference on Conceptual Structures, Jul 2008, Toulouse, France. ⟨10.1007/978-3-540-70596-3_21⟩
Conference papers
lirmm-00389753v2
|
An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical NegationICCS: International Conference on Conceptual Structures, Jul 2008, Toulouse, France. pp.119-132, ⟨10.1007/978-3-540-70596-3_8⟩
Conference papers
lirmm-00355493v1
|
|
|
|
Différentes notions de réponses pour un système d'interrogation de bases de graphesIC 2008 - 19es Journées Francophones d'Ingénierie des Connaissances, Jun 2008, Nancy, France. pp.37-48
Conference papers
hal-00416686v1
|
|
|
DL-SR: a Lite DL with Expressive Rules: Preliminary ResultsDL: Description Logics, May 2008, Dresden, Germany
Conference papers
lirmm-00394383v1
|
|
|
Différentes notions de réponses pour un système d'interrogation de bases de graphesIC 2008 - 19es Journées Francophones d'Ingénierie des Connaissances, Jun 2008, Nancy, France. pp.37-48
Conference papers
lirmm-00354871v1
|
De la déduction dans le fragment {Existe,Et,Neg} de la logique du premier ordre à SATJournées d'Intelligence Artificielle Fondamentale, Oct 2008, Angers, France
Conference papers
lirmm-00355290v1
|
|
|
|
Formal and Graphical Annotations for Digital ObjectsSADPI'07: Semantically Aware Document Processing and Indexing, 2007, pp.069-078, ⟨10.1145/1283880.1283893⟩
Conference papers
lirmm-00194441v1
|
|
|
Annotation formelle graphique de documents multimédiaIC 2007 - 18es Journées Francophones d'Ingénierie des Connaissances, Jul 2007, Grenoble, France. pp.313-324
Conference papers
lirmm-00194647v1
|
|
|
OpenFEM et la Structural Dynamics Toolbox8e Colloque national en calcul des structures, CSMA, May 2007, Giens, France
Conference papers
hal-01495596v1
|
|
|
Some Algorithmic Improvments for the Containment Problem of Conjunctive Queries with NegationICDT 2007 - 11th International Conference on Database Theory, Jan 2007, Barcelona, Spain. pp.404-418, ⟨10.1007/11965893_28⟩
Conference papers
lirmm-00135448v1
|
|
|
Introduction de raisonnement dans un outil de gestion de connaissances basé sur les Topic MapsIC@PFIA 2006 - 17es Journées francophones d'Ingénierie des Connaissances, Jun 2006, Nantes, France. pp.17-27
Conference papers
lirmm-00156561v1
|
|
|
Towards Benchmarks for Conceptual Graphs ToolsCS-TIW: Conceptual Structures Tool Interoperability Workshop, Jul 2006, Aalborg, Denmark. pp.72-86
Conference papers
lirmm-00112998v1
|
Introducing Reasoning into a Knowledge Management Tool: An Industrial Case StudyIEA-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
Conference papers
lirmm-00156532v1
|
|
|
|
Mapping Contexts to Vocabularies to Represent IntentionsECAI: European Conference on Artificial Intelligence, Aug 2006, Riva del Garda, Italy. pp.44-46
Conference papers
lirmm-00112949v1
|
Simple Conceptual Graphs with Atomic Negation and DifferenceICCS: International Conference on Conceptual Structures, Jul 2006, Aalborg, Denmark. pp.331-345
Conference papers
lirmm-00113160v1
|
|
Human Resource Management and Semantic Web Technologies1st International Conference on Information \& Communication Technologies: from Theory to Applications (ICTTA), 2004, A compléter, Syria. pp.N/P
Conference papers
hal-00456512v1
|
|
The Semantic Web in e-recruitment (2004)The First European Symposium of Semantic Web (ESWS'2004), 2004, Greece. pp.N/P
Conference papers
hal-00456783v1
|
|
Operationalizing Domain Ontologies: A Method and a ToolECAI: European Conference on Artificial Intelligence, Aug 2004, Valencia, Spain. pp.318-322
Conference papers
lirmm-00108874v1
|
|
Construire un Système à Base de Connaissances de type Tâche/Méthode à l'aide de Graphes ConceptuelsActes des Journées Francophones d'Ingénierie des Connaissances (IC'2000), 2000, Toulouse, France. pp.13--21
Conference papers
hal-01434698v1
|
|
Using Conceptual Graphs to represent Problem-Solving MethodsSEKE'2000, 2000, Chicago (USA), Unknown Region. pp.276--283
Conference papers
hal-01434697v1
|
|
Designing Task/Method Knowledge-Based Systems with Conceptual GraphsICCS'2000, 2000, Darmstadt, Germany. pp.124--138
Conference papers
hal-01434700v1
|
|
|
|
Aspects actuels des représentations de connaissances par objets et de la classification6e journées nationales PRC-GDR intelligence artificielle, Mar 1997, Grenoble, France. pp.289-314
Conference papers
hal-01401182v1
|
Opérationnalisation des ontologies OWL dans la famille SGRJCIA: Rencontres Nationales des Jeunes Chercheurs en Intelligence Artificielle, May 2005, Nice, France. 2005
Conference poster
lirmm-00106119v1
|
|
|
Reasoning with OntologiesA Guided Tour of Artificial Intelligence Research, pp.185-215, 2020, Volume I: Knowledge Representation, Reasoning and Learning, 978-3-030-06163-0. ⟨10.1007/978-3-030-06164-7_6⟩
Book sections
lirmm-02922020v1
|
Raisonner avec des ontologies: logiques de description et graphes conceptuelsPanorama 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
Book sections
hal-02071032v1
|
OWL-SG : Un Sous-Langage pour la Famille OWL2005
Other publications
lirmm-00106548v1
|