Marie-Laure Mugnier

6 papers · 2013–2019 · 1 venue · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🏃 Academic Marathon · Sprint 🐣 Hot Topic Early Bird 🚀 Conference Pioneer 📈 Trend Setter

Venues

IJCAI (6)

Top co-authors

Meghyn Bienvenu (3) Michel Leclère (3) Sophie Tison (2) Michaël Thomazo (2) Jean-François Baget (2) Federico Ulliana (2) Mélanie König (2) Pierre Bourhis (2) Swan Rocher (1) Lily Gallois (1)

Research topics

Knowledge & Reasoning (2) Reasoning (2) Representation (2) Mathematics & Optimization (1) Optimization (1)

Keywords

first-order logic (2) ontology-mediated query answering (2) key-value store (1) existential rule (1) guarded existential rule (1) chase termination (1) conjunctive regular path query (1) rule-based ontology (1) word rewriting (1) query reformulation (1) chase procedure (1) knowledge base (1)

Papers

Oblivious and Semi-Oblivious Boundedness for Existential Rules IJCAI 2019 Answering Conjunctive Regular Path Queries over Guarded Existential Rules IJCAI 2017 Ontology-Mediated Query Answering for Key-Value Stores IJCAI 2017 Combining Existential Rules and Transitivity: Next Steps IJCAI 2015 Query Rewriting for Existential Rules with Compiled Preorder IJCAI 2015 Sound, Complete, and Minimal Query Rewriting for Existential Rules IJCAI 2013