Page personnelle

Tiago De Lima

Matre de Confrence – CRIL, Universite d’Artois

Page personnelle

Thèmes :

RCR – Reprsentation des connaissances et modlisation des raisonnements

PPC – Contraintes et SAT

Mots-clés :

  • logique modale
  • systmes multi-agents

Modifier vos informations