Accéder directement au contenu
MM

Marie-Laure Mugnier

8
Documents
Identifiants chercheurs

Présentation

Publications

951324

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

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

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
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

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

Kiabora: An Analyzer of Existential Rule Bases

Michel Leclère , Marie-Laure Mugnier , Swan Rocher
RR: Web Reasoning and Rule Systems, Jul 2013, Mannheim, Germany. pp.241-246, ⟨10.1007/978-3-642-39666-3_22⟩
Communication dans un congrès lirmm-00934018v1