Le moteur de recherche
des thèses françaises
Laurent Simon
IdRefMots clés
FR |
EN
SAT
Intelligence artificielle
Contraintes (intelligence artificielle)
Programmation par contraintes
Traitement réparti
Solveurs (logiciels)
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
Apprentissage automatique
Réseaux neuronaux (informatique)
Diagnostic