Marie-Laure Mugnier
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 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]
- [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. Knowledge Eng. Review 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]
- 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]
- [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]
- [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 L. 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. Computational Intelligence 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]
- 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
last updated on 2019-01-22 23:31 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint