Robert Demolombe
IdRefMots clés
FR
Bases de données -- Gestion
Modalité (logique)
Théorie logique
Information incomplète
Constante de Skolem
Dépendances d'inclusion
Bases de données -- Conception
Logique mathématique
Calcul des prédicats
Bases de données -- Interrogation
Représentation des connaissances
Logique informatique
Métalangage
Déduction (logique)
Raisonnement
Inférence
Bases de données réparties
Calcul des situations
Frame problem
Théories avec égalité