Mélanie König

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 2

Top Topics

Conjunctive Queries

Efficiently Computable

Ontology Based Data Access

Query Rewriting

Top Venues

Montpellier 2 University, France (PHD)

Education History

Montpellier 2 University, France

PHD

Publications

Thomas Georges, Liam Rice, Marianne Huchard, Mélanie König, Clémentine Nebut, Chouki Tibermacine
Guiding Feature Models Synthesis from User-Stories: An Exploratory Approach. VaMoS (2023)
Thomas Georges, Marianne Huchard, Mélanie König, Clémentine Nebut, Chouki Tibermacine
Variability Extraction from Simulator I/O Data Schemata in Agriculture Decision-Support Software. FCA4AI@IJCAI (2021)
Mélanie König, Michel Leclère, Marie-Laure Mugnier
Query Rewriting for Existential Rules with Compiled Preorder. IJCAI (2015)
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
Sound, complete and minimal UCQ-rewriting for existential rules. Semantic Web 6 (5) (2015)
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
Sound, Complete and Minimal UCQ-Rewriting for Existential Rules. CoRR (2013)
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
Sound, Complete, and Minimal Query Rewriting for Existential Rules. IJCAI (2013)
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
On the Exploration of the Query Rewriting Space with Existential Rules. RR (2013)
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
A Sound and Complete Backward Chaining Algorithm for Existential Rules. RR (2012)