default search action
Marie-Laure Mugnier
Person information
- affiliation: University of Montpellier, CNRS, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j15]Elie Najm, Marie-Laure Mugnier, Christian Gary, Jean-François Baget, Raphael Métral, Léo Garcia:
Integrating data and knowledge to support the selection of service plant species in agroecology. Comput. Electron. Agric. 217: 108594 (2024) - 2023
- [j14]Olivier Rodriguez, Federico Ulliana, Marie-Laure Mugnier:
Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting. Proc. VLDB Endow. 16(11): 2699-2713 (2023) - [c65]Michel Leclère, Marie-Laure Mugnier, Guillaume Pérution-Kihli:
Query Rewriting with Disjunctive Existential Rules and Mappings. KR 2023: 429-439 - [c64]Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph:
Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying. PODS 2023: 291-302 - [i14]Michel Leclère, Marie-Laure Mugnier, Guillaume Pérution-Kihli:
Query Rewriting with Disjunctive Existential Rules and Mappings. CoRR abs/2306.05973 (2023) - 2022
- [c63]David Carral, Lucas Larroque, Marie-Laure Mugnier, Michaël Thomazo:
Normalisations of Existential Rules: Not so Innocuous! KR 2022 - [c62]Elie Najm, Jean-François Baget, Marie-Laure Mugnier:
Rule-Based Data Access: A Use-case in Agroecology. RuleML+RR (Companion) 2022 - [e5]Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier:
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022. CEUR Workshop Proceedings 3263, CEUR-WS.org 2022 [contents] - [i13]David Carral, Lucas Larroque, Marie-Laure Mugnier, Michaël Thomazo:
Normalisations of Existential Rules: Not so Innocuous! CoRR abs/2206.03124 (2022) - 2021
- [j13]Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana:
Characterizing Boundedness in Chase Variants. Theory Pract. Log. Program. 21(1): 51-79 (2021) - [c61]Maxime Buron, Marie-Laure Mugnier, Michaël Thomazo:
Parallelisable Existential Rules: a Story of Pieces. KR 2021: 162-173 - [i12]Maxime Buron, Marie-Laure Mugnier, Michaël Thomazo:
Parallelisable Existential Rules: a Story of Pieces. CoRR abs/2107.06054 (2021) - 2020
- [j12]Marie-Laure Mugnier:
Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules. Künstliche Intell. 34(4): 475-489 (2020) - [j11]Maxime Buron, François Goasdoué, Ioana Manolescu, Marie-Laure Mugnier:
Obi-Wan: Ontology-Based RDF Integration of Heterogeneous Data. Proc. VLDB Endow. 13(12): 2933-2936 (2020) - [c60]Maxime Buron, François Goasdoué, Ioana Manolescu, Marie-Laure Mugnier:
Ontology-Based RDF Integration of Heterogeneous Data. EDBT 2020: 299-310 - [c59]Maxime Buron, François Goasdoué, Ioana Manolescu, Tayeb Merabti, Marie-Laure Mugnier:
Revisiting RDF storage layouts for efficient query answering. SSWS@ISWC 2020: 17-32 - [p1]Meghyn Bienvenu, Michel Leclère, Marie-Laure Mugnier, Marie-Christine Rousset:
Reasoning with Ontologies. A Guided Tour of Artificial Intelligence Research (1) (I) 2020: 185-215 - [i11]Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana:
Characterizing Boundedness in Chase Variants. CoRR abs/2004.10030 (2020) - [i10]Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, Lily Gallois:
Oblivious and Semi-Oblivious Boundedness for Existential Rules. CoRR abs/2006.08467 (2020)
2010 – 2019
- 2019
- [c58]Maxime Buron, François Goasdoué, Ioana Manolescu, Marie-Laure Mugnier:
Reformulation-Based Query Answering for RDF Graphs with RDFS Ontologies. ESWC 2019: 19-35 - [c57]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 - [c56]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 - 2018
- [c55]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 - [c54]Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana:
On the k-Boundedness for Existential Rules. RuleML+RR 2018: 48-64 - [c53]Marie-Laure Mugnier, Catherine Roussey, Pierre Senellart:
Reasoning on Data Workshop Chairs' Welcome and Organization. WWW (Companion Volume) 2018: 1585-1586 - [i9]Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana:
A Single Approach to Decide Chase Termination on Linear Existential Rules. CoRR abs/1810.02132 (2018) - [i8]Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana:
On the k-Boundedness for Existential Rules. CoRR abs/1810.09304 (2018) - 2017
- [c52]Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Michaël Thomazo:
Answering Conjunctive Regular Path Queries over Guarded Existential Rules. IJCAI 2017: 793-799 - [c51]Meghyn Bienvenu, Pierre Bourhis, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana:
Ontology-Mediated Query Answering for Key-Value Stores. IJCAI 2017: 844-851 - 2016
- [c50]Marie-Laure Mugnier, Marie-Christine Rousset, Federico Ulliana:
Ontology-Mediated Queries for NOSQL Databases. AAAI 2016: 1051-1057 - [c49]Michel Leclère, Marie-Laure Mugnier, Federico Ulliana:
On Bounded Positive Existential Rules. Description Logics 2016 - [c48]Marie-Laure Mugnier, Marie-Christine Rousset, Federico Ulliana:
Ontology-Mediated Queries for NOSQL Databases. Description Logics 2016 - [c47]Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia:
Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis. JELIA 2016: 64-80 - [c46]Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia:
A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering. KR 2016: 513-516 - [i7]Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia:
A General Modifier-based Framework for Inconsistency-Tolerant Query Answering. CoRR abs/1602.05828 (2016) - 2015
- [j10]Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo:
Sound, complete and minimal UCQ-rewriting for existential rules. Semantic Web 6(5): 451-475 (2015) - [c45]Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher:
Combining Existential Rules and Transitivity: Next Steps. IJCAI 2015: 2720-2726 - [c44]Mélanie König, Michel Leclère, Marie-Laure Mugnier:
Query Rewriting for Existential Rules with Compiled Preorder. IJCAI 2015: 3106-3112 - [c43]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 - [c42]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 2015: 328-344 - [e4]Odile Papini, Salem Benferhat, Laurent Garcia, Marie-Laure Mugnier, Eduardo L. Fermé, Thomas Meyer, Renata Wassermann, Torsten Hahmann, Ken Baclawski, Adila Krisnadhi, Pavel Klinov, Stefano Borgo, Oliver Kutz, Daniele Porello:
Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 25-27, 2015. CEUR Workshop Proceedings 1517, CEUR-WS.org 2015 [contents] - [i6]Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher:
Combining Existential Rules and Transitivity: Next Steps. CoRR abs/1504.07443 (2015) - 2014
- [c41]Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher:
Extending Acyclicity Notions for Existential Rules. ECAI 2014: 39-44 - [c40]Michel Chein, Marie-Laure Mugnier:
Conceptual Graphs Are Also Graphs. ICCS 2014: 1-18 - [c39]Marie-Laure Mugnier, Michaël Thomazo:
An Introduction to Ontology-Based Query Answering with Existential Rules. Reasoning Web 2014: 245-278 - [e3]Roman Kontchakov, Marie-Laure Mugnier:
Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings. Lecture Notes in Computer Science 8741, Springer 2014, ISBN 978-3-319-11112-4 [contents] - [i5]Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher:
Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation. CoRR abs/1405.1071 (2014) - [i4]Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher:
Extending Acyclicity Notions for Existential Rules (\emph{long version}). CoRR abs/1407.6885 (2014) - [i3]Sebastian Rudolph, Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier:
Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses. CoRR abs/1412.4485 (2014) - 2013
- [j9]Jean-Rémi Bourguet, Rallou Thomopoulos, Marie-Laure Mugnier, Joël Abécassis:
An artificial intelligence-based approach to deal with argumentation applied to food quality in a public health policy. Expert Syst. Appl. 40(11): 4539-4546 (2013) - [j8]Michel Chein, Marie-Laure Mugnier, Madalina Croitoru:
Visual reasoning with graph-based mechanisms: the good, the better and the best. Knowl. Eng. Rev. 28(3): 249-271 (2013) - [c38]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 - [c37]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 2013: 123-137 - [c36]Michel Leclère, Marie-Laure Mugnier, Swan Rocher:
Kiabora: An Analyzer of Existential Rule Bases. RR 2013: 241-246 - [i2]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
- [j7]Marie-Laure Mugnier, Geneviève Simonet, Michaël Thomazo:
On the complexity of entailment in existential conjunctive first-order logic with atomic negation. Inf. Comput. 215: 8-31 (2012) - [c35]Marie-Laure Mugnier:
Existential Rules: A Graph-Based View - (Extended Abstract). Datalog 2012: 21-26 - [c34]Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph:
A Generic Querying Algorithm for Greedy Sets of Existential Rules. KR 2012 - [c33]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 - [c32]Marie-Laure Mugnier:
Ontology-Based Query Answering with Existential Rules. RuleML 2012: 16 - 2011
- [j6]Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat:
On rules with existential variables: Walking the decidability line. Artif. Intell. 175(9-10): 1620-1654 (2011) - [c31]Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier:
A Theoretical and Experimental Comparison of Algorithms for the Containment of Conjunctive Queries with Negation. DEXA (1) 2011: 466-480 - [c30]Jérôme Fortin, Rallou Thomopoulos, Jean-Rémi Bourguet, Marie-Laure Mugnier:
Supporting Argumentation Systems by Graph Representation and Computation. GKR 2011: 119-136 - [c29]Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo:
Walking the Complexity Lines for Generalized Guarded Existential Rules. IJCAI 2011: 712-717 - [c28]Marie-Laure Mugnier:
Ontological Query Answering with Existential Rules. RR 2011: 2-23 - [c27]Jean-François Baget, Marie-Laure Mugnier, Michaël Thomazo:
Towards Farsighted Dependencies for Existential Rules. RR 2011: 30-45 - [i1]Jean-François Baget, Marie-Laure Mugnier:
Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints. CoRR abs/1106.1800 (2011) - 2010
- [c26]Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier:
Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments. AIMSA 2010: 1-10 - [c25]Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier:
Containment of Conjunctive Queries with Negation: Algorithms and Experiments. DEXA (2) 2010: 330-345 - [c24]Jean-François Baget, Madalina Croitoru, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier:
Translations between RDF(S) and Conceptual Graphs. ICCS 2010: 28-41 - [c23]Jean-François Baget, Michel Leclère, Marie-Laure Mugnier:
Walking the Decidability Line for Rules with Existential Variables. KR 2010
2000 – 2009
- 2009
- [b1]Michel Chein, Marie-Laure Mugnier:
Graph-based Knowledge Representation - Computational Foundations of Conceptual Graphs. Advanced Information and Knowledge Processing, Springer 2009, ISBN 978-1-84800-285-2, pp. 1-427 - [j5]Olivier Carloni, Michel Leclère, Marie-Laure Mugnier:
Introducing reasoning into an industrial knowledge management tool. Appl. Intell. 31(3): 211-224 (2009) - [c22]Marie-Laure Mugnier:
Conceptual Graph Rules and Equivalent Rules: A Synthesis. ICCS 2009: 23-31 - [c21]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
- [c20]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 - [c19]Michel Leclère, Marie-Laure Mugnier:
An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation. ICCS 2008: 119-132 - [c18]Jean-François Baget, Olivier Corby, Rose Dieng-Kuntz, Catherine Faron-Zucker, Fabien Gandon, Alain Giboin, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier, Rallou Thomopoulos:
Griwes: Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation Toolkit. ICCS 2008: 297-310 - 2007
- [j4]Marie-Laure Mugnier, Michel Leclère:
On querying simple conceptual graphs with negation. Data Knowl. Eng. 60(3): 468-493 (2007) - [c17]Michel Leclère, Marie-Laure Mugnier:
Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation. ICDT 2007: 404-418 - 2006
- [c16]Rallou Thomopoulos, Marie-Laure Mugnier, Michel Leclère:
Mapping Contexts to Vocabularies to Represent Intentions. C&O@ECAI 2006 - [c15]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 - [c14]Michel Leclère, Marie-Laure Mugnier:
Simple Conceptual Graphs with Atomic Negation and Difference. ICCS 2006: 331-345 - [c13]Olivier Carloni, Michel Leclère, Marie-Laure Mugnier:
Introducing Graph-Based Reasoning into a Knowledge Management Tool: An Industrial Case Study. IEA/AIE 2006: 590-599 - 2005
- [e2]Frithjof Dau, Marie-Laure Mugnier, Gerd Stumme:
Conceptual Structures: Common Semantics for Sharing Knowledge, 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005, Proceedings. Lecture Notes in Computer Science 3596, Springer 2005, ISBN 3-540-27783-8 [contents] - 2004
- [c12]Michel Chein, Marie-Laure Mugnier:
Concept Types and Coreference in Simple Conceptual Graphs. ICCS 2004: 303-318 - 2002
- [j3]Jean-François Baget, Marie-Laure Mugnier:
Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints. J. Artif. Intell. Res. 16: 425-465 (2002) - 2001
- [c11]Jean-François Baget, Marie-Laure Mugnier:
The SG Family: Extensions of Simple Conceptual Graphs. IJCAI 2001: 205-212 - 2000
- [c10]Marie-Laure Mugnier:
Knowledge Representation and Reasonings Based on Graph Homomorphism. ICCS 2000: 172-192
1990 – 1999
- 1999
- [c9]Jean-François Baget, David Genest, Marie-Laure Mugnier:
A Pure Graph-Based Solution to the SCG-1 Initiative. ICCS 1999: 355-376 - 1998
- [j2]Anne Preller, Marie-Laure Mugnier, Michel Chein:
Logic for Nested Graphs. Comput. Intell. 14(3): 335-357 (1998) - [c8]Michel Chein, Marie-Laure Mugnier, Geneviève Simonet:
Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics. KR 1998: 524-535 - [e1]Marie-Laure Mugnier, Michel Chein:
Conceptual Structures: Theory, Tools and Applications, 6th International Conference on Conceptual Structures, ICCS '98, Montpellier, France, August 10-12, 1998, Proceedings. Lecture Notes in Computer Science 1453, Springer 1998, ISBN 3-540-64791-0 [contents] - 1997
- [c7]Michel Chein, Marie-Laure Mugnier:
Positive Nested Conceptual Graphs. ICCS 1997: 95-109 - 1996
- [c6]Eric Salvat, Marie-Laure Mugnier:
Sound and Complete Forward and backward Chainingd of Graph Rules. ICCS 1996: 248-262 - 1995
- [j1]Marie-Laure Mugnier:
On generalization/specialization for conceptual graphs. J. Exp. Theor. Artif. Intell. 7(3): 325-344 (1995) - 1994
- [c5]Roland Ducournau, Michel Habib, Marianne Huchard, Marie-Laure Mugnier:
Proposal for a Monotonic Multiple Inheritance Linearization. OOPSLA 1994: 164-175 - 1993
- [c4]Marie-Laure Mugnier, Michel Chein:
Characterization and Algorithmic Recognition of Canonical Conceptual Graphs. ICCS 1993: 294-311 - 1992
- [c3]Michel Chein, Marie-Laure Mugnier:
Specialization: Where Do the Difficulties Occur? Workshop on Conceptual Graphs 1992: 229-238 - [c2]Marie-Laure Mugnier, Michel Chein:
Polynomial Algorithms for Projection and Matching. Workshop on Conceptual Graphs 1992: 239-251 - [c1]Roland Ducournau, Michel Habib, Marianne Huchard, Marie-Laure Mugnier:
Monotonic Conflict Resolution Mechanisms for Inheritance. OOPSLA 1992: 16-24
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