SIGNALER une erreur


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  Circularity  Circularité  Class taxonomy design  Cognition  Collections  Commande automatique  Complétion  Comportement humain  Conception de taxonomies de classes  Contraintes  Contre-exemple  Cube de Hilbert  Disciple  Dissimilarité entre objets  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  Object dissimilarity  Object-based knowledge representation  Ordinateurs -- Programmation  Perception des images  Programmation automatique  Programmation logique  Programmation orientée objets  Prolog  Prolog  Prétraitement  Recherche documentaire automatisée  Recherche heuristique  Reconnaissance forme  Regroupement logique  Relations  Représentation des connaissances  Représentation des connaissances par objets  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 de systèmes d'équations  Résolution hiérarchisée  Résolution problème  Réécriture, Systèmes de  Snail  Solution of linear equation systems  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  Types  Unification  Étude expérimentale  

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

Une méthode pour le prétraitement des textes : dépendances entre traitements et leur intelligibilité

par Thomas Heitz sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 2008
Thèse soutenue

Learning by Observation and Induction the Strategies of Humans Placed in a Problem-Solving Context

par Mary Felkin sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 2008
Thèse soutenue

Induction et visualisation interactive pour l'étiquetage morphosyntaxique des corpus de spécialité : application à la biologie moléculaire

par Ahmed Charef Eddine Amrani sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 2005
Thèse soutenue

Improving inductive logic programming with constraint satisfaction techniques : applications to frequent query discovery

par Jérôme Maloberti sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 2005
Thèse soutenue

Apprentissage automatique appliqué à l'extraction d'information à partir de textes biologiques

par Mohamed Ould Abdel Vetah sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 2005
Thèse soutenue

Intégration de la construction de la terminologie de domaines spécialisés dans un processus global de fouille de textes

par Mathieu Roche sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 2004
Thèse soutenue

Extraction de connaissances à partir des données à l'aide des réseaux bayésiens

par Mohamed Bendou sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 2003
Thèse soutenue

Extraction de connaissances à partir de données numériques et textuelles

par Jérôme Azé sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 2003
Thèse soutenue

Accéder en ligne

Conception de methode d'apprentissage symbolique et automatique pour l'acquisition de cadres de sous-categorisation de verbes et de connaissances semantiques a partir de textes : le systeme asium

par David Faure sous la direction de Yves Kodratoff - Paris 11

Chimie
Soutenue en 2000
Thèse soutenue

Apprentissage supervisé relationnel par algorithmes d'évolution

par Sébastien Augier sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 2000
Thèse soutenue

Le raisonnement par analogie, une unification des modeles cognitifs et des theories de l'induction pour l'etude du raisonnement par analogie

par JACQUES ALES BIANCHETTI sous la direction de Yves Kodratoff - Paris 11

Chimie
Soutenue en 2000
Thèse soutenue

Intégration des biais de langage à l'algorithme générer-et-tester : contributions à l'apprentissage disjonctif

par Fabien Torre sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 2000
Thèse soutenue

Un outil generique de conception et de revision cooperative de bases de connaissances s'appuyant sur la notion de situation

par LUC POITTEVIN sous la direction de Yves Kodratoff - Paris 11

Sciences et techniques
Soutenue en 1998
Thèse soutenue

Sensibilite au contexte lors de l'evaluation de similarite en raisonnement a partir de cas

par Hervé Mignot sous la direction de Yves Kodratoff - Paris 11

Sciences appliquées
Soutenue en 1997
Thèse soutenue

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

Modèles informels qualitatifs en découverte scientifique

par Adrian Gordon sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 1995
Thèse soutenue

Apprentissage adaptatif et apprentissage supervise par algorithme genetique

par Gilles Venturini sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 1994
Thèse soutenue

Apt, apprentissage interactif de regles de resolution de problemes en presence de theorie du domaine

par Claire Nédellec sous la direction de Yves Kodratoff - Paris 11

Sciences appliquées
Soutenue en 1994
Thèse soutenue

Vérifier, évaluer et réviser des systèmes à base de connaissances : contribution de l'apprentissage automatique

par Hakim Lounis sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 1994
Thèse soutenue

Acquisition, correction et validation des connaissances pour un systeme expert en reparation de pales d'helicopteres par des techndiques d'apprentissage symbolique automatique

par MOUNA EL ATTAR sous la direction de Yves Kodratoff - Paris 11

Sciences appliquées
Soutenue en 1994
Thèse soutenue

Adaptation de l'apprentissage symbolique automatique a la vision par ordinateur

par STEPHANE MOSCATELLI sous la direction de Yves Kodratoff - Paris 11

Sciences appliquées
Soutenue en 1993
Thèse soutenue

Arc : decouverte empirique de lois numeriques ou abacus revu et corrige

par MARJORIE MOULET sous la direction de Yves Kodratoff - Paris 11

