Tiago De Lima
Maître de Conférence – CRIL, Universite d’Artois
Thèmes :
RCR – Représentation des connaissances et modélisation des raisonnements
PPC – Contraintes et SAT
Mots-clés :
- logique modale
- systèmes multi-agents
Maître de Conférence – CRIL, Universite d’Artois
RCR – Représentation des connaissances et modélisation des raisonnements
PPC – Contraintes et SAT