Une Heuristique pour le Calcul de l'Indice de Transitivité d'un Tournoi. - Jean-Claude Bermond; Yves Kodratoff (RAIRO Theor. Informatics Appl., 1976)

A sane Algorithme for the Synthesis of LISP Functions from Example Problems: The "Boyer and Moore Algorithm". - Yves Kodratoff; Jean Fargues (AISB/GI (ECAI), 1978)

Characterization of a Class of Functions Synthesized from Examples by a SUMMERS Like Method Using a "B.M.W." Matching Technique. - Jean-Pierre Jouannaud; Yves Kodratoff (IJCAI, 1979)

A class of functions synthesized from a finite number of examples and a lisp program scheme. - Yves Kodratoff (Int. J. Parallel Program., 1979)

Learning (Complex) Structural Descriptions from Examples. - Regine Loisel; Yves Kodratoff (IJCAI, 1981)

Some Techniques for Recursion Removal from Recursive Programs. - Jacques J. Arsac; Yves Kodratoff (ACM Trans. Program. Lang. Syst., 1982)

Trivializing the Proof of Trivial Theorems. - Yves Kodratoff; Jacqueline Castaing (IJCAI, 1983)

Careful Generalization for Concept Learning. - Yves Kodratoff; Jean-Gabriel Ganascia; B. Clavieras; Toni Bollinger; Gheorghe Tecuci (ECAI, 1984)

Logique et apprentissage. - B. Clavieras; Yves Kodratoff (SPLT, 1984)

Using Structural Matching for Generalizing Examples. - Yves Kodratoff; Jean-Gabriel Ganascia; Toni Bollinger (GWAI, 1984)

Automated Deduction in an Uncertain and Inconsistent Data Basis. - Béatrice Duval; Yves Kodratoff (ECAI, 1986)

Machine Learning (Panel). - Yves Kodratoff (IFIP Congress, 1986)

Méthode de transformation de programmes de Burstall-Darlington appliquée à la programmation logique. - N. Azibi; Yves Kodratoff; Ernesto Jorge Costa (SPLT, 1986)

Learning Expert Knowledge and Theorem Proving. - Yves Kodratoff (GWAI, 1986)

News and Notes. - Yves Kodratoff; Gheorghe Tecuci; Thomas G. Dietterich (Mach. Learn., 1986)

Is AI a Sub-Field of Computer Science - or is AI the Science of Explanations? - Yves Kodratoff (EWSL, 1987)

Model Driven Learning of Disjunctive Concepts. - Michel Manago; Yves Kodratoff (EWSL, 1987)

DISCIPLE-1: Interactive Apprentice System in Weak Theory Fields. - Yves Kodratoff; Gheorghe Tecuci (IJCAI, 1987)

Noise and Knowledge Acquisition. - Michel Manago; Yves Kodratoff (IJCAI, 1987)

Synthèse de spécifications à partir de programmes. - Nadya Tareb; Yves Kodratoff (SPLT, 1987)

The Central Role of Explannations in DISCIPLE. - Yves Kodratoff; Gheorghe Tecuci (Knowledge Representation and Organization in Machine Learning, 1987)

The Use of Analogy in Incremental SBL. - Christel Vrain; Yves Kodratoff (Knowledge Representation and Organization in Machine Learning, 1987)

Synthesis of Specifications from Programs. - Nadya Tareb; Yves Kodratoff (ÖGAI, 1987)

Generalization and Noise. - Yves Kodratoff; Michel Manago; Jim Blythe (Int. J. Man Mach. Stud., 1987)

Response time. - Yves Kodratoff; John A. Campbell (Artif. Intell. Rev., 1988)

Learning Based on Conceptual Distance. - Yves Kodratoff; Gheorghe Tecuci (IEEE Trans. Pattern Anal. Mach. Intell., 1988)

Why and How Program Synthesis? - Yves Kodratoff; Marta Franová; Derek Partridge (AII, 1989)

Multi-Strategy Learning in Nonhomongeneous Domain Theories. - Gheorghe Tecuci; Yves Kodratoff (ML, 1989)

The AI Approach to ML and Enlarging the "ES Certification Bottleneck". - Yves Kodratoff (IFIP Congress, 1989)

Combining Similarity and Causality in Creative Analogy. - Yves Kodratoff (ECAI, 1990)

