Marie-Laure Mugnier

104 papers A* 19A 5B 5C 1Misc 15Journal 29Unranked 25

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	A Legislation-Aware Robotic Framework for Autonomous Fertilization Near Protected Water Bodies. ECMR Nikolas Müller, Ahmad Kadi, Marie-Laure Mugnier, Guillaume Pérution-Kihli, Federico Ulliana, Martin Atzmueller
2025	A*	`conf`	Abstractions of Queries in Ontology-Based Data Access. KR Michel Leclère, Marie-Laure Mugnier, Guillaume Pérution-Kihli
2025	B	`conf`	Integrating Environmental Regulations into Autonomous Agricultural Robotics: A Case for Waterbody-Aware Fertilization. RuleML+RR Guillaume Pérution-Kihli, Ahmad Kadi, Nikolas Müller, Akira Charoensit, David Carral, Pierre Bisquert, Federico Ulliana, Ansgar Bernardi, Marie-Laure Mugnier
2024	J	`jnl`	Integrating data and knowledge to support the selection of service plant species in agroecology. Comput. Electron. Agric. Elie Najm, Marie-Laure Mugnier, Christian Gary, Jean-François Baget, Raphael Métral, Léo Garcia
2023	A*	`conf`	Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying. PODS Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
2023	A*	`conf`	Query Rewriting with Disjunctive Existential Rules and Mappings. KR Michel Leclère, Marie-Laure Mugnier, Guillaume Pérution-Kihli
2023	J	`jnl`	Query Rewriting with Disjunctive Existential Rules and Mappings. CoRR Michel Leclère, Marie-Laure Mugnier, Guillaume Pérution-Kihli
2023	J	`jnl`	Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting. Proc. VLDB Endow. Olivier Rodriguez, Federico Ulliana, Marie-Laure Mugnier
2022	A*	`conf`	Normalisations of Existential Rules: Not so Innocuous! KR David Carral, Lucas Larroque, Marie-Laure Mugnier, Michaël Thomazo
2022	J	`jnl`	Normalisations of Existential Rules: Not so Innocuous! CoRR David Carral, Lucas Larroque, Marie-Laure Mugnier, Michaël Thomazo
2022	—	`ed.`	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. Description Logics Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier
2022	—	`conf`	Rule-Based Data Access: A Use-case in Agroecology. RuleML+RR (Companion) Elie Najm, Jean-François Baget, Marie-Laure Mugnier
2021	J	`jnl`	Characterizing Boundedness in Chase Variants. Theory Pract. Log. Program. Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
2021	A*	`conf`	Parallelisable Existential Rules: a Story of Pieces. KR Maxime Buron, Marie-Laure Mugnier, Michaël Thomazo
2021	J	`jnl`	Parallelisable Existential Rules: a Story of Pieces. CoRR Maxime Buron, Marie-Laure Mugnier, Michaël Thomazo
2020	J	`jnl`	Characterizing Boundedness in Chase Variants. CoRR Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
2020	J	`jnl`	Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules. Künstliche Intell. Marie-Laure Mugnier
2020	J	`jnl`	Obi-Wan: Ontology-Based RDF Integration of Heterogeneous Data. Proc. VLDB Endow. Maxime Buron, François Goasdoué, Ioana Manolescu, Marie-Laure Mugnier
2020	J	`jnl`	Oblivious and Semi-Oblivious Boundedness for Existential Rules. CoRR Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, Lily Gallois
2020	B	`conf`	Ontology-Based RDF Integration of Heterogeneous Data. EDBT Maxime Buron, François Goasdoué, Ioana Manolescu, Marie-Laure Mugnier
2020	—	`ch.`	Reasoning with Ontologies. A Guided Tour of Artificial Intelligence Research (1) (I) Meghyn Bienvenu, Michel Leclère, Marie-Laure Mugnier, Marie-Christine Rousset
2020	—	`conf`	Revisiting RDF storage layouts for efficient query answering. SSWS@ISWC Maxime Buron, François Goasdoué, Ioana Manolescu, Tayeb Merabti, Marie-Laure Mugnier
2019	A	`conf`	A Single Approach to Decide Chase Termination on Linear Existential Rules. ICDT Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
2019	A*	`conf`	Oblivious and Semi-Oblivious Boundedness for Existential Rules. IJCAI Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, Lily Gallois
2019	B	`conf`	Reformulation-Based Query Answering for RDF Graphs with RDFS Ontologies. ESWC Maxime Buron, François Goasdoué, Ioana Manolescu, Marie-Laure Mugnier
2018	—	`conf`	A Single Approach to Decide Chase Termination on Linear Existential Rules. Description Logics Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
2018	J	`jnl`	A Single Approach to Decide Chase Termination on Linear Existential Rules. CoRR Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
2018	B	`conf`	On the k-Boundedness for Existential Rules. RuleML+RR Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
2018	J	`jnl`	On the k-Boundedness for Existential Rules. CoRR Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
2018	—	`conf`	Reasoning on Data Workshop Chairs' Welcome and Organization. WWW (Companion Volume) Marie-Laure Mugnier, Catherine Roussey, Pierre Senellart
2017	A*	`conf`	Answering Conjunctive Regular Path Queries over Guarded Existential Rules. IJCAI Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Michaël Thomazo
2017	A*	`conf`	Ontology-Mediated Query Answering for Key-Value Stores. IJCAI Meghyn Bienvenu, Pierre Bourhis, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana
2016	A*	`conf`	A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering. KR Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia
2016	J	`jnl`	A General Modifier-based Framework for Inconsistency-Tolerant Query Answering. CoRR Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia
2016	B	`conf`	Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis. JELIA Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia
2016	—	`conf`	On Bounded Positive Existential Rules. Description Logics Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
2016	A*	`conf`	Ontology-Mediated Queries for NOSQL Databases. AAAI Marie-Laure Mugnier, Marie-Christine Rousset, Federico Ulliana
2016	—	`conf`	Ontology-Mediated Queries for NOSQL Databases. Description Logics Marie-Laure Mugnier, Marie-Christine Rousset, Federico Ulliana
2015	A*	`conf`	Combining Existential Rules and Transitivity: Next Steps. IJCAI Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher
2015	J	`jnl`	Combining Existential Rules and Transitivity: Next Steps. CoRR Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher
2015	—	`conf`	Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules. Challenge+DC@RuleML Jean-François Baget, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, Clément Sipieter
2015	—	`conf`	Graal: A Toolkit for Query Answering with Existential Rules. RuleML Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, Clément Sipieter
2015	—	`ed.`	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. JOWO@IJCAI 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
2015	A*	`conf`	Query Rewriting for Existential Rules with Compiled Preorder. IJCAI Mélanie König, Michel Leclère, Marie-Laure Mugnier
2015	J	`jnl`	Sound, complete and minimal UCQ-rewriting for existential rules. Semantic Web Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
2014	—	`conf`	An Introduction to Ontology-Based Query Answering with Existential Rules. Reasoning Web Marie-Laure Mugnier, Michaël Thomazo
2014	Misc	`conf`	Conceptual Graphs Are Also Graphs. ICCS Michel Chein, Marie-Laure Mugnier
2014	J	`jnl`	Extending Acyclicity Notions for Existential Rules (\emph{long version}). CoRR Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher
2014	A	`conf`	Extending Acyclicity Notions for Existential Rules. ECAI Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher
2014	J	`jnl`	Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation. CoRR Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher
2014	—	`ed.`	Web Reasoning and Rule Systems - 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings RR Roman Kontchakov, Marie-Laure Mugnier
2014	J	`jnl`	Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses. CoRR Sebastian Rudolph, Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier
2013	J	`jnl`	An artificial intelligence-based approach to deal with argumentation applied to food quality in a public health policy. Expert Syst. Appl. Jean-Rémi Bourguet, Rallou Thomopoulos, Marie-Laure Mugnier, Joël Abécassis
2013	—	`conf`	Kiabora: An Analyzer of Existential Rule Bases. RR Michel Leclère, Marie-Laure Mugnier, Swan Rocher
2013	—	`conf`	On the Exploration of the Query Rewriting Space with Existential Rules. RR Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
2013	J	`jnl`	Sound, Complete and Minimal UCQ-Rewriting for Existential Rules. CoRR Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
2013	A*	`conf`	Sound, Complete, and Minimal Query Rewriting for Existential Rules. IJCAI Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
2013	J	`jnl`	Visual reasoning with graph-based mechanisms: the good, the better and the best. Knowl. Eng. Rev. Michel Chein, Marie-Laure Mugnier, Madalina Croitoru
2012	A*	`conf`	A Generic Querying Algorithm for Greedy Sets of Existential Rules. KR Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
2012	—	`conf`	A Sound and Complete Backward Chaining Algorithm for Existential Rules. RR Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
2012	—	`conf`	Existential Rules: A Graph-Based View - (Extended Abstract). Datalog Marie-Laure Mugnier
2012	J	`jnl`	On the complexity of entailment in existential conjunctive first-order logic with atomic negation. Inf. Comput. Marie-Laure Mugnier, Geneviève Simonet, Michaël Thomazo
2012	—	`conf`	Ontology-Based Query Answering with Existential Rules. RuleML Marie-Laure Mugnier
2011	—	`conf`	A Theoretical and Experimental Comparison of Algorithms for the Containment of Conjunctive Queries with Negation. DEXA (1) Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier
2011	J	`jnl`	Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints CoRR Jean-François Baget, Marie-Laure Mugnier
2011	J	`jnl`	On rules with existential variables: Walking the decidability line. Artif. Intell. Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat
2011	—	`conf`	Ontological Query Answering with Existential Rules. RR Marie-Laure Mugnier
2011	—	`conf`	Supporting Argumentation Systems by Graph Representation and Computation. GKR Jérôme Fortin, Rallou Thomopoulos, Jean-Rémi Bourguet, Marie-Laure Mugnier
2011	—	`conf`	Towards Farsighted Dependencies for Existential Rules. RR Jean-François Baget, Marie-Laure Mugnier, Michaël Thomazo
2011	A*	`conf`	Walking the Complexity Lines for Generalized Guarded Existential Rules. IJCAI Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo
2010	—	`conf`	Containment of Conjunctive Queries with Negation: Algorithms and Experiments. DEXA (2) Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier
2010	Misc	`conf`	Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments. AIMSA Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier
2010	Misc	`conf`	Translations between RDF(S) and Conceptual Graphs. ICCS Jean-François Baget, Madalina Croitoru, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier
2010	A*	`conf`	Walking the Decidability Line for Rules with Existential Variables. KR Jean-François Baget, Michel Leclère, Marie-Laure Mugnier
2009	Misc	`conf`	Conceptual Graph Rules and Equivalent Rules: A Synthesis. ICCS Marie-Laure Mugnier
2009	A*	`conf`	Extending Decidable Cases for Rules with Existential Variables. IJCAI Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat
2009	—	`book`	Graph-based Knowledge Representation - Computational Foundations of Conceptual Graphs. Michel Chein, Marie-Laure Mugnier
2009	J	`jnl`	Introducing reasoning into an industrial knowledge management tool. Appl. Intell. Olivier Carloni, Michel Leclère, Marie-Laure Mugnier
2008	Misc	`conf`	An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation. ICCS Michel Leclère, Marie-Laure Mugnier
2008	—	`conf`	DL-SR: a Lite DL with Expressive Rules: Preliminary Results. Description Logics Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat
2008	Misc	`conf`	Griwes: Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation Toolkit. ICCS 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
2007	J	`jnl`	On querying simple conceptual graphs with negation. Data Knowl. Eng. Marie-Laure Mugnier, Michel Leclère
2007	A	`conf`	Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation. ICDT Michel Leclère, Marie-Laure Mugnier
2006	C	`conf`	Introducing Graph-Based Reasoning into a Knowledge Management Tool: An Industrial Case Study. IEA/AIE Olivier Carloni, Michel Leclère, Marie-Laure Mugnier
2006	—	`conf`	Introduction de raisonnement dans un outil de gestion des connaissances basé sur les Topic Maps. Actes d'IC Olivier Carloni, Michel Leclère, Marie-Laure Mugnier
2006	—	`conf`	Mapping Contexts to Vocabularies to Represent Intentions. C&O@ECAI Rallou Thomopoulos, Marie-Laure Mugnier, Michel Leclère
2006	Misc	`conf`	Simple Conceptual Graphs with Atomic Negation and Difference. ICCS Michel Leclère, Marie-Laure Mugnier
2005	Misc	`ed.`	Conceptual Structures: Common Semantics for Sharing Knowledge, 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005, Proceedings ICCS Frithjof Dau, Marie-Laure Mugnier, Gerd Stumme
2004	Misc	`conf`	Concept Types and Coreference in Simple Conceptual Graphs. ICCS Michel Chein, Marie-Laure Mugnier
2002	J	`jnl`	Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints. J. Artif. Intell. Res. Jean-François Baget, Marie-Laure Mugnier
2001	A*	`conf`	The SG Family: Extensions of Simple Conceptual Graphs. IJCAI Jean-François Baget, Marie-Laure Mugnier
2000	Misc	`conf`	Knowledge Representation and Reasonings Based on Graph Homomorphism. ICCS Marie-Laure Mugnier
1999	Misc	`conf`	A Pure Graph-Based Solution to the SCG-1 Initiative. ICCS Jean-François Baget, David Genest, Marie-Laure Mugnier
1998	Misc	`ed.`	Conceptual Structures: Theory, Tools and Applications, 6th International Conference on Conceptual Structures, ICCS '98, Montpellier, France, August 10-12, 1998, Proceedings ICCS Marie-Laure Mugnier, Michel Chein
1998	J	`jnl`	Logic for Nested Graphs. Comput. Intell. Anne Preller, Marie-Laure Mugnier, Michel Chein
1998	A*	`conf`	Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics. KR Michel Chein, Marie-Laure Mugnier, Geneviève Simonet
1997	Misc	`conf`	Positive Nested Conceptual Graphs. ICCS Michel Chein, Marie-Laure Mugnier
1996	Misc	`conf`	Sound and Complete Forward and backward Chainingd of Graph Rules. ICCS Eric Salvat, Marie-Laure Mugnier
1995	J	`jnl`	On generalization/specialization for conceptual graphs. J. Exp. Theor. Artif. Intell. Marie-Laure Mugnier
1994	A	`conf`	Proposal for a Monotonic Multiple Inheritance Linearization. OOPSLA Roland Ducournau, Michel Habib, Marianne Huchard, Marie-Laure Mugnier
1993	Misc	`conf`	Characterization and Algorithmic Recognition of Canonical Conceptual Graphs. ICCS Marie-Laure Mugnier, Michel Chein
1992	A	`conf`	Monotonic Conflict Resolution Mechanisms for Inheritance. OOPSLA Roland Ducournau, Michel Habib, Marianne Huchard, Marie-Laure Mugnier
1992	—	`conf`	Polynomial Algorithms for Projection and Matching. Workshop on Conceptual Graphs Marie-Laure Mugnier, Michel Chein
1992	—	`conf`	Specialization: Where Do the Difficulties Occur? Workshop on Conceptual Graphs Michel Chein, Marie-Laure Mugnier