| 2009 | ISMIS | On Computational Creativity, 'Inventing' Theorem Proofs. | Marta Franov, Yves Kodratoff |
| 2005 | AI | 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 |
| 2004 | PAKDD | A Semi-automatic System for Tagging Specialized Corpora. | Ahmed Amrani, Yves Kodratoff, Oriane Matte-Tailliez |
| 1999 | ISMIS | Knowledge Discovery in Texts: A Definition, and Applications. | Yves Kodratoff |
| 1995 | ALT | Technical and Scientific Issues of KDD (or: Is KDD a Science?). | Yves Kodratoff |
| 1995 | KDD | Learning First Order Logic Rules with a Genetic Algorithm. | Sbastien Augier, Gilles Venturini, Yves Kodratoff |
| 1993 | ISMIS | Constructive Matching Methodology: Formally Creative or Intelligent Inductive Theorem Proving? | Marta Franov, Yves Kodratoff, Martine Gross |
| 1992 | ECAI | Predicate Synthesis from Formal Specifications. | Marta Franov, Yves Kodratoff |
| 1991 | IJCAI | Solving "How to Clear a Block" with Constructive Matching Methodology. | Marta Franov, Yves Kodratoff |
| 1990 | ECAI | Combining Similarity and Causality in Creative Analogy. | Yves Kodratoff |
| 1990 | ICML | Using Abductive Recovery of Failed Proofs for Problem Solving by Analogy. | Yves Kodratoff |
| 1989 | ICML | Multi-Strategy Learning in Nonhomongeneous Domain Theories. | Gheorghe Tecuci, Yves Kodratoff |
| 1987 | IJCAI | DISCIPLE-1: Interactive Apprentice System in Weak Theory Fields. | Yves Kodratoff, Gheorghe Tecuci |
| 1987 | IJCAI | Noise and Knowledge Acquisition. | Michel Manago, Yves Kodratoff |
| 1986 | ECAI | Automated Deduction in an Uncertain and Inconsistent Data Basis. | Batrice Duval, Yves Kodratoff |
| 1986 | KI | Learning Expert Knowledge and Theorem Proving. | Yves Kodratoff |
| 1984 | ECAI | Careful Generalization for Concept Learning. | Yves Kodratoff, Jean-Gabriel Ganascia, B. Clavieras, Toni Bollinger, Gheorghe Tecuci |
| 1984 | KI | Using Structural Matching for Generalizing Examples. | Yves Kodratoff, Jean-Gabriel Ganascia, Toni Bollinger |
| 1983 | IJCAI | Trivializing the Proof of Trivial Theorems. | Yves Kodratoff, Jacqueline Castaing |
| 1981 | IJCAI | Learning (Complex) Structural Descriptions from Examples. | Regine Loisel, Yves Kodratoff |
| 1979 | IJCAI | 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 |
| 1978 | ECAI | A sane Algorithme for the Synthesis of LISP Functions from Example Problems: The "Boyer and Moore Algorithm". | Yves Kodratoff, Jean Fargues |