researcher / Yves Kodratoff

Yves Kodratoff

at_id:

orcid_id:

Disciplines:

Applied sciences
Chemistry
Common sciences and techniques
Computer sciences
Edit Merge See Links

Directed Thesis:

Learning by Observation and Induction the Strategies of Humans Placed in a Problem-Solving Context
Une méthode pour le prétraitement des textes : dépendances entre traitements et leur intelligibilité
Induction et visualisation interactive pour l'étiquetage morphosyntaxique des corpus de spécialité : application à la biologie moléculaire
Improving inductive logic programming with constraint satisfaction techniques : applications to frequent query discovery
Apprentissage automatique appliqué à l'extraction d'information à partir de textes biologiques
Intégration de la construction de la terminologie de domaines spécialisés dans un processus global de fouille de textes
Extraction de connaissances à partir de données numériques et textuelles
Extraction de connaissances à partir des données à l'aide des réseaux bayésiens
Apprentissage supervisé relationnel par algorithmes d'évolution
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
Le raisonnement par analogie, une unification des modeles cognitifs et des theories de l'induction pour l'etude du raisonnement par analogie
Intégration des biais de langage à l'algorithme générer-et-tester : contributions à l'apprentissage disjonctif
Un outil generique de conception et de revision cooperative de bases de connaissances s'appuyant sur la notion de situation
Sensibilite au contexte lors de l'evaluation de similarite en raisonnement a partir de cas
Modèles informels qualitatifs en découverte scientifique
Replace : un modele pour la reconnaissance de plans
Acquisition, correction et validation des connaissances pour un systeme expert en reparation de pales d'helicopteres par des techndiques d'apprentissage symbolique automatique
Vérifier, évaluer et réviser des systèmes à base de connaissances : contribution de l'apprentissage automatique
Apprentissage adaptatif et apprentissage supervise par algorithme genetique
Apt, apprentissage interactif de regles de resolution de problemes en presence de theorie du domaine
Arc : decouverte empirique de lois numeriques ou abacus revu et corrige
Adaptation de l'apprentissage symbolique automatique a la vision par ordinateur
Controle de la demonstration automatique de theoremes, construction de contre-modeles et applications en intelligence artificielle
Apprentissage a partir d'explications dans une theorie incomplete : completion d'explications partielles
Le systeme itou : induction de theories en ordre un. extensions de l'inversion de la resolution appliquees a la completion de theories
Equator : un langage de programmation logique type fonde sur l'unification equationnelle
Apprentissage par explications d'echecs : theorie et applications
Apprentissage incrémental par analogie : le système OGUST⁺
La résolution hiérarchisée, une solution au problème de la négation en programmation logique
Intégration de techniques numériques et symboliques en apprentissage automatique
Les principes essentiels d'une méthodologie nouvelle pour la synthèse de programmes à partir de spécifications formelles : CM-construction des formules atomiques
Disciple : a theory, methodology and system for learning expert knowledge
Apsys : analyseur automatique de programmes par synthèse de leurs spécifications
Apprentissage symbolique automatique en reconnaissance d'images
Un outil pour la généralisation utilisant systématiquement les théorèmes : le système OGUST
Snail : une approche ensembliste pour l'intégration de types et fonctions en PROLOG
Analyse des inférences récursives en PROLOG : système d'aide à la détection et au contrôle de boucles
Contribution à l'étude de modèles d'apprentissage en interaction avec un environnement inspirés du comportement humain
Trequasi : un système pour la transformation automatique de programmes PROLOG récursifs en quasi-itératifs
AGAPE et CHARADE : deux techniques d'apprentissage symbolique appliquées à la construction de bases de connaissances
Généralisation en apprentissage à partir d'exemples
Synthèse de programmes à partir de spécifications