Travelled to:1 × USA
2 × Canada
2 × Italy
Collaborated with:J.Baget R.Ducournau M.Habib M.Huchard M.Leclère M.Chein G.Simonet M.Thomazo S.Rudolph
Talks about:existenti (2) monoton (2) inherit (2) graph (2) rule (2) represent (1) algorithm (1) knowledg (1) conflict (1) variabl (1)
Person: Marie-Laure Mugnier
DBLP: Mugnier:Marie=Laure
Contributed to:
201220101998
19941992Wrote 5 papers:
- KR-2012-ThomazoBMR #algorithm #query #set
- A Generic Querying Algorithm for Greedy Sets of Existential Rules (MT, JFB, MLM, SR).
- KR-2010-BagetLM #decidability
- Walking the Decidability Line for Rules with Existential Variables (JFB, ML, MLM).
- KR-1998-CheinMS #graph #information management #representation #semantics
- Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics (MC, MLM, GS), pp. 524–535.
- OOPSLA-1994-DucournauHHM #inheritance #multi
- Proposal for a Monotonic Multiple Inheritance Linearization (RD, MH, MH, MLM), pp. 164–175.
- OOPSLA-1992-DucournauHHM #inheritance
- Monotonic Conflict Resolution Mechanisms for Inheritance (RD, MH, MH, MLM), pp. 16–24.