Using Abductive Recovery of Failed Proofs for Problem Solving by Analogy. - Yves Kodratoff (ML, 1990)

Logic Programming and Program Synthesis. - Yves Kodratoff; Marta Franová; Derek Partridge (ICSI, 1990)

Seven Hard Problems in Symbolic Background Knowledge Acquisition. - Yves Kodratoff (IMYCS, 1990)

Induction of Decision Trees from Complex Structured Data. - Michel Manago; Yves Kodratoff (Knowledge Discovery in Databases, 1991)

Panel: Four Stances on Knowledge Acquisition and Machine Learning. - Thomas R. Addis; Yves Kodratoff; Ramón López de Mántaras; Katharina Morik; Enric Plaza (EWSL, 1991)

Solving "How to Clear a Block" with Constructive Matching Methodology. - Marta Franová; Yves Kodratoff (IJCAI, 1991)

Predicate Synthesis from Formal Specifications: Using Mathematical Induction for Finding the Preconditions of Theorems. - Marta Franová; Yves Kodratoff (Nonmonotonic and Inductive Logic, 1991)

Advanced Machine Learning Techniques for Computer Vision. - Stéphane Moscatelli; Yves Kodratoff (Advanced Topics in Artificial Intelligence, 1992)

Predicate Synthesis from Formal Specifications. - Marta Franová; Yves Kodratoff (ECAI, 1992)

Machine Learning and Knowledge Acquisition, Summary of Research Contributions Presented at IJCAI'91. - Francesco Bergadano; Yves Kodratoff; Katharina Morik (AI Commun., 1992)

Recent Advances in Machine Learning. - Yves Kodratoff (Int. J. Pattern Recognit. Artif. Intell., 1992)

The Epistemology of Conceptual Clustering: KBG, an Implementation. - Yves Kodratoff; Gilles Bisson (J. Intell. Inf. Syst., 1992)

Constructive Matching Methodology: Formally Creative or Intelligent Inductive Theorem Proving? - Marta Franová; Yves Kodratoff; Martine Gross (ISMIS, 1993)

Acquiring first-order knowledge about air traffic control. - Yves Kodratoff; Christel Vrain (Knowl. Acquis., 1993)

Industrial Applications of ML: Illustrations for the KAML Dilemma and the CBR Dream. - Yves Kodratoff (ECML, 1994)

XPLANS: Case-based reasoning for plan recognition. - Michel Baré; Dolores Cañamero; Jean-François Delannoy; Yves Kodratoff (Appl. Artif. Intell., 1994)

Can machine learning solve my problem? - Yves Kodratoff; Vassilis Moustakis; Nicolas Graner (Appl. Artif. Intell., 1994)

Machine Learning for Object Recognition and Scene Analysis. - Yves Kodratoff; Stéphane Moscatelli (Int. J. Pattern Recognit. Artif. Intell., 1994)

Technical and Scientific Issues of KDD (or: Is KDD a Science?). - Yves Kodratoff (ALT, 1995)

Learning First Order Logic Rules with a Genetic Algorithm. - Sébastien Augier; Gilles Venturini; Yves Kodratoff (KDD, 1995)

Intelligent Adaptive Agents: A Highlight of the Field and the AAAI-96 Workshop. - Ibrahim F. Imam; Yves Kodratoff (AI Mag., 1997)

Discovery of Surprising Exception Rules Based on Intensity of Implication. - Einoshin Suzuki; Yves Kodratoff (PKDD, 1998)

Knowledge Discovery in Texts: A Definition, and Applications. - Yves Kodratoff (ISMIS, 1999)

Comparing Machine Learning and Knowledge Discovery in DataBases: An Application to Knowledge Discovery in Texts. - Yves Kodratoff (Machine Learning and Its Applications, 2001)

Finding Associations between Concepts in an Unstructured Corpus of Texts (invited Address). - Yves Kodratoff (DEXA Workshop, 2001)

Applications de l'apprentissage automatique et de la fouille de données. - Yves Kodratoff (EGC, 2001)

Evaluation de la résistance au bruit de quelques mesures d'extraction de règles d'association. - Jérôme Azé; Yves Kodratoff (EGC, 2002)

ETIQ, un étiqueteur inductif convivial pour les corpus de spécialité. - Ahmed Amrani; Oriane Matte-Tailliez; Yves Kodratoff (EGC, 2004)

