- 10
MM
Marie-Laure Mugnier
10
Documents
Identifiants chercheurs
- marie-laure-mugnier
- 0000-0002-0574-3693
- IdRef : 129977896
Présentation
Publications
- 4
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 10
- 10
- 7
- 3
- 10
- 1
- 1
- 2
- 1
- 4
- 2
|
Sound, Complete and Minimal UCQ-Rewriting for Existential RulesSemantic Web – Interoperability, Usability, Applicability, 2015, 6 (5), pp.451-475. ⟨10.3233/SW-140153⟩
Article dans une revue
lirmm-01090370v1
|
|
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⟩
Communication dans un congrès
lirmm-02148200v1
|
|
A Single Approach to Decide Chase Termination on Linear Existential Rules31st International Workshop on Description Logics (DL), Oct 2018, Tempe, United States
Communication dans un congrès
lirmm-01892353v1
|
|
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⟩
Communication dans un congrès
lirmm-00838806v1
|
|
Sound, Complete, and Minimal Query Rewriting for Existential RulesIJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China
Communication dans un congrès
lirmm-00838791v1
|
|
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⟩
Communication dans un congrès
lirmm-00764341v3
|
|
A Single Approach to Decide Chase Termination on Linear Existential Rules[Research Report] arXiv:1810.02132. 2018
Rapport
lirmm-01892375v1
|
|
Sound, Complete and Minimal UCQ-Rewriting for Existential Rules[Research Report] RR-13034, Lirmm. 2013, pp.29
Rapport
lirmm-00903375v1
|
On the Exploration of the Query Rewriting Space with Existential Rules[Research Report] RR-13016, Lirmm. 2013
Rapport
lirmm-00825634v1
|
|
|
A Sound and Complete Backward Chaining Algorithm for Existential RulesRR-12016, 2012
Rapport
lirmm-00713182v3
|