 | 2010 |
|---|
| 79 |       | Marta Franová,
Yves Kodratoff:
Two Examples of Computational Creativity: ILP Multiple Predicate Synthesis and the 'Assets' in Theorem Proving.
Advances in Machine Learning II 2010: 155-173 |
| 2009 |
|---|
| 78 |  | Marta Franová,
Yves Kodratoff:
La "créativité calculatoire" et les heuristiques créatives en synthèse de prédicats multiples.
EGC 2009: 151-162 |
| 77 | | Yves Kodratoff,
Mary Felkin:
Defining a problem-solving and human-like strategy for a robot.
EGC 2009: 465-466 |
| 76 | | Marta Franová,
Yves Kodratoff:
On Computational Creativity, 'Inventing' Theorem Proofs.
ISMIS 2009: 573-581 |
| 2007 |
|---|
| 75 | | Charles Tijus,
Elisabetta Zibetti,
V. Besson,
Nicolas Bredeche,
Yves Kodratoff,
Mary Felkin,
Cedric Hartland:
Human Heuristics for a Team of Mobile Robots.
RIVF 2007: 122-129 |
| 2006 |
|---|
| 74 | | Mathieu Roche,
Yves Kodratoff:
Choix du taux d'élagage pour l'extraction de la terminologie. Une approche fondée sur les courbes ROC.
EGC 2006: 205-216 |
| 73 | | Ahmed Amrani,
Yves Kodratoff:
Combinaison de l'approche inductive (progressive) et linguistique pour l'étiquetage morphosyntaxique des corpus de spécialité.
EGC 2006: 247-258 |
| 72 | | Mathieu Roche,
Yves Kodratoff:
Pruning Terminology Extracted from a Specialized Corpus for CV Ontology Acquisition.
OTM Workshops (2) 2006: 1107-1116 |
| 2005 |
|---|
| 71 | | Ahmed Amrani,
Mathieu Roche,
Yves Kodratoff,
Oriane Matte-Tailliez:
Inductive Improvement of Part-of-Speech Tagging and Its Effect on a Terminology of Molecular Biology.
Canadian Conference on AI 2005: 366-376 |
| 70 | | Ahmed Amrani,
Jérôme Azé,
Yves Kodratoff:
Logiciel d'aide à l'étiquetage morpho-syntaxique de textes de spécialité.
EGC 2005: 673-678 |
| 69 | | Thomas Heitz,
Mathieu Roche,
Yves Kodratoff:
Extraction de termes centrée autour de l'expert.
EGC 2005: 685-690 |
| 68 | | Jérôme Azé,
Mathieu Roche,
Yves Kodratoff,
Michèle Sebag:
Preference Learning in Terminology Extraction: A ROC-based approach
CoRR abs/cs/0512050: (2005) |
| 2004 |
|---|
| 67 | | Yves Kodratoff:
Induction extensionnelle : définition et application à l'acquisition de concepts à partir de textes.
EGC 2004: 247-252 |
| 66 | | Ahmed Amrani,
Oriane Matte-Tailliez,
Yves Kodratoff:
ETIQ, un étiqueteur inductif convivial pour les corpus de spécialité.
EGC 2004: 477 |
| 65 | | Mathieu Roche,
Thomas Heitz,
Oriane Matte-Tailliez,
Yves Kodratoff:
EXIT: Extraction itérative de la terminologie.
EGC 2004: 478 |
| 64 | | Mathieu Roche,
Oriane Matte-Tailliez,
Yves Kodratoff:
Etude de mesures de qualité pour classer les termes extraits de corpus spécialisés.
INFORSID 2004: 371-386 |
| 63 | | Mathieu Roche,
Jérôme Azé,
Oriane Matte-Tailliez,
Yves Kodratoff:
Mining texts by association rules discovery in a technical corpus.
Intelligent Information Systems 2004: 89-98 |
| 62 | | Jérôme Azé,
Mathieu Roche,
Yves Kodratoff,
Michèle Sebag:
Learning to Order Terms: Supervised Interestingness Measures in Terminology Extraction
International Conference on Computational Intelligence 2004: 478-481 |
| 61 | | Ahmed Amrani,
Yves Kodratoff,
Oriane Matte-Tailliez:
A Semi-automatic System for Tagging Specialized Corpora.
PAKDD 2004: 670-681 |
| 60 | | Mathieu Roche,
Jérôme Azé,
Yves Kodratoff,
Michèle Sebag:
Learning Interestingness Measures in Terminology Extraction. A ROC-based approach.
ROCAI 2004: 81-88 |
| 59 | | Ahmed Amrani,
Jérôme Azé,
Thomas Heitz,
Yves Kodratoff,
Mathieu Roche:
From the Texts to the Contexts They Contain: A Chain of Linguistic Treatments.
TREC 2004 |
| 2003 |
|---|
| 58 | | Mohand-Said Hacid,
Yves Kodratoff,
Danielle Boulanger:
Extraction et gestion des connaissances (EGC'2003), Actes des troisièmes journées Extraction et Gestion des Connaissances, Lyon, France, 22-24 janvier 2003
Hermes Science Publications 2003 |
| 2002 |
|---|
| 57 | | Mohand-Said Hacid,
Zbigniew W. Ras,
Djamel A. Zighed,
Yves Kodratoff:
Foundations of Intelligent Systems, 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002, Proceedings
Springer 2002 |
| 56 | | Jérôme Azé,
Yves Kodratoff:
Evaluation de la résistance au bruit de quelques mesures d'extraction de règles d'association.
EGC 2002: 143-154 |
| 2001 |
|---|
| 55 | | Yves Kodratoff:
Finding Associations between Concepts in an Unstructured Corpus of Texts (invited Address).
DEXA Workshop 2001: 265-269 |
| 54 | | Yves Kodratoff:
Applications de l'apprentissage automatique et de la fouille de données.
EGC 2001: 57-68 |
| 53 | | Yves Kodratoff:
Comparing Machine Learning and Knowledge Discovery in DataBases: An Application to Knowledge Discovery in Texts.
Machine Learning and Its Applications 2001: 1-21 |
| 1999 |
|---|
| 52 | | Ibrahim F. Imam,
Yves Kodratoff,
Ayman El-Dessouki,
Moonis Ali:
Multiple Approaches to Intelligent Systems, 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE-99, Cairo, Egypt, May 31 - June 3, 1999, Proceedings
Springer 1999 |
| 51 | | Yves Kodratoff:
Knowledge Discovery in Texts: A Definition, and Applications.
ISMIS 1999: 16-29 |
| 1998 |
|---|
| 50 | | Einoshin Suzuki,
Yves Kodratoff:
Discovery of Surprising Exception Rules Based on Intensity of Implication.
PKDD 1998: 10-18 |
| 1997 |
|---|
| 49 | | Ibrahim F. Imam,
Yves Kodratoff:
Intelligent Adaptive Agents: A Highlight of the Field and the AAAI-96 Workshop.
AI Magazine 18(3): 75-80 (1997) |
| 1995 |
|---|
| 48 | | Yves Kodratoff:
Technical and Scientific Issues of KDD (or: Is KDD a Science?).
ALT 1995: 261-265 |
| 47 | | Sébastien Augier,
Gilles Venturini,
Yves Kodratoff:
Learning First Order Logic Rules with a Genetic Algorithm.
KDD 1995: 21-26 |
| 1994 |
|---|
| 46 | | Yves Kodratoff:
Industrial Applications of ML: Illustrations for the KAML Dilemma and the CBR Dream.
ECML 1994: 3-19 |
| 45 | | Yves Kodratoff,
Vassilis Moustakis,
Nicolas Graner:
Can machine learning solve my problem?
Applied Artificial Intelligence 8(1): 1-31 (1994) |
| 44 | | Michel Barès,
Dolores Cañamero,
Jean-François Delannoy,
Yves Kodratoff:
XPLANS: Case-based reasoning for plan recognition.
Applied Artificial Intelligence 8(4): 617-643 (1994) |
| 43 | | Yves Kodratoff,
Stéphane Moscatelli:
Machine Learning for Object Recognition and Scene Analysis.
IJPRAI 8(1): 259-304 (1994) |
| 1993 |
|---|
| 42 | | Nathalie Aussenac-Gilles,
Guy A. Boy,
Brian R. Gaines,
Jean-Gabriel Ganascia,
Yves Kodratoff,
Marc Linster:
Knowledge Acquisition for Knowledge-Based Systems, 7th European Workshop, EKAW'93, Toulouse and Caylus, France, September 6-10, 1993, Proceedings
Springer 1993 |
| 41 | | Marta Franová,
Yves Kodratoff,
Martine Gross:
Constructive Matching Methodology: Formally Creative or Intelligent Inductive Theorem Proving?
ISMIS 1993: 476-485 |
| 1992 |
|---|
| 40 | | Stéphane Moscatelli,
Yves Kodratoff:
Advanced Machine Learning Techniques for Computer Vision.
Advanced Topics in Artificial Intelligence 1992: 161-197 |
| 39 | | Marta Franová,
Yves Kodratoff:
Predicate Synthesis from Formal Specifications.
ECAI 1992: 87-91 |
| 38 | | Francesco Bergadano,
Yves Kodratoff,
Katharina Morik:
Machine Learning and Knowledge Acquisition, Summary of Research Contributions Presented at IJCAI'91.
AI Commun. 5(1): 19-24 (1992) |
| 37 | | Yves Kodratoff:
Recent Advances in Machine Learning.
IJPRAI 6(4): 469-511 (1992) |
| 36 | | Yves Kodratoff,
Gilles Bisson:
The Epistemology of Conceptual Clustering: KBG, an Implementation.
J. Intell. Inf. Syst. 1(1): 57-84 (1992) |
| 1991 |
|---|
| 35 | | Yves Kodratoff:
Machine Learning - EWSL-91, European Working Session on Learning, Porto, Portugal, March 6-8, 1991, Proceedings
Springer 1991 |
| 34 | | Thomas R. Addis,
Yves Kodratoff,
Ramon López de Mántaras,
Katharina Morik,
Enric Plaza:
Panel: Four Stances on Knowledge Acquisition and Machine Learning.
EWSL 1991: 514-533 |
| 33 | | Marta Franová,
Yves Kodratoff:
Solving "How to Clear a Block" with Constructive Matching Methodology.
IJCAI 1991: 232-239 |
| 32 | | Marta Franová,
Yves Kodratoff:
Predicate Synthesis from Formal Specifications: Using Mathematical Induction for Finding the Preconditions of Theorems.
Nonmonotonic and Inductive Logic 1991: 184-208 |
| 31 | | Michel Manago,
Yves Kodratoff:
Induction of Decision Trees from Complex Structured Data.
Knowledge Discovery in Databases 1991: 289-308 |
| 1990 |
|---|
| 30 | | Yves Kodratoff:
Combining Similarity and Causality in Creative Analogy.
ECAI 1990: 398-403 |
| 29 | | Yves Kodratoff,
Marta Franová,
Derek Partridge:
Logic Programming and Program Synthesis.
ICSI 1990: 346-355 |
| 28 | | Yves Kodratoff:
Seven Hard Problems in Symbolic Background Knowledge Acquisition.
IMYCS 1990: 47-61 |
| 27 | | Yves Kodratoff:
Using Abductive Recovery of Failed Proofs for Problem Solving by Analogy.
ML 1990: 295-303 |
| 1989 |
|---|
| 26 | | Yves Kodratoff,
Marta Franová,
Derek Partridge:
Why and How Program Synthesis?
AII 1989: 45-59 |
| 25 | | Yves Kodratoff:
The AI Approach to ML and Enlarging the "ES Certification Bottleneck".
IFIP Congress 1989: 489 |
| 24 | | Gheorghe Tecuci,
Yves Kodratoff:
Multi-Strategy Learning in Nonhomongeneous Domain Theories.
ML 1989: 14-16 |
| 1988 |
|---|
| 23 | | Yves Kodratoff,
Gheorghe Tecuci:
Learning Based on Conceptual Distance.
IEEE Trans. Pattern Anal. Mach. Intell. 10(6): 897-909 (1988) |
| 1987 |
|---|
| 22 | | Nadya Tareb,
Yves Kodratoff:
Synthesis of Specifications from Programs.
ÖGAI 1987: 157-167 |
| 21 | | Michel Manago,
Yves Kodratoff:
Model Driven Learning of Disjunctive Concepts.
EWSL 1987: 183-198 |
| 20 | | Yves Kodratoff:
Is AI a Sub-Field of Computer Science - or is AI the Science of Explanations?
EWSL 1987: 91-106 |
| 19 | | Yves Kodratoff,
Gheorghe Tecuci:
DISCIPLE-1: Interactive Apprentice System in Weak Theory Fields.
IJCAI 1987: 271-273 |
| 18 | | Michel Manago,
Yves Kodratoff:
Noise and Knowledge Acquisition.
IJCAI 1987: 348-354 |
| 17 | | Yves Kodratoff,
Gheorghe Tecuci:
The Central Role of Explannations in DISCIPLE.
Knowledge Representation and Organization in Machine Learning 1987: 135-147 |
| 16 | | Christel Vrain,
Yves Kodratoff:
The Use of Analogy in Incremental SBL.
Knowledge Representation and Organization in Machine Learning 1987: 231-246 |
| 15 | | Nadya Tareb,
Yves Kodratoff:
Synthèse de spécifications à partir de programmes.
SPLT 1987: 265- |
| 14 | | Yves Kodratoff,
Michel Manago,
Jim Blythe:
Generalization and Noise.
International Journal of Man-Machine Studies 27(2): 181-204 (1987) |
| 1986 |
|---|
| 13 | | Béatrice Duval,
Yves Kodratoff:
Automated Deduction in an Uncertain and Inconsistent Data Basis.
ECAI 1986: 297-304 |
| 12 | | Yves Kodratoff:
Learning Expert Knowledge and Theorem Proving.
GWAI 1986: 164-179 |
| 11 | | Yves Kodratoff:
Machine Learning (Panel).
IFIP Congress 1986: 839-840 |
| 10 | | N. Azibi,
Yves Kodratoff,
Ernesto Jorge Costa:
Méthode de transformation de programmes de Burstall-Darlington appliquée à la programmation logique.
SPLT 1986: 327-344 |
| 9 | | Yves Kodratoff,
Gheorghe Tecuci,
Thomas G. Dietterich:
News and Notes.
Machine Learning 1(3): 355-358 (1986) |
| 1984 |
|---|
| 8 | | Yves Kodratoff,
Jean-Gabriel Ganascia,
B. Clavieras,
Toni Bollinger,
Gheorghe Tecuci:
Careful Generalization for Concept Learning.
ECAI 1984: 229-238 |
| 7 | | Yves Kodratoff,
Jean-Gabriel Ganascia,
Toni Bollinger:
Using Structural Matching for Generalizing Examples.
GWAI 1984: 199-208 |
| 6 | | B. Clavieras,
Yves Kodratoff:
Logique et apprentissage.
SPLT 1984 |
| 1983 |
|---|
| 5 | | Yves Kodratoff,
Jacqueline Castaing:
Trivializing the Proof of Trivial Theorems.
IJCAI 1983: 930-932 |
| 1982 |
|---|
| 4 | | Jacques J. Arsac,
Yves Kodratoff:
Some Techniques for Recursion Removal from Recursive Programs.
ACM Trans. Program. Lang. Syst. 4(2): 295-322 (1982) |
| 1981 |
|---|
| 3 | | Regine Loisel,
Yves Kodratoff:
Learning (Complex) Structural Descriptions from Examples.
IJCAI 1981: 141-143 |
| 1978 |
|---|
| 2 | | Yves Kodratoff,
Jean Fargues:
A sane Algorithme for the Synthesis of LISP Functions from Example Problems: The ``Boyer and Moore Algorithm''.
AISB/GI (ECAI) 1978: 169-175 |
| 1976 |
|---|
| 1 | | Jean-Claude Bermond,
Yves Kodratoff:
Une Heuristique pour le Calcul de l'Indice de Transitivité d'un Tournoi.
ITA 10(1): 83-92 (1976) |
