Page personnelle

Samir Ouchani

Matre de Confrence – LINEACT

Thèmes :

RCR – Reprsentation des connaissances et modlisation des raisonnements

IMG – Incertitude, Modles Graphiques, Rseaux Baysiens

PPC – Contraintes et SAT

APP – Apprentissage

PRH – Planification et Recherche Heuristique

SMA – Systmes multi-agents, dcision collective

Mots-clés :

  • SAT
  • Verification

Modifier vos informations