Hervé Gallaire
IdRefMots clés
FR
Théorie logique
Information incomplète
Constante de Skolem
Dépendances d'inclusion
Bases de données -- Conception
Bases de données -- Gestion
Moteur d'interférences
Contraintes d'intégrité
Informations incomplètes
Systèmes déductifs
Raisonnement hypothétique
Intelligence artificielle
Systèmes experts (informatique)