Communication dans un congrès, LaHDAK, Informatique, Logique en informatique
First-Order Rewritability of Atomic Queries in Horn Description Logics
Meghyn Bienvenu, Carsten Lutz, Frank Wolter. First-Order Rewritability of Atomic Queries in Horn Description Logics. International Joint Conference on Artificial Intelligence (IJCAI), Aug 2013, Beijing, China. pp.754-760. ⟨hal-00947535⟩
