Acquisition des connaissances  Agape  Agent virtuel  Algorithme génétique  Algorithme réparti  Algorithme évolutionniste  Algorithmes génétiques  Analogie  Analyse de programmes  Analyse de texte  Analyse des données  Analyse donnée  Analyseur automatique  Appariement structurel  Apprentissage  Apprentissage artificiel  Apprentissage automatique  Apprentissage empirique  Apprentissage incrémental à partir d'exemples  Apprentissage par analogie  Apprentissage par imitation  Apprentissage supervisé  Apprentissage supervisé  Apprentissage à partir d'exemples  Apprentissage à partir d'explications  Apsys  Architecture cognitive  Bruit  Calcul des prédicats  Calcul symbolique  Charade  Chaînage-avant  Cognition  Commande automatique  Complétion  Comportement humain  Contraintes  Contre-exemple  Cube de Hilbert  Disciple  Domaine à théorie forte  Explication du raisonnement  Explication négative  Exploration de données  Extension  Filtrage de phrases  Fouille de textes  Gestion des connaissances -- Logiciels  Graphe semi-orienté  Généralisation  Généralité d'une description  H-CogAff  Heuristiques  Incomplétude, Théorèmes d'  Induction  Inférence  Ingénierie du langage  InteRRaP  Intelligence artificielle -- Applications en éducation  Intelligence artificielle  Intelligence artificielle répartie  Langage programmation  Langages de programmation  Langages de programmation logique  Logique du premier ordre  Logique inductive  Logique ordre 1  Logique ordre  Mesures de qualité  Mesures statistiques  Mise en correspondance structurelle  Modélisation  Négation en programme logique  Ordinateurs -- Programmation  Perception des images  Programmation automatique  Programmation logique  Prolog  Prolog  Prétraitement  Recherche documentaire automatisée  Recherche heuristique  Reconnaissance forme  Regroupement logique  Retour Arrière  Robotique autonome  Règle inférence  Règles d'association  Règles de production  Réduction de clause  Réseau neural  Résolution hiérarchisée  Résolution problème  Réécriture, Systèmes de  Snail  Spécification  Synthèse de spécifications  Systèmes dynamiques  Systèmes experts  Sémantique opérationnelle  Theta-subsomption  Traitement automatique de la langue naturelle  Traitement automatique du langage naturel  Traitements récursifs  Transition de phase  Treillis booléens  Trequasi  Typage  Unification  Étude expérimentale  

Yves Kodratoff a dirigé les 44 thèses suivantes :

Replace : un modele pour la reconnaissance de plans

par DOLORES CANAMERO MATESANZ sous la direction de Yves Kodratoff - Paris 11

Sciences appliquées
Soutenue en 1995
Thèse soutenue

Sciences appliquées
Soutenue en 1993
Thèse soutenue

Sciences et techniques communes
Soutenue en 1993
Thèse soutenue

Sciences appliquées
Soutenue en 1993
Thèse soutenue

Sciences appliquées
Soutenue en 1990
Thèse soutenue

Sciences appliquées
Soutenue en 1990
Thèse soutenue

Apsys

par Nadya Tareb sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 1988
Thèse soutenue


Yves Kodratoff a été rapporteur de la thèse suivante :


Yves Kodratoff a été membre de jury de la thèse suivante :