Extending Decidable Cases for Rules with Existential Variables.

Jean-Franois Baget, Michel Leclre, Marie-Laure Mugnier, Eric Salvat

Browse the full IJCAI paper archive.