Title: Intelligence artificielle et informatique théorique
Subjects: Programmation génétique, Algorithme génétique, Réseau neuronal, Apprentissage symbolique, Programmation PROLOG, Programmation SCHEME, Système expert, Programme jeu, Satisfiabilité, Programmation avec contrainte, Théorie complexité, Calculabilité, Logique non classique, Théorie résolution, Machine Turing, Calcul prédicat, Calcul propositionnel, Logique mathématique, Informatique théorique, Intelligence artificielle, Langages formels, Logique symbolique et mathématique, Systèmes experts (informatique), Programmation logique, Réseaux neuronaux (informatique), Informatique
Time periods: 20e s.