- 101
- 10
- 8
- 4
- 3
- 1
- 1
- 1
- 1
MM
Marie-Laure Mugnier
130
Documents
Researcher identifiers
marie-laure-mugnier-
0000-0002-0574-3693
- IdRef : 129977896
Presentation
Publications
- 19
- 16
- 14
- 13
- 10
- 9
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 60
- 33
- 27
- 22
- 14
- 9
- 8
- 8
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 117
- 12
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 5
- 2
- 6
- 4
- 5
- 2
- 5
- 5
- 6
- 7
- 7
- 9
- 7
- 5
- 10
- 16
- 8
- 8
- 3
- 2
- 14
- 10
- 4
- 4
- 3
- 2
- 1
- 1
- 1
- 1
|
|
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
|
|
|
Scalable Reasoning on Document Stores via Instance-Aware Query RewritingBDA 2023 - 39e Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France
Conference papers
lirmm-04305822v1
|
Normalisations of Existential Rules: Not so Innocuous!BDA 2023 - 39e Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France
Conference papers
lirmm-04315377v1
|
|
|
|
Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable QueryingSIGMOD/PODS 2023 - International Conference on Management of Data, Jul 2023, Seattle, WA, United States. pp.291-302, ⟨10.1145/3584372.3588659⟩
Conference papers
lirmm-04320944v1
|
|
|
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
|
|
|
|
Parallelisable Existential Rules: a Story of PiecesBDA 2022 - 38ème journée "Gestion de Données – Principes, Technologies et Applications", Oct 2022, Clermont-Ferrand, France
Conference papers
hal-03896402v1
|
|
|
Normalisations of Existential Rules: Not so Innocuous!KR 2022 - 19th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2022, HaÏfa, Israel. pp.102-111, ⟨10.24963/kr.2022/11⟩
Conference papers
lirmm-03762686v1
|
|
|
Rule-Based Data Access: A Use Case in AgroecologyRuleML+RR 2022 - 16th International Rule Challenge, Sep 2022, Berlin, Germany
Conference papers
lirmm-03785968v1
|
|
|
Parallelisable Existential Rules: a Story of PiecesKR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, Nov 2021, Virtual, Vietnam. pp.163-173, ⟨10.24963/kr.2021/16⟩
Conference papers
hal-03405745v1
|
|
|
Ontology-Based RDF Integration of Heterogeneous DataEDBT 2020 - 23rd International Conference on Extending Database Technology, Mar 2020, Copenhagen, Denmark. pp.299-310, ⟨10.5441/002/edbt.2020.27⟩
Conference papers
hal-02446427v1
|
|
|
Revisiting RDF storage layouts for efficient query answeringSSWS 2020 - 13th International Workshop on Scalable Semantic Web Knowledge Base Systems, Nov 2020, Athène, Greece. pp.17-32
Conference papers
hal-02921457v1
|
|
|
Obi-Wan: Ontology-Based RDF Integration of Heterogeneous DataVLDB 2020 - 46th International Conference on Very Large Data Bases, Aug 2020, Tokyo, Japan
Conference papers
hal-02921434v1
|
|
|
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
|
|
|
Reformulation-based query answering for RDF graphs with RDFS ontologiesESWC 2019 - 16th European Semantic Web Conference, Jun 2019, Portoroz, Slovenia. pp.19-35, ⟨10.1007/978-3-030-21348-0_2⟩
Conference papers
hal-02051413v1
|
|
|
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
|
|
|
Rewriting-Based Query Answering for Semantic Data Integration SystemsBDA: Gestion de Données – Principes, Technologies et Applications, Oct 2018, Bucarest, Romania
Conference papers
hal-01927282v1
|
|
|
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
|
Reasoning on Data Workshop Chairs' Welcome and OrganizationInternational World Wide Web Conference (WWW), Apr 2018, Lyon, France. pp.1585-1586, ⟨10.1145/3184558.3192320⟩
Conference papers
hal-02608565v1
|
|
|
|
Answering Conjunctive Regular Path Queries over Guarded Existential RulesIJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia
Conference papers
lirmm-01632224v1
|
|
|
Ontology-Mediated Query Answering for Key-Value StoresIJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia
Conference papers
lirmm-01632090v1
|
|
|
Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity AnalysisJELIA: Logics in Artificial Intelligence, Nov 2016, Larnaca, Cyprus. pp.64-80, ⟨10.1007/978-3-319-48758-8_5⟩
Conference papers
lirmm-01412864v1
|
A General Modifier-Based Framework for Inconsistency-Tolerant Query AnsweringKR: Principles of Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa. pp.513-516
Conference papers
lirmm-01328690v1
|
|
|
|
Ontology-Mediated Queries for NOSQL DatabasesDL: Description Logics, Apr 2016, Cape Town, South Africa. pp.1051-1057
Conference papers
lirmm-01375093v1
|
|
|
Ontology-Mediated Queries for NOSQL DatabasesAAAI Conference on Artificial Intelligence, Feb 2016, Phoenix, United States. pp.1051-1057
Conference papers
lirmm-01242913v1
|
|
|
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
|
|
|
|
Combining Existential Rules and Transitivity: Next StepsIJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.2720-2726
Conference papers
hal-01171846v1
|
|
|
Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic NegationNMR: Non-Monotonic Reasoning, Jul 2014, Vienna, Austria
Conference papers
lirmm-01097136v1
|
|
|
An Introduction to Ontology-Based Query Answering with Existential RulesRW: Reasoning Web, Sep 2014, Athens, Greece. pp.245-278, ⟨10.1007/978-3-319-10587-1_6⟩
Conference papers
lirmm-01089990v1
|
|
|
Extending Acyclicity Notions for Existential RulesECAI: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.39-44, ⟨10.3233/978-1-61499-419-0-39⟩
Conference papers
hal-01092757v1
|
Conceptual Graphs are Also GraphsICCS: International Conference on Conceptual Structures, Jul 2014, Iasi, Romania. pp.1-18, ⟨10.1007/978-3-319-08389-6_1⟩
Conference papers
lirmm-01090141v1
|
|
|
|
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
|
|
|
Sound, Complete, and Minimal Query Rewriting for Existential RulesIJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China
Conference papers
lirmm-00838791v1
|
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
|
|
|
|
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
|
|
|
Ontology-Based Query Answering with Existential RulesRuleML: Web Rule Symposium, Aug 2012, Montpellier, France. pp.16
Conference papers
lirmm-00763475v1
|
|
|
A Generic Querying Algorithm for Greedy Sets of Existential RulesKR: Representation and Reasoning, Jun 2012, Rome, Italy. pp.096-106
Conference papers
lirmm-00763518v1
|
|
|
Towards Farsighted Dependencies for Existential RulesRR: Web Reasoning and Rule Systems, Aug 2011, Galway, Ireland. pp.30-45, ⟨10.1007/978-3-642-23580-1_4⟩
Conference papers
lirmm-00618329v1
|
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
|
|
Notions de dépendances pour les règles ExistentiellesJIAF'11: Journées de l'Intelligence Artificielle Fondamentale, Jun 2011, Lyon, France. pp.12-21
Conference papers
lirmm-00618090v1
|
|
|
|
Supporting Argumentation Systems by Graph Representation and ComputationGKR 2011 - 2nd International Workshop of Graph Structures for Knowledge Representation and Reasoning, Jul 2011, Barcelona, Spain. pp.119-136, ⟨10.1007/978-3-642-29449-5_5⟩
Conference papers
lirmm-00768328v1
|
|
|
Ontological Query Answering with Existential RulesRR: Web Reasoning and Rule Systems, Aug 2011, Galway, Ireland. pp.2-23, ⟨10.1007/978-3-642-23580-1_2⟩
Conference papers
lirmm-00618296v1
|
Walking the Complexity Lines for Generalized Guarded Existential RulesIJCAI: International Joint Conference on Artificial Intelligence, Jul 2011, Barcelona, Spain. pp.712-717
Conference papers
lirmm-00618081v1
|
|
|
|
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
|
|
|
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
|
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
|
|
|
|
RDF to Conceptual Graphs TranslationsCS-TIW: Conceptual Structures Tool Interoperability Workshop, Jul 2009, Moscow, Russia. pp.17
Conference papers
lirmm-00410621v1
|
Conceptual Graph Rules and Equivalent Rules: A SynthesisICCS: International Conference on Conceptual Structures, Jul 2009, Moscow, Russia. pp.23-31, ⟨10.1007/978-3-642-03079-6_3⟩
Conference papers
lirmm-00410129v1
|
|
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
|
|
|
|
DL-SR: a Lite DL with Expressive Rules: Preliminary ResultsDL: Description Logics, May 2008, Dresden, Germany
Conference papers
lirmm-00394383v1
|
|
|
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
|
|
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
|
|
|
|
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
|
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
|
|
|
|
Towards Benchmarks for Conceptual Graphs ToolsCS-TIW: Conceptual Structures Tool Interoperability Workshop, Jul 2006, Aalborg, Denmark. pp.72-86
Conference papers
lirmm-00112998v1
|
|
|
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
|
Simple Conceptual Graphs with Atomic Negation and DifferenceICCS: International Conference on Conceptual Structures, Jul 2006, Aalborg, Denmark. pp.331-345
Conference papers
lirmm-00113160v1
|
|
|
|
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
|
Concept Type and Coreference in Simple Conceptual GraphsICCS: International Conference on Conceptual Structures, Jul 2004, Huntsville, United States. pp.303-318, ⟨10.1007/978-3-540-27769-9_20⟩
Conference papers
lirmm-00108891v1
|
|
|
Existential Rules: A Graph-Based ViewPablo Barceló; Reinhard Pichler. Datalog 2.0, Sep 2012, Vienne, Austria. Springer, 2nd International Workshop on Datalog 2.0, LNCS (7494), pp.21-26, 2012, ⟨10.1007/978-3-642-32925-8_3⟩
Conference poster
lirmm-00763474v1
|
Graph-Based Knowledge Representation: Computational Foundations of Conceptual GraphsSpringer, pp.427, 2008, Advanced Information and Knowledge Processing, 978-1-84800-286-9. ⟨10.1007/978-1-84800-286-9⟩
Books
lirmm-00355336v1
|
|
International Workshop on Semantically Aware Document Processing and Indexing (SADPI 2007)pp.101, 2007, 978-1-15159-668-4
Books
lirmm-00367393v1
|
|
Common Semantics for Sharing Knowledge: Contributions to ICCS 2005F. Dau, M.L. Mugnier, G. Stumme. Kassel University Press, 208 p., 2005, 3-89958-138-5
Books
lirmm-00106577v1
|
|
Conceptual Structures: Common Semantics for Sharing Knowledge. Proc.Springer, 3596, 467 p., 2005, Lecture Notes in Artificial Intelligence, 3-540-27783-8
Books
lirmm-00106575v1
|
|
|
Foundations and state of the artAgriculture and Digital Technology: Getting the most out of digital technology to contribute to the transition to sustainable agriculture and food systems, 6, INRIA, pp.30-75, 2022, White book Inrira
Book sections
hal-03609470v2
|
|
|
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
|
|
|
Integrating Data and Knowledge to Support the Selection of Service Plant Species in Agroecology2022
Preprints, Working Papers, ...
lirmm-03879910v1
|