Christophe Rey
Maître de Conférence – LIMOS UMR 6158
Thèmes :
RCR – Représentation des connaissances et modélisation des raisonnements
PPC – Contraintes et SAT
Mots-clés :
- logique
- bases de données
- logiques de description
- intégration de données
Maître de Conférence – LIMOS UMR 6158
RCR – Représentation des connaissances et modélisation des raisonnements
PPC – Contraintes et SAT