Salvat, Eric

1 publications

IJCAI 2009 Extending Decidable Cases for Rules with Existential Variables Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat