Mohammed Elaroussi
Post-Doc – LIMOS, UMR CNRS, Clermont Université
Thèmes :
RCR – Représentation des connaissances et modélisation des raisonnements
PPC – Contraintes et SAT
SMA – Systèmes multi-agents, décision collective
Mots-clés :
- Argumentation
- Graph
- Lattice
- complexity
- SAT