Le moteur de recherche
des thèses françaises
Eric Grégoire
IdRefMots clés
FR |
EN
Intelligence artificielle
Contraintes (intelligence artificielle)
Calcul des propositions
Représentation des connaissances
Algorithmes
SAT
Satisfiabilité propositionnelle
Problèmes de satisfaction de contraintes
Résolution parallèle
Hybridation
Logique
Intelligence artificielle symbolique
Représentation des connaissances et des raisonnements
Théories de l'argumentation
Logiques de ressources limitées
Argumentation
Proposition (logique)
Logique propositionnelle
Classes polynomiales
Complexité de calcul (informatique)