Page personnelle

Thèmes :

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

PPC – Contraintes et SAT

PRH – Planification et Recherche Heuristique

SMA – Systèmes multi-agents, décision collective

Mots-clés :

  • SAT
  • modélisation du raisonnement
  • représentation des connaissances
  • CSP

Modifier vos informations