Mélanie König

According to our database, Mélanie König authored at least 8 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Guiding Feature Models Synthesis from User-Stories: An Exploratory Approach.

Thomas Georges, Liam Rice, Marianne Huchard, Mélanie König, Clémentine Nebut, Chouki Tibermacine

Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, 2023

2021

Variability Extraction from Simulator I/O Data Schemata in Agriculture Decision-Support Software.

Thomas Georges, Marianne Huchard, Mélanie König, Clémentine Nebut, Chouki Tibermacine

Proceedings of the 9th International Workshop "What can FCA do for Artificial Intelligence?" co-located with the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021), 2021

2015

Sound, complete and minimal UCQ-rewriting for existential rules.

Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo

Semantic Web, 2015

Query Rewriting for Existential Rules with Compiled Preorder.

Mélanie König, Michel Leclère, Marie-Laure Mugnier

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

Interrogation de grandes bases de connaissances : algorithmes de réécriture de requêtes conjonctives en présence de règles existentielles Soutenue le. (Ontology-based Query Answering).

Mélanie König

PhD thesis, 2014

2013

On the Exploration of the Query Rewriting Space with Existential Rules.

Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Sound, Complete, and Minimal Query Rewriting for Existential Rules.

Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo

Proceedings of the IJCAI 2013, 2013

2012

A Sound and Complete Backward Chaining Algorithm for Existential Rules.

Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012