Page personnelle

Nadjib Lazaar

Maître de Conférence – LIRMM

Thèmes :

RCR – Représentation des connaissances et modélisation des raisonnements

PPC – Contraintes et SAT

APP – Apprentissage

Mots-clés :

  • Acquisition de contraintes
  • Fouille déclarative
  • Vérification et Validation

Modifier vos informations