Nadia Creignou
IdRefMots clés
FR |
EN
Calcul des propositions
Analyse combinatoire énumérative
Complexité algorithmique
Complexité de calcul (informatique)
Algorithmes
Complexité
Théorie des graphes
Post
Schaefer
Classification en complexité
Abduction
Argumentation
Énumération
Représentation des croyances en intelligence artificielle
Révision des croyances
Mise-À-Jour
Contraction
Fragments propositionnels
Horn
Krom