Le moteur de recherche
des thèses françaises
Laurent Simon
IdRefMots clés
FR |
EN
Contraintes (intelligence artificielle)
Solveurs (logiciels)
SAT
Intelligence artificielle
Programmation par contraintes
Traitement réparti
Apprentissage automatique
Solveur SAT
Diagnostic distribué à base de cohérence
Logique propositionnelle
Raisonnement distribué respectant la confidentialité
Décomposition arborescente distribuée
Représentation des connaissances
Intelligence Artificielle
Raisonnement automatique
Logiques Modales
Clauses
Nogoods
Hybridation
Réseaux neuronaux (informatique)