conftrace_

Marie-Laure Mugnier

6 papers · 2013–2019 · 1 conference · across top CS/AI conferences

Achievements

Jump to papers ↓

+1 more ↓

🏃 Academic Marathon (6) 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (14) 🚀 Conference Pioneer

📈 Trend Setter

Conferences

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)

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