Yves Kodratoff

Proceedings of the Advances in Machine Learning II, 2010

2009

Text and Web Mining Approaches in Order to Build Specialized Ontologies.

[BibT_eX]

[DOI]

J. Digit. Inf., 2009

On Computational Creativity, 'Inventing' Theorem Proofs.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 18th International Symposium, 2009

Defining a problem-solving and human-like strategy for a robot.

[BibT_eX]

[DOI]

Mary Felkin

Proceedings of the Extraction et gestion des connaissances (EGC'2009), 2009

La "créativité calculatoire" et les heuristiques créatives en synthèse de prédicats multiples.

[BibT_eX]

[DOI]

Proceedings of the Extraction et gestion des connaissances (EGC'2009), 2009

CorTag.

[BibT_eX]

[DOI]

Lise Fontaine

Proceedings of the Information Retrieval in Biomedicine, 2009

2007

Human Heuristics for a Team of Mobile Robots.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Research, 2007

2006

Pruning Terminology Extracted from a Specialized Corpus for CV Ontology Acquisition.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

Choix du taux d'élagage pour l'extraction de la terminologie. Une approche fondée sur les courbes ROC.

[BibT_eX]

[DOI]

Proceedings of the Extraction et gestion des connaissances (EGC'2006), 2006

Combinaison de l'approche inductive (progressive) et linguistique pour l'étiquetage morphosyntaxique des corpus de spécialité.

[BibT_eX]

[DOI]

Proceedings of the Extraction et gestion des connaissances (EGC'2006), 2006

2005

Preference Learning in Terminology Extraction: A ROC-based approach

[BibT_eX]

[DOI]

CoRR, 2005

Induction de règles de correction pour l'étiquetage morphosyntaxique de la littérature de biologie en utilisant l'apprentissage actif.

[BibT_eX]

[DOI]

Proceedings of the Actes de la 12ème conférence sur le Traitement Automatique des Langues Naturelles. Articles courts, 2005

Extraction de termes centrée autour de l'expert.

[BibT_eX]

[DOI]

Thomas Heitz

Proceedings of the Extraction et gestion des connaissances (EGC'2005), 2005

Logiciel d'aide à l'étiquetage morpho-syntaxique de textes de spécialité.

[BibT_eX]

[DOI]

Proceedings of the Extraction et gestion des connaissances (EGC'2005), 2005

Inductive Improvement of Part-of-Speech Tagging and Its Effect on a Terminology of Molecular Biology.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2005

2004

From the Texts to the Contexts They Contain: A Chain of Linguistic Treatments.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Text REtrieval Conference, 2004

Learning Interestingness Measures in Terminology Extraction. A ROC-based approach.

[BibT_eX]

Proceedings of the ROC Analysis in Artificial Intelligence, 1st International Workshop, 2004

A Semi-automatic System for Tagging Specialized Corpora.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2004

Etude de mesures de qualité pour classer les termes extraits de corpus spécialisés.

[BibT_eX]

Proceedings of the Actes du XXIIème Congrès INFORSID, Biarritz, France, 25-28 mai, 2004, 2004

Learning to Order Terms: Supervised Interestingness Measures in Terminology Extraction

[BibT_eX]

Proceedings of the International Conference on Computational Intelligence, 2004

Mining texts by association rules discovery in a technical corpus.

[BibT_eX]

Proceedings of the Intelligent Information Processing and Web Mining, 2004

EXIT: Extraction itérative de la terminologie.

[BibT_eX]

[DOI]

Thomas Heitz

Proceedings of the Extraction et gestion des connaissances (EGC'2004), 2004

Induction extensionnelle : définition et application à l'acquisition de concepts à partir de textes.

[BibT_eX]

[DOI]

Proceedings of the Extraction et gestion des connaissances (EGC'2004), 2004

ETIQ, un étiqueteur inductif convivial pour les corpus de spécialité.

[BibT_eX]

[DOI]

Proceedings of the Extraction et gestion des connaissances (EGC'2004), 2004

2002

Evaluation de la résistance au bruit de quelques mesures d'extraction de règles d'association.

[BibT_eX]

Proceedings of the Extraction et gestion des connaissances (EGC'2002), 2002

2001

Applications de l'apprentissage automatique et de la fouille de données.

[BibT_eX]

Proceedings of the Extraction et gestion des connaissances (EGC'2001), 2001

Finding Associations between Concepts in an Unstructured Corpus of Texts (invited Address).

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Database and Expert Systems Applications (DEXA 2001), 2001

Comparing Machine Learning and Knowledge Discovery in DataBases: An Application to Knowledge Discovery in Texts.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Its Applications, Advanced Lectures, 2001

1999

Knowledge Discovery in Texts: A Definition, and Applications.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 11th International Symposium, 1999

1998

Discovery of Surprising Exception Rules Based on Intensity of Implication.

[BibT_eX]

[DOI]

Einoshin Suzuki

Proceedings of the Principles of Data Mining and Knowledge Discovery, 1998

1997

Intelligent Adaptive Agents: A Highlight of the Field and the AAAI-96 Workshop.

[BibT_eX]

[DOI]

Ibrahim F. Imam

AI Mag., 1997

1995

Learning First Order Logic Rules with a Genetic Algorithm.

[BibT_eX]

[DOI]

Sébastien Augier

Gilles Venturini

Proceedings of the First International Conference on Knowledge Discovery and Data Mining (KDD-95), 1995

Technical and Scientific Issues of KDD (or: Is KDD a Science?).

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Learning Theory, 6th International Conference, 1995

1994

Machine Learning for Object Recognition and Scene Analysis.

[BibT_eX]

[DOI]

Stéphane Moscatelli

Int. J. Pattern Recognit. Artif. Intell., 1994

Can machine learning solve my problem?

[BibT_eX]

[DOI]

Vassilis Moustakis

Nicolas Graner

Appl. Artif. Intell., 1994

XPLANS: Case-based reasoning for plan recognition.

[BibT_eX]

[DOI]

Michel Baré

Dolores Cañamero

Jean-François Delannoy

Appl. Artif. Intell., 1994

Industrial Applications of ML: Illustrations for the KAML Dilemma and the CBR Dream.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning: ECML-94, 1994

1993

Acquiring first-order knowledge about air traffic control.

[BibT_eX]

[DOI]

Christel Vrain

Knowl. Acquis., 1993

Constructive Matching Methodology: Formally Creative or Intelligent Inductive Theorem Proving?

[BibT_eX]

[DOI]

Martine Gross

Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993

1992

The Epistemology of Conceptual Clustering: KBG, an Implementation.

[BibT_eX]

[DOI]

Gilles Bisson

J. Intell. Inf. Syst., 1992

Recent Advances in Machine Learning.

[BibT_eX]

[DOI]

Int. J. Pattern Recognit. Artif. Intell., 1992

Machine Learning and Knowledge Acquisition, Summary of Research Contributions Presented at IJCAI'91.

[BibT_eX]

[DOI]

Francesco Bergadano

Katharina Morik

AI Commun., 1992

Predicate Synthesis from Formal Specifications.

[BibT_eX]

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

Advanced Machine Learning Techniques for Computer Vision.

[BibT_eX]

[DOI]

Stéphane Moscatelli

Proceedings of the Advanced Topics in Artificial Intelligence, 1992

1991

Predicate Synthesis from Formal Specifications: Using Mathematical Induction for Finding the Preconditions of Theorems.

[BibT_eX]

[DOI]

Proceedings of the Nonmonotonic and Inductive Logic, 1991

Solving "How to Clear a Block" with Constructive Matching Methodology.

[BibT_eX]

[DOI]

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

Panel: Four Stances on Knowledge Acquisition and Machine Learning.

[BibT_eX]

[DOI]

Thomas R. Addis

Ramón López de Mántaras

Katharina Morik

Enric Plaza

Proceedings of the Machine Learning, 1991

Induction of Decision Trees from Complex Structured Data.

[BibT_eX]

Proceedings of the Knowledge Discovery in Databases, 1991

1990

Seven Hard Problems in Symbolic Background Knowledge Acquisition.

[BibT_eX]

[DOI]

Proceedings of the Aspects and Prospects of Theoretical Computer Science, 1990

Logic Programming and Program Synthesis.

[BibT_eX]

Derek Partridge

Proceedings of the First International Conference on Systems Integration, 1990

Using Abductive Recovery of Failed Proofs for Problem Solving by Analogy.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning, 1990

Combining Similarity and Causality in Creative Analogy.

[BibT_eX]

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1989

The AI Approach to ML and Enlarging the "ES Certification Bottleneck".

[BibT_eX]

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

Multi-Strategy Learning in Nonhomongeneous Domain Theories.

[BibT_eX]

Proceedings of the Sixth International Workshop on Machine Learning (ML 1989), 1989

Why and How Program Synthesis?

[BibT_eX]

[DOI]

Derek Partridge

Proceedings of the Analogical and Inductive Inference, 1989

1988

Learning Based on Conceptual Distance.

[BibT_eX]

[DOI]

IEEE Trans. Pattern Anal. Mach. Intell., 1988

Response time.

[BibT_eX]

[DOI]

John A. Campbell

Artif. Intell. Rev., 1988

1987

Generalization and Noise.

[BibT_eX]

[DOI]

Jim Blythe

Int. J. Man Mach. Stud., 1987

Synthesis of Specifications from Programs.

[BibT_eX]

[DOI]

Nadya Tareb

Proceedings of the 3. Österreichische Artificial Intelligence-Tagung, 1987

The Use of Analogy in Incremental SBL.

[BibT_eX]

[DOI]

Christel Vrain

Proceedings of the Knowledge Representation and Organization in Machine Learning [Workshop, 1987

The Central Role of Explannations in DISCIPLE.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Representation and Organization in Machine Learning [Workshop, 1987

Synthèse de spécifications à partir de programmes.

[BibT_eX]

Nadya Tareb

Proceedings of the SPLT'87, 1987

Noise and Knowledge Acquisition.

[BibT_eX]

[DOI]

Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

DISCIPLE-1: Interactive Apprentice System in Weak Theory Fields.

[BibT_eX]

[DOI]

Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

Model Driven Learning of Disjunctive Concepts.

[BibT_eX]

Proceedings of the Progress in Machine Learning, 1987

Is AI a Sub-Field of Computer Science - or is AI the Science of Explanations?

[BibT_eX]

Proceedings of the Progress in Machine Learning, 1987

1986

News and Notes.

[BibT_eX]

Thomas G. Dietterich

Mach. Learn., 1986

Learning Expert Knowledge and Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, 1986

Méthode de transformation de programmes de Burstall-Darlington appliquée à la programmation logique.

[BibT_eX]

N. Azibi

Ernesto Jorge Costa

Proceedings of the SPLT'86, 1986

Machine Learning (Panel).

[BibT_eX]

Proceedings of the Information Processing 86, 1986

Automated Deduction in an Uncertain and Inconsistent Data Basis.

[BibT_eX]

Béatrice Duval

Proceedings of the Advances in Artificial Intelligence II, 1986

1984

Using Structural Matching for Generalizing Examples.

[BibT_eX]

[DOI]

Jean-Gabriel Ganascia

Toni Bollinger

Proceedings of the GWAI-84, 1984

Logique et apprentissage.

[BibT_eX]

B. Clavieras

Proceedings of the SPLT'84, 1984

Careful Generalization for Concept Learning.

[BibT_eX]

Jean-Gabriel Ganascia

B. Clavieras

Toni Bollinger

Proceedings of the Advances in Artificial Intelligence, 1984

1983

Trivializing the Proof of Trivial Theorems.

[BibT_eX]

[DOI]

Jacqueline Castaing

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982

Some Techniques for Recursion Removal from Recursive Programs.

[BibT_eX]

[DOI]

Jacques J. Arsac

ACM Trans. Program. Lang. Syst., 1982

1981

Learning (Complex) Structural Descriptions from Examples.

[BibT_eX]

[DOI]

Regine Loisel

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1979

A class of functions synthesized from a finite number of examples and a lisp program scheme.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 1979

Characterization of a Class of Functions Synthesized from Examples by a SUMMERS Like Method Using a "B.M.W." Matching Technique.

[BibT_eX]

Jean-Pierre Jouannaud

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1978

A sane Algorithme for the Synthesis of LISP Functions from Example Problems: The "Boyer and Moore Algorithm".

[BibT_eX]

Jean Fargues

Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978

1976

Une Heuristique pour le Calcul de l'Indice de Transitivité d'un Tournoi.

[BibT_eX]

[DOI]

Jean-Claude Bermond