José Luis Vilchis Medina
Doctorant – LIF – Marseille
Thèmes :
RCR – Représentation des connaissances et modélisation des raisonnements
PPC – Contraintes et SAT
Mots-clés :
- Logique non-monotone
- Systémes embarqués
- Décision
Doctorant – LIF – Marseille
RCR – Représentation des connaissances et modélisation des raisonnements
PPC – Contraintes et SAT