Accéder directement au contenu
MM

Marie-Laure Mugnier

33
Documents
Identifiants chercheurs

Présentation

Publications

jfbaget
Image document

Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying

Jean-François Baget , Marie-Laure Mugnier , Sebastian Rudolph
SIGMOD/PODS 2023 - International Conference on Management of Data, Jul 2023, Seattle, WA, United States. pp.291-302, ⟨10.1145/3584372.3588659⟩
Communication dans un congrès lirmm-04320944v1
Image document

InteGraal: a Tool for Data-Integration and Reasoning on Heterogeneous and Federated Sources

Jean-François Baget , Pierre Bisquert , Michel Leclère , Marie-Laure Mugnier , Guillaume Pérution-Kihli
BDA 2023 - 39e Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France
Communication dans un congrès lirmm-04304601v1
Image document

Rule-Based Data Access: A Use Case in Agroecology

Elie Najm , Jean-François Baget , Marie-Laure Mugnier
RuleML+RR 2022 - 16th International Rule Challenge, Sep 2022, Berlin, Germany
Communication dans un congrès lirmm-03785968v1
Image document

Answering Conjunctive Regular Path Queries over Guarded Existential Rules

Jean-François Baget , Meghyn Bienvenu , Marie-Laure Mugnier , Michaël Thomazo
IJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia
Communication dans un congrès lirmm-01632224v1

A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering

Jean-François Baget , Salem Benferhat , Zied Bouraoui , Madalina Croitoru , Marie-Laure Mugnier
KR: Principles of Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa. pp.513-516
Communication dans un congrès lirmm-01328690v1
Image document

Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis

Jean-François Baget , Salem Benferhat , Zied Bouraoui , Madalina Croitoru , Marie-Laure Mugnier
JELIA: Logics in Artificial Intelligence, Nov 2016, Larnaca, Cyprus. pp.64-80, ⟨10.1007/978-3-319-48758-8_5⟩
Communication dans un congrès lirmm-01412864v1
Image document

Combining Existential Rules and Transitivity: Next Steps

Jean-François Baget , Meghyn Bienvenu , Marie-Laure Mugnier , Swan Rocher
IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.2720-2726
Communication dans un congrès hal-01171846v1
Image document

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
RuleML: Web Rule Symposium, Aug 2015, Berlin, Germany
Communication dans un congrès hal-01172069v1

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: Web Rule Symposium, Aug 2015, Berlin, Germany. pp.328-344, ⟨10.1007/978-3-319-21542-6_21⟩
Communication dans un congrès hal-01172063v1
Image document

Extending Acyclicity Notions for Existential Rules

Jean-François Baget , Fabien Garreau , Marie-Laure Mugnier , Swan Rocher
ECAI: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.39-44, ⟨10.3233/978-1-61499-419-0-39⟩
Communication dans un congrès hal-01092757v1
Image document

Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation

Jean-François Baget , Fabien Garreau , Marie-Laure Mugnier , Swan Rocher
NMR: Non-Monotonic Reasoning, Jul 2014, Vienna, Austria
Communication dans un congrès lirmm-01097136v1
Image document

A Generic Querying Algorithm for Greedy Sets of Existential Rules

Michaël Thomazo , Jean-François Baget , Marie-Laure Mugnier , Sebastian Rudolph
KR: Representation and Reasoning, Jun 2012, Rome, Italy. pp.096-106
Communication dans un congrès lirmm-00763518v1

Walking the Complexity Lines for Generalized Guarded Existential Rules

Jean-François Baget , Marie-Laure Mugnier , Sebastian Rudolph , Michaël Thomazo
IJCAI: International Joint Conference on Artificial Intelligence, Jul 2011, Barcelona, Spain. pp.712-717
Communication dans un congrès lirmm-00618081v1

Notions de dépendances pour les règles Existentielles

Jean-François Baget , Marie-Laure Mugnier , Michaël Thomazo
JIAF'11: Journées de l'Intelligence Artificielle Fondamentale, Jun 2011, Lyon, France. pp.12-21
Communication dans un congrès lirmm-00618090v1
Image document

Towards Farsighted Dependencies for Existential Rules

Jean-François Baget , Marie-Laure Mugnier , Michaël Thomazo
RR: Web Reasoning and Rule Systems, Aug 2011, Galway, Ireland. pp.30-45, ⟨10.1007/978-3-642-23580-1_4⟩
Communication dans un congrès lirmm-00618329v1
Image document

Translations between RDF(S) and Conceptual Graphs

Jean-François Baget , Madalina Croitoru , Michel Leclère , Marie-Laure Mugnier
ICCS: International Conference on Conceptual Structures, Jul 2010, Kuching, Sarawak, Malaysia. pp.28-41
Communication dans un congrès lirmm-00537334v1

Walking the Decidability Line for Rules with Existential Variables

Jean-François Baget , Michel Leclère , Marie-Laure Mugnier
KR: Principles of Knowledge Representation and Reasoning, May 2010, Toronto, Canada. pp.466-476
Communication dans un congrès lirmm-00535780v1
Image document

Logical, graph based knowledge representation with CoGui

Jean-François Baget , Michel Chein , Madalina Croitoru , Alain Gutierrez , Michel Leclère
GAOC: Graphes et Appariement d'Objets Complexes, Jan 2010, Hammamet, Tunisia. pp.15-25
Communication dans un congrès lirmm-00537351v1

Extending Decidable Cases for Rules with Existential Variables

Jean-François Baget , Michel Leclère , Marie-Laure Mugnier , Eric Salvat
IJCAI: International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, CA, United States. pp.677-682
Communication dans un congrès lirmm-00410130v1
Image document

RDF to Conceptual Graphs Translations

Jean-François Baget , Michel Chein , Madalina Croitoru , Jérôme Fortin , David Genest
CS-TIW: Conceptual Structures Tool Interoperability Workshop, Jul 2009, Moscow, Russia. pp.17
Communication dans un congrès lirmm-00410621v1
Image document

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
ICCS: International Conference on Conceptual Structures, Jul 2008, Toulouse, France. ⟨10.1007/978-3-540-70596-3_21⟩
Communication dans un congrès lirmm-00389753v2
Image document

DL-SR: a Lite DL with Expressive Rules: Preliminary Results

Jean-François Baget , Michel Leclère , Marie-Laure Mugnier , Eric Salvat
DL: Description Logics, May 2008, Dresden, Germany
Communication dans un congrès lirmm-00394383v1
Image document

Towards Benchmarks for Conceptual Graphs Tools

Jean-François Baget , Olivier Carloni , Michel Chein , David Genest , Alain Gutierrez
CS-TIW: Conceptual Structures Tool Interoperability Workshop, Jul 2006, Aalborg, Denmark. pp.72-86
Communication dans un congrès lirmm-00112998v1