Sciences et techniques communes
Soutenue en 1993
Thèse soutenue

Controle de la demonstration automatique de theoremes, construction de contre-modeles et applications en intelligence artificielle

par JOSE DE SIQUEIRA sous la direction de Yves Kodratoff - Paris 11

Sciences appliquées
Soutenue en 1992
Thèse soutenue

Le systeme itou : induction de theories en ordre un. extensions de l'inversion de la resolution appliquees a la completion de theories

par Céline Rouveirol sous la direction de Yves Kodratoff - Paris 11

Sciences appliquées
Soutenue en 1991
Thèse soutenue

Apprentissage a partir d'explications dans une theorie incomplete : completion d'explications partielles

par BEATRICE DUVAL sous la direction de Yves Kodratoff - Paris 11

Sciences appliquées
Soutenue en 1991
Thèse soutenue

Equator : un langage de programmation logique type fonde sur l'unification equationnelle

par THIERRY CONRAD sous la direction de Yves Kodratoff - Paris 11

Sciences appliquées
Soutenue en 1990
Thèse soutenue

Apprentissage par explications d'echecs : theorie et applications

par JEAN-FRANCOIS PUGET sous la direction de Yves Kodratoff - Paris 11

Sciences appliquées
Soutenue en 1990
Thèse soutenue

De l'apprentissage incrémental par adaptation dynamique : le système Influence

par Antoine Cornuéjols sous la direction de Yves Kodratoff - Paris 11

Sciences appliquées. Informatique
Soutenue en 1989
Thèse soutenue

Apprentissage incrémental par analogie : le système OGUST⁺

par Cheng-Ren Lu sous la direction de Yves Kodratoff - Paris 11

Sciences appliquées
Soutenue en 1989
Thèse soutenue

Les principes essentiels d'une méthodologie nouvelle pour la synthèse de programmes à partir de spécifications formelles : CM-construction des formules atomiques

par Marta Franova sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 1988
Thèse soutenue

Disciple : a theory, methodology and system for learning expert knowledge

par Gheorghe Tecuci sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 1988
Thèse soutenue

La résolution hiérarchisée, une solution au problème de la négation en programmation logique

par Alonso Marquez sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 1988
Thèse soutenue

Apsys : analyseur automatique de programmes par synthèse de leurs spécifications

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

Informatique
Soutenue en 1988
Thèse soutenue

Intégration de techniques numériques et symboliques en apprentissage automatique

par Michel Manago sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 1988
Thèse soutenue

Apprentissage symbolique automatique en reconnaissance d'images

par René Natowicz sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 1987
Thèse soutenue

Snail : une approche ensembliste pour l'intégration de types et fonctions en PROLOG

par Jean-Yves Cras sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 1987
Thèse soutenue

Contribution à l'étude de modèles d'apprentissage en interaction avec un environnement inspirés du comportement humain

par Alain Grumbach sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 1987
Thèse soutenue

Un outil pour la généralisation utilisant systématiquement les théorèmes : le système OGUST

par Christel Vrain sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 1987
Thèse soutenue

Analyse des inférences récursives en PROLOG : système d'aide à la détection et au contrôle de boucles

par Sophie Pelhat sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 1987
Thèse soutenue

AGAPE et CHARADE : deux techniques d'apprentissage symbolique appliquées à la construction de bases de connaissances

par Jean-Gabriel Ganascia sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 1987
Thèse soutenue

Trequasi : un système pour la transformation automatique de programmes PROLOG récursifs en quasi-itératifs

par Nadia Azibi sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 1987
Thèse soutenue

Généralisation en apprentissage à partir d'exemples

par Toni Bollinger sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 1986
Thèse soutenue

Synthèse de programmes à partir de spécifications

par Hervé Perdrix sous la direction de Yves Kodratoff - Paris 11

Informatique
Soutenue en 1985
Thèse soutenue


Yves Kodratoff a été rapporteur des 2 thèses suivantes :

Construction automatique de taxonomies pour l'aide à la représentation de connaissances par objets

par Petko Valtchev sous la direction de Jérôme Euzenat - Université Joseph Fourier (Grenoble ; 1971-2015)

Informatique
Soutenue en 1999
Thèse soutenue

Le problème des explications négatives dans les systèmes experts : le système pourquoi-pas ?

par Brigitte Safar sous la direction de Marie-Odile Cordier - Paris 11

Informatique
Soutenue en 1987
Thèse soutenue


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

Utilisation de techniques relevant de l'intelligence artificielle pour le traitement de données biographiques complexes

par Gian Piero Zarri sous la direction de Daniel Kayser - Paris 11

Sciences informatiques
Soutenue en 1985
Thèse soutenue

ABES
A propos | Assistance | CGU | Données personnelles | Mentions légales | Accessibilité numérique