Kodratoff, Yves
Kodratoff, Yves (1940- ).
VIAF ID: 27083344 ( Personal )
Permalink: http://viaf.org/viaf/27083344
Preferred Forms
- 200 _ | ‡a Kodratoff ‡b Yves
-
-
- 100 1 _ ‡a Kodratoff, Yves
-
-
- 100 1 _ ‡a Kodratoff, Yves
- 100 1 _ ‡a Kodratoff, Yves
- 100 1 _ ‡a Kodratoff, Yves
-
-
-
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
ACQUISITION, CORRECTION AND VALIDATION OF KNOWLEDGE FOR AN EXPERT SYSTEM FOR REPAIRING HELICOPTER BLADES BY MACHINE LEARNING TECHNIQUES. | |
AGAPE and CHARADE : similarity based learning applied to automatic knowledge base acquisition. | |
Amélioration de la programmation logique inductique avec des techniques de satisfaction de contraintes : applications en recherche de motifs relationnels fréquents. | |
Analysis of recursive inferences in PROLOG : system to aid in the detection and the control of loops. | |
Apprentissage artificiel concepts et algorithmes | |
APSYS : automatic analyser of programs by synthesizing their specifications. | |
ARC : DECOUVERTE EMPIRIQUE DE LOIS NUMERIQUES OU ABACUS REVU ET CORRIGE | |
ARC: EMPIRICAL DISCOVERY OF NUMERICAL LAWS OF ABACUS REFINED AND CORRECTED. | |
Automatic program construction techniques, 1984: | |
Base terminologique de l'intelligence artificielle avec une annexe relative à l'IA dans la défense | |
Contribution à l'étude de modèles d'apprentissage en interaction avec un environnement inspirés du comportement humain | |
A Contribution to the study of human behavior inspired learning systems. | |
Control of automated deduction, counter-models construction, and applications in artificia intelligence. | |
Démonstration automatique de théorèmes et systèmes experts : quelques faits élémentaires | |
DISCIPLE : a theory, methodology and system for learning expert knowledge | |
DISCIPLE : une théorie, une méthodologie et un système pour apprendre des connaissances expertes . | |
EQUATOR: A TYPED LOGIC PROGRAMMING LANGUAGE BASED ON EQUATORIAL UNIFICATION. | |
EWSL-91 | |
Extraction de connaissances à partir des données à l'aide des réseaux bayésiens | |
Four Papers on the State of the Art in Machine Learning (2 in English, 2 in French) | |
Généralisation en apprentissage à partir d'exemples | |
Generalization in machine leaving from examples. | |
Incremental learning through dynamic adaptation the influence system. | |
Induction et visualisation interactive pour l'étiquetage morphosyntaxique des corpus de spécialité : application à la biologie moléculaire | |
Induction symbolique et numérique à partir de données | |
Intégration de la construction de la terminologie de domaines spécialisés dans un processus global de fouille de textes | |
Introduction to Machine Learning | |
The itou system : Induction of first order theories. Extensions of inversion of resolution applied to theory completion. | |
Knowledge discovery in databases with bayesian networks | |
Knowledge extraction from numeric data and texts. | |
Labyrinthe de l'intelligence de l'intelligence naturelle à l'intelligence fractale | |
Learning by Observation and Induction the Strategies of Humans Placed in a Problem-Solving Context | |
A learning system in a domain with strong theory : Ogust. | |
Leçons d'apprentissage symbolique automatique | |
Machine and human learning : advances in European research | |
Machine learning : an artificial intelligence approach | |
Machine learning - EWSL-91 : European Working Session on Learning, Porto, Portugal, March 6-8, 1991 : proceedings | |
The magic of Yggdrasill : the poetry of Old Norse unconscious | |
méridiens du Shiatsu trajets et traitement des méridiens selon S. Masunaga | |
Methode de transformation de programmes de Burstall-Darlington appliquee a la programmation logique | |
Une méthode pour le prétraitement des textes : dépendances entre traitements et leur intelligibilité | |
MIRLITHO : validation des résultats et détection des contradictions dans les systèmes de diagnostic | |
Modèles informels qualitatifs en découverte scientifique | |
Nouveau sujet pour la recherche scientifique | |
UN OUTIL GENERIQUE DE CONCEPTION ET DE REVISION COOPERATIVE DE BASES DE CONNAISSANCES S'APPUYANT SUR LA NOTION DE SITUATION | |
Un outil pour la généralisation utilisant systématiquement les théorèmes : le système OGUST | |
Predicate synthesis from formal specifications or using mathematical induction for finding the preconditions of theorems | |
Les principes essentiels d'une méthodologie nouvelle pour la synthèse de programmes à partir de spécifications formelles : CM-construction des formules atomiques | |
Le problème des explications négatives dans les systèmes experts : le système pourquoi-pas ? | |
Program synthesis, what for ? | |
REPLACE : UN MODELE POUR LA RECONNAISSANCE DE PLANS | |
La résolution hiérarchisée, une solution au problème de la négation en programmation logique | |
runes des faits, des légendes et leur magie | |
Simplifying implications in inductive theorem proving : why and how ? | |
Snail : a set-theoretic approach to the integration of types and function in prolog. | |
SNAIL : une approche ensembliste pour l'intégration de types et fonctions en PROLOG | |
Trequasi : an automatic system to transform recursifs prolog programs into iteratifs ones. | |
Use of techniques dependant of artificial intelligence for the complex biographical data processing. | |
Utilisation de techniques relevant de l'intelligence artificielle pour le traitement de données biographiques complexes | |
XPlans : case-based reasoning for plan recognition |