Page personnelle

Quentin Cohen-Solal

Doctorant – GREYC CNRS UMR 6072

Thèmes :

RCR – Reprsentation des connaissances et modlisation des raisonnements

PPC – Contraintes et SAT

Mots-clés :

  • Raisonnements sur le temps et l’espace
  • Raisonnements multi-chelles
  • Raisonnements qualitatifs
  • Combinaisons de formalismes
  • Satisfaction jointe

Modifier vos informations