VIAF

Virtual International Authority File

Search

Kodratoff, Yves. Library of Congress/NACO German National Library Sudoc [ABES], France ISNI-test National Library of Australia National Library of the Netherlands-test NUKAT Center of Warsaw University Library National Library of France

VIAF ID: 27083344 (Personal)

Permalink: http://viaf.org/viaf/27083344

ISNI-test: 0000  0001  1610  7185 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (2)

Open Section Close SectionWorks

Title Sources
Apprentissage artificiel concepts et algorithmes Sudoc [ABES], France National Library of France
APSYS : automatic analyser of programs by synthesizing their specifications. Sudoc [ABES], France
ARC : DECOUVERTE EMPIRIQUE DE LOIS NUMERIQUES OU ABACUS REVU ET CORRIGE Sudoc [ABES], France
Automatic program construction techniques, 1984: NUKAT Center of Warsaw University Library National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
Base terminologique de l'intelligence artificielle avec une annexe relative à l'IA dans la défense Sudoc [ABES], France National Library of France
Combining similarity and causality in creative analogy Sudoc [ABES], France
Constructive matching methodology : formally creative or intelligent inductive theorem proving? Sudoc [ABES], France
CONTRIBUTION A L'ETUDE DE MODELES D'APPRENTISSAGE EN INTERACTION AVEC UN ENVIRONNEMENT INSPIRES DU COMPORTEMENT HUMAIN Sudoc [ABES], France
Contribution à l'étude des propriétés oxydo-réductrices d'alumines et de silices-alumines à l'aide de la résonance paramagnétique électronique / Yves Kodratoff ; sous la direction de M. Prettre [thèse], 1967 Sudoc [ABES], France
Démonstration automatique de théorèmes et systèmes experts : quelques faits élémentaires Sudoc [ABES], France
Disciple - 1 : manuel d'utilisation Sudoc [ABES], France
Disciple : an integrated expert and learning system for weak theory domains Sudoc [ABES], France
Disciple : an interative approach to learning apprentice systems Sudoc [ABES], France
DISCIPLE : une théorie, une méthodologie et un système pour apprendre des connaissances expertes . Sudoc [ABES], France
ECAI National Library of the Netherlands-test
ECAI 88 : proceedings of the 8th European Conference on Artificial Intelligence National Library of the Netherlands-test Sudoc [ABES], France
EQUATOR : UN LANGAGE DE PROGRAMMATION LOGIQUE TYPE FONDE SUR L'UNIFICATION EQUATIONNELLE Sudoc [ABES], France
Extraction de connaissances à partir des données à l'aide des réseaux bayésiens Sudoc [ABES], France
Foundations of Intelligent Systems 13th International Symposium, ISMIS 2002 Lyon, France, June 27–29, 2002 Proceedings Sudoc [ABES], France
How to learn it with disciple Sudoc [ABES], France
Improving the tools of symbolic learning Sudoc [ABES], France
Incremental learning through dynamic adaptation the influence system. Sudoc [ABES], France
Induction et visualisation interactive pour l'étiquetage morphosyntaxique des corpus de spécialité application à la biologie moléculaire Sudoc [ABES], France
Induction symbolique et numérique à partir de données Sudoc [ABES], France National Library of France
Intégration de la construction de la terminologie de domaines spécialisés dans un processus global de fouille de textes Sudoc [ABES], France
Intégration des biais de langage à l'algorithme générer-et-tester contributions à l'apprentissage disjonctif Sudoc [ABES], France
Integration of numeric and symbolic techniques in learning. Sudoc [ABES], France
Introduction to machine learning National Library of the Netherlands-test NUKAT Center of Warsaw University Library Sudoc [ABES], France
Is AI a sub-field of computer science? : or AI is the science of explanations Sudoc [ABES], France
Journées "Symbolique-numérique"... / organisées par E. Diday et Y. Kodratoff, 1988. Les méridiens du Shiatsu / Yves Kodratoff, Tilman Gaebler, 1996 Sudoc [ABES], France
KBG : INDUCTION DE BASES DE CONNAISSANCES EN LOGIQUE DES PREDICATS Sudoc [ABES], France
Knowledge extraction from numeric data and texts Sudoc [ABES], France
˜Le œLabyrinthe de l'intelligence de l'intelligence naturelle à l'intelligence fractale Sudoc [ABES], France National Library of France
Learning by Observation and Induction the Strategies of Humans Placed in a Problem-Solving Context Sudoc [ABES], France
Leçons d'apprentissage symbolique automatique National Library of the Netherlands-test xR Extended Titles-test Sudoc [ABES], France National Library of France
Machine and human learning : advances in European research National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
Machine learning : an artificial intelligence approach. Library of Congress/NACO Sudoc [ABES], France National Library of the Netherlands-test NUKAT Center of Warsaw University Library National Library of France
Machine learning--EWSL-91 : proceedings National Library of the Netherlands-test Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France
˜Les œméridiens du Shiatsu trajets et traitement des méridiens selon S. Masunaga Sudoc [ABES], France National Library of France
Methode de transformation de programmes de Burstall-Darlington appliquee a la programmation logique Sudoc [ABES], France
Une méthode pour le prétraitement des textes dépendances entre traitements et leur intelligibilité Sudoc [ABES], France
Modèles informels qualitatifs en découverte scientifique Sudoc [ABES], France
Nouveau sujet pour la recherche scientifique Sudoc [ABES], France
UN OUTIL GENERIQUE DE CONCEPTION ET DE REVISION COOPERATIVE DE BASES DE CONNAISSANCES S'APPUYANT SUR LA NOTION DE SITUATION Sudoc [ABES], France
UN OUTIL POUR LA GENERALISATION UTILISANT SYSTEMATIQUEMENT LES THEOREMES : LE SYSTEME OGUST Sudoc [ABES], France
Outils pour l'apprentissage [colloque], Orsay, 17-18 janvier 1983 Sudoc [ABES], France National Library of France
Predicate synthesis from formal specifications or using mathematical induction for finding the preconditions of theorems Sudoc [ABES], France
Les principes essentiels d'une méthodologie nouvelle pour la synthèse de programmes à partir de spécifications formelles CM-construction des formules atomiques Sudoc [ABES], France
Program synthesis, what for ? Sudoc [ABES], France
LE RAISONNEMENT PAR ANALOGIE, UNE UNIFICATION DES MODELES COGNITIFS ET DES THEORIES DE L'INDUCTION POUR L'ETUDE DU RAISONNEMENT PAR ANALOGIE Sudoc [ABES], France
REPLACE : UN MODELE POUR LA RECONNAISSANCE DE PLANS Sudoc [ABES], France
La résolution hiérarchisée, une solution au problème de la négation en programmation logique Sudoc [ABES], France
Restless Debugging : the key to understanding & learning from texts : a description of the necessary environment Sudoc [ABES], France
Les runes : des faits, des légendes et leur magie Sudoc [ABES], France Library of Congress/NACO National Library of France
SENSIBILITE AU CONTEXTE LORS DE L'EVALUATION DE SIMILARITE EN RAISONNEMENT A PARTIR DE CAS Sudoc [ABES], France
Simplifying implications in inductive theorem proving : why and how ? Sudoc [ABES], France
SNAIL : UNE APPROCHE ENSEMBLISTE POUR L'INTEGRATION DE TYPES ET FONCTIONS EN PROLOG Sudoc [ABES], France
Statistics, machine learning and knowledge discovery in databases : workshop notes, Eighth European conference on Machine Learning, ECML'95, Heraklion, Crete, Greece, 25-27 April, 1995 Sudoc [ABES], France
LE SYSTEME ITOU : INDUCTION DE THEORIES EN ORDRE UN. EXTENSIONS DE L'INVERSION DE LA RESOLUTION APPLIQUEES A LA COMPLETION DE THEORIES Sudoc [ABES], France
TREQUASI : UN SYSTEME POUR LA TRANSFORMATION AUTOMATIQUE DE PROGRAMMES PROLOG RECURSIFS EN QUASI-ITERATIFS Sudoc [ABES], France
XPlans : case-based reasoning for plan recognition Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (5)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section About

Open Section Close Section History of VIAF ID:27083344 (14)