Joao Marques-Silva
Mots clés
FR |
EN
Intelligence Artificielle
Représentation des Connaissances
Raisonnement Automatique
Contraintes Booléennes
Représentation des connaissances
Programmation par contraintes
Réseaux booléens
Hypertension
Systèmes multi-Agents
Apprentissage automatique
Systèmes experts
Apprentissage profond
Traitement réparti
Argumentation
Dossiers médicaux
Intelligence artificielle
Médecine personnalisée
Réseaux de neurones
Sûreté
Méthodes formelles