Induction extensionnelle : définition et application à l'acquisition de concepts à partir de textes. - Yves Kodratoff (EGC, 2004)

EXIT: Extraction itérative de la terminologie. - Mathieu Roche; Thomas Heitz; Oriane Matte-Tailliez; Yves Kodratoff (EGC, 2004)

Mining texts by association rules discovery in a technical corpus. - Mathieu Roche; Jérôme Azé; Oriane Matte-Tailliez; Yves Kodratoff (Intelligent Information Systems, 2004)

Learning to Order Terms: Supervised Interestingness Measures in Terminology Extraction - Jérôme Azé; Mathieu Roche; Yves Kodratoff; Michèle Sebag (International Conference on Computational Intelligence, 2004)

Etude de mesures de qualité pour classer les termes extraits de corpus spécialisés. - Mathieu Roche; Oriane Matte-Tailliez; Yves Kodratoff (INFORSID, 2004)

A Semi-automatic System for Tagging Specialized Corpora. - Ahmed Amrani; Yves Kodratoff; Oriane Matte-Tailliez (PAKDD, 2004)

Learning Interestingness Measures in Terminology Extraction. A ROC-based approach. - Mathieu Roche; Jérôme Azé; Yves Kodratoff; Michèle Sebag (ROCAI, 2004)

From the Texts to the Contexts They Contain: A Chain of Linguistic Treatments. - Ahmed Amrani; Jérôme Azé; Thomas Heitz; Yves Kodratoff; Mathieu Roche (TREC, 2004)

Inductive Improvement of Part-of-Speech Tagging and Its Effect on a Terminology of Molecular Biology. - Ahmed Amrani; Mathieu Roche; Yves Kodratoff; Oriane Matte-Tailliez (Canadian AI, 2005)

Logiciel d'aide à l'étiquetage morpho-syntaxique de textes de spécialité. - Ahmed Amrani; Jérôme Azé; Yves Kodratoff (EGC, 2005)

Extraction de termes centrée autour de l'expert. - Thomas Heitz; Mathieu Roche; Yves Kodratoff (EGC, 2005)

Induction de règles de correction pour l'étiquetage morphosyntaxique de la littérature de biologie en utilisant l'apprentissage actif. - Ahmed Amrani; Yves Kodratoff; Oriane Matte-Tailliez (TALN (Articles courts), 2005)

Preference Learning in Terminology Extraction: A ROC-based approach - Jérôme Azé; Mathieu Roche; Yves Kodratoff; Michèle Sebag (CoRR, 2005)

Combinaison de l'approche inductive (progressive) et linguistique pour l'étiquetage morphosyntaxique des corpus de spécialité. - Ahmed Amrani; Yves Kodratoff (EGC, 2006)

Choix du taux d'élagage pour l'extraction de la terminologie. Une approche fondée sur les courbes ROC. - Mathieu Roche; Yves Kodratoff (EGC, 2006)

Pruning Terminology Extracted from a Specialized Corpus for CV Ontology Acquisition. - Mathieu Roche; Yves Kodratoff (OTM Workshops (2), 2006)

Human Heuristics for a Team of Mobile Robots. - Charles Tijus; Elisabetta Zibetti; Vincent Besson; Nicolas Bredèche; Yves Kodratoff; Mary Felkin; Cédric Hartland (RIVF, 2007)

CorTag. - Yves Kodratoff; Jérôme Azé; Lise Fontaine (Information Retrieval in Biomedicine, 2009)

La "créativité calculatoire" et les heuristiques créatives en synthèse de prédicats multiples. - Marta Franová; Yves Kodratoff (EGC, 2009)

Defining a problem-solving and human-like strategy for a robot. - Yves Kodratoff; Mary Felkin (EGC, 2009)

On Computational Creativity, 'Inventing' Theorem Proofs. - Marta Franová; Yves Kodratoff (ISMIS, 2009)

Text and Web Mining Approaches in Order to Build Specialized Ontologies. - Mathieu Roche; Yves Kodratoff (J. Digit. Inf., 2009)

Two Examples of Computational Creativity: ILP Multiple Predicate Synthesis and the 'Assets' in Theorem Proving. - Marta Franová; Yves Kodratoff (Advances in Machine Learning II, 2010)