Yves Kodratoff - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 79 from 79

2010

Two Examples of Computational Creativity: ILP Multiple Predicate Synthesis and the Assets in Theorem ProvingMarta FranovÃ¡, Yves Kodratoff. In Jacek Koronacki, Zbigniew W. Ras, Slawomir T. Wierzchon, Janusz Kacprzyk, editors, Advances in Machine Learning II, Dedicated to the Memory of Professor Ryszard S. Michalski. Volume 263 of Studies in Computational Intelligence, pages 155-173, Springer, 2010. [doi]

2009

2007

Human Heuristics for a Team of Mobile RobotsCharles Tijus, Elisabetta Zibetti, V. Besson, N. Bredeche, Yves Kodratoff, Mary Felkin, C. Hartland. rivf 2007: 122-129 [doi]

2006

Combinaison de l approche inductive (progressive) et linguistique pour l étiquetage morphosyntaxique des corpus de spécialitéAhmed Amrani, Yves Kodratoff. f-egc 2006: 247-258

Choix du taux d élagage pour l extraction de la terminologie. Une approche fondée sur les courbes ROCMathieu Roche, Yves Kodratoff. f-egc 2006: 205-216

Pruning Terminology Extracted from a Specialized Corpus for CV Ontology AcquisitionMathieu Roche, Yves Kodratoff. otm 2006: 1107-1116 [doi]

2005

2004

ETIQ, un étiqueteur inductif convivial pour les corpus de spécialitéAhmed Amrani, Oriane Matte-Tailliez, Yves Kodratoff. f-egc 2004: 477

A Semi-automatic System for Tagging Specialized CorporaAhmed Amrani, Yves Kodratoff, Oriane Matte-Tailliez. pakdd 2004: 670-681 [doi]

From the Texts to the Contexts They Contain: A Chain of Linguistic TreatmentsAhmed Amrani, Jérôme Azé, Thomas Heitz, Yves Kodratoff, Mathieu Roche. trec 2004: [doi]

Learning to Order Terms: Supervised Interestingness Measures in Terminology ExtractionJérôme Azé, Mathieu Roche, Yves Kodratoff, Michèle Sebag. ijit 2004: 478-481

Induction extensionnelle : définition et application à l acquisition de concepts à partir de textesYves Kodratoff. f-egc 2004: 247-252

Etude de mesures de qualité pour classer les termes extraits de corpus spécialisésMathieu Roche, Oriane Matte-Tailliez, Yves Kodratoff. inforsid 2004: 371-386

Learning Interestingness Measures in Terminology Extraction. A ROC-based approachMathieu Roche, Jérôme Azé, Yves Kodratoff, Michèle Sebag. rocai 2004: 81-88

EXIT: Extraction itérative de la terminologieMathieu Roche, Thomas Heitz, Oriane Matte-Tailliez, Yves Kodratoff. f-egc 2004: 478

Mining texts by association rules discovery in a technical corpusMathieu Roche, Jérôme Azé, Oriane Matte-Tailliez, Yves Kodratoff. iiswc 2004: 89-98

2002

Evaluation de la résistance au bruit de quelques mesures d extraction de règles d associationJérôme Azé, Yves Kodratoff. f-egc 2002: 143-154

2001

Finding Associations between Concepts in an Unstructured Corpus of Texts (invited Address)Yves Kodratoff. dexaw 2001: 265-269

Applications de l apprentissage automatique et de la fouille de donnéesYves Kodratoff. f-egc 2001: 57-68

Comparing Machine Learning and Knowledge Discovery in DataBases: An Application to Knowledge Discovery in TextsYves Kodratoff. ac 2001: 1-21 [doi]

1999

Knowledge Discovery in Texts: A Definition, and ApplicationsYves Kodratoff. ismis 1999: 16-29

1998

Discovery of Surprising Exception Rules Based on Intensity of ImplicationEinoshin Suzuki, Yves Kodratoff. pkdd 1998: 10-18

1997

Intelligent Adaptive Agents: A Highlight of the Field and the AAAI-96 WorkshopIbrahim F. Imam, Yves Kodratoff. aim, 18(3):75-80, 1997.

1995

Learning First Order Logic Rules with a Genetic AlgorithmSébastien Augier, Gilles Venturini, Yves Kodratoff. kdd 1995: 21-26

Technical and Scientific Issues of KDD (or: Is KDD a Science?)Yves Kodratoff. alt 1995: 261-265

1994

XPLANS: Case-based reasoning for plan recognitionMichel Barès, Dolores Cañamero, Jean-François Delannoy, Yves Kodratoff. aai, 8(4):617-643, 1994.

Can machine learning solve my problem?Yves Kodratoff, Vassilis Moustakis, Nicolas Graner. aai, 8(1):1-31, 1994.

Machine Learning for Object Recognition and Scene AnalysisYves Kodratoff, Stéphane Moscatelli. ijprai, 8(1):259-304, 1994.

Industrial Applications of ML: Illustrations for the KAML Dilemma and the CBR DreamYves Kodratoff. ecml 1994: 3-19

1993

Constructive Matching Methodology: Formally Creative or Intelligent Inductive Theorem Proving?Marta Franová, Yves Kodratoff, Martine Gross. ismis 1993: 476-485

1992

1991

Panel: Four Stances on Knowledge Acquisition and Machine LearningThomas R. Addis, Yves Kodratoff, Ramon López de Mántaras, Katharina Morik, Enric Plaza. ecml 1991: 514-533

Solving How to Clear a Block with Constructive Matching MethodologyMarta Franová, Yves Kodratoff. IJCAI 1991: 232-239

Predicate Synthesis from Formal Specifications: Using Mathematical Induction for Finding the Preconditions of TheoremsMarta Frañová, Yves Kodratoff. nil 1993: 184-208

Induction of Decision Trees from Complex Structured DataMichel Manago, Yves Kodratoff. In Knowledge Discovery in Databases. pages 289-308, 1991.

1990

Combining Similarity and Causality in Creative AnalogyYves Kodratoff. ecai 1990: 398-403

Seven Hard Problems in Symbolic Background Knowledge AcquisitionYves Kodratoff. imycs 1990: 47-61

Logic Programming and Program SynthesisYves Kodratoff, Marta Frañová, Derek Partridge. saicsit 1990: 346-355

Using Abductive Recovery of Failed Proofs for Problem Solving by AnalogyYves Kodratoff. icml 1990: 295-303

1989

Why and How Program Synthesis?Yves Kodratoff, Marta Franová, Derek Partridge. aii 1989: 45-59

The AI Approach to ML and Enlarging the ES Certification Bottleneck Yves Kodratoff. ifip 1989: 489

Multi-Strategy Learning in Nonhomongeneous Domain TheoriesGheorghe Tecuci, Yves Kodratoff. icml 1989: 14-16

1988

Learning Based on Conceptual DistanceYves Kodratoff, Gheorghe Tecuci. pami, 10(6):897-909, 1988. [doi]

Response timeYves Kodratoff, John A. Campbell. air, 2(1):1-2, 1988. [doi]

1987

The Central Role of Explannations in DISCIPLEYves Kodratoff, Gheorghe Tecuci. kroml 1989: 135-147

Generalization and NoiseYves Kodratoff, Michel Manago, Jim Blythe. ijmms, 27(2):181-204, 1987.

DISCIPLE-1: Interactive Apprentice System in Weak Theory FieldsYves Kodratoff, Gheorghe Tecuci. IJCAI 1987: 271-273

Is AI a Sub-Field of Computer Science - or is AI the Science of Explanations?Yves Kodratoff. ecml 1987: 91-106

Noise and Knowledge AcquisitionMichel Manago, Yves Kodratoff. IJCAI 1987: 348-354

Model Driven Learning of Disjunctive ConceptsMichel Manago, Yves Kodratoff. ecml 1987: 183-198

Synthèse de spécifications à partir de programmesNadya Tareb, Yves Kodratoff. jfplc 1987: 265

Synthesis of Specifications from ProgramsNadya Tareb, Yves Kodratoff. ogai 1987: 157-167

The Use of Analogy in Incremental SBLChristel Vrain, Yves Kodratoff. kroml 1989: 231-246

1986

1984

Logique et apprentissageB. Clavieras, Yves Kodratoff. jfplc 1984:

Careful Generalization for Concept LearningYves Kodratoff, Jean-Gabriel Ganascia, B. Clavieras, Toni Bollinger, Gheorghe Tecuci. ecai 1984: 229-238

Using Structural Matching for Generalizing ExamplesYves Kodratoff, Jean-Gabriel Ganascia, Toni Bollinger. ki 1985: 199-208

1983

Trivializing the Proof of Trivial TheoremsYves Kodratoff, Jacqueline Castaing. IJCAI 1983: 930-932

1982

Some Techniques for Recursion Removal from Recursive ProgramsJacques J. Arsac, Yves Kodratoff. TOPLAS, 4(2):295-322, 1982. [doi]

1981

Learning (Complex) Structural Descriptions from ExamplesRegine Loisel, Yves Kodratoff. IJCAI 1981: 141-143

1979

Characterization of a Class of Functions Synthesized from Examples by a SUMMERS Like Method Using a "B.M.W." Matching TechniqueJean-Pierre Jouannaud, Yves Kodratoff. IJCAI 1979: 440-447

A class of functions synthesized from a finite number of examples and a lisp program schemeYves Kodratoff. ijpp, 8(6):489-521, 1979. [doi]

1978

A sane Algorithme for the Synthesis of LISP Functions from Example Problems: The Boyer and Moore Algorithm Yves Kodratoff, Jean Fargues. ecai 1978: 169-175

1976

Une Heuristique pour le Calcul de l Indice de Transitivité d un TournoiJean-Claude Bermond, Yves Kodratoff. ita, 10(1):83-92, 1976.

Sign in or sign up to see more results.

runs on WebDSL