- 6
MM
Marie-Laure Mugnier
6
Documents
Identifiants chercheurs
marie-laure-mugnier-
0000-0002-0574-3693
- IdRef : 129977896
Présentation
Publications
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 6
- 6
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 2
- 2
- 1
On Rules with Existential Variables: Walking the Decidability LineArtificial Intelligence, 2011, 175 (9-10), pp.1620-1654. ⟨10.1016/j.artint.2011.03.002⟩
Article dans une revue
lirmm-00587012v1
|
Extending Decidable Cases for Rules with Existential VariablesIJCAI: International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, CA, United States. pp.677-682
Communication dans un congrès
lirmm-00410130v1
|
|
|
|
RDF to Conceptual Graphs TranslationsCS-TIW: Conceptual Structures Tool Interoperability Workshop, Jul 2009, Moscow, Russia. pp.17
Communication dans un congrès
lirmm-00410621v1
|
|
|
DL-SR: a Lite DL with Expressive Rules: Preliminary ResultsDL: Description Logics, May 2008, Dresden, Germany
Communication dans un congrès
lirmm-00394383v1
|
|
|
Towards Benchmarks for Conceptual Graphs ToolsCS-TIW: Conceptual Structures Tool Interoperability Workshop, Jul 2006, Aalborg, Denmark. pp.72-86
Communication dans un congrès
lirmm-00112998v1
|
|
|
Some Structural Properties of the Logic of RulesRR-08016, 2008
Rapport
lirmm-00289250v1
|