Le moteur de recherche
des thèses françaises
Pierre Siegel
IdRefMots clés
FR |
EN
Intelligence artificielle
Algorithmes
Représentation des connaissances
Calcul des propositions
Contraintes (intelligence artificielle)
Problème SAT
Symétrie locales
Symétries sémantiques
Symétries syntaxiques
Solveurs CDCL
Logiques non monotones
Logiques préférentielles
X-logiques
Logiques des défauts
Fonctions booléennes
Expériences
Contrôle
Sciences -- Méthodologie
Temps réel (informatique)
Sciences -- Expériences