Yves Kodratoff
Affiliations:- University of Paris-Sud, Laboratory for Computer Science (LRI), France
According to our database1,
Yves Kodratoff
authored at least 81 papers
between 1976 and 2010.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on lri.fr
On csauthors.net:
Bibliography
2010
Two Examples of Computational Creativity: ILP Multiple Predicate Synthesis and the 'Assets' in Theorem Proving.
Proceedings of the Advances in Machine Learning II, 2010
2009
J. Digit. Inf., 2009
Proceedings of the Foundations of Intelligent Systems, 18th International Symposium, 2009
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.
Proceedings of the Extraction et gestion des connaissances (EGC'2009), 2009
2007
Proceedings of the 2007 IEEE International Conference on Research, 2007
2006
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.
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é.
Proceedings of the Extraction et gestion des connaissances (EGC'2006), 2006
2005
Induction de règles de correction pour l'étiquetage morphosyntaxique de la littérature de biologie en utilisant l'apprentissage actif.
Proceedings of the Actes de la 12ème conférence sur le Traitement Automatique des Langues Naturelles. Articles courts, 2005
Proceedings of the Extraction et gestion des connaissances (EGC'2005), 2005
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.
Proceedings of the Advances in Artificial Intelligence, 2005
2004
Proceedings of the Thirteenth Text REtrieval Conference, 2004
Learning Interestingness Measures in Terminology Extraction. A ROC-based approach.
Proceedings of the ROC Analysis in Artificial Intelligence, 1st International Workshop, 2004
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.
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
Proceedings of the International Conference on Computational Intelligence, 2004
Mining texts by association rules discovery in a technical corpus.
Proceedings of the Intelligent Information Processing and Web Mining, 2004
Proceedings of the Extraction et gestion des connaissances (EGC'2004), 2004
Induction extensionnelle : définition et application à l'acquisition de concepts à partir de textes.
Proceedings of the Extraction et gestion des connaissances (EGC'2004), 2004
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.
Proceedings of the Extraction et gestion des connaissances (EGC'2002), 2002
2001
Applications de l'apprentissage automatique et de la fouille de données.
Proceedings of the Extraction et gestion des connaissances (EGC'2001), 2001
Finding Associations between Concepts in an Unstructured Corpus of Texts (invited Address).
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.
Proceedings of the Machine Learning and Its Applications, Advanced Lectures, 2001
1999
Proceedings of the Foundations of Intelligent Systems, 11th International Symposium, 1999
1998
Proceedings of the Principles of Data Mining and Knowledge Discovery, 1998
1997
AI Mag., 1997
1995
Proceedings of the First International Conference on Knowledge Discovery and Data Mining (KDD-95), 1995
Proceedings of the Algorithmic Learning Theory, 6th International Conference, 1995
1994
Int. J. Pattern Recognit. Artif. Intell., 1994
Proceedings of the Machine Learning: ECML-94, 1994
1993
Constructive Matching Methodology: Formally Creative or Intelligent Inductive Theorem Proving?
Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993
1992
J. Intell. Inf. Syst., 1992
Machine Learning and Knowledge Acquisition, Summary of Research Contributions Presented at IJCAI'91.
AI Commun., 1992
Predicate Synthesis from Formal Specifications.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992
Proceedings of the Advanced Topics in Artificial Intelligence, 1992
1991
Predicate Synthesis from Formal Specifications: Using Mathematical Induction for Finding the Preconditions of Theorems.
Proceedings of the Nonmonotonic and Inductive Logic, 1991
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991
Proceedings of the Machine Learning, 1991
Induction of Decision Trees from Complex Structured Data.
Proceedings of the Knowledge Discovery in Databases, 1991
1990
Proceedings of the Aspects and Prospects of Theoretical Computer Science, 1990
Logic Programming and Program Synthesis.
Proceedings of the First International Conference on Systems Integration, 1990
Proceedings of the Machine Learning, 1990
Combining Similarity and Causality in Creative Analogy.
Proceedings of the 9th European Conference on Artificial Intelligence, 1990
1989
The AI Approach to ML and Enlarging the "ES Certification Bottleneck".
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.
Proceedings of the Sixth International Workshop on Machine Learning (ML 1989), 1989
Proceedings of the Analogical and Inductive Inference, 1989
1988
1987
Proceedings of the 3. Österreichische Artificial Intelligence-Tagung, 1987
Proceedings of the Knowledge Representation and Organization in Machine Learning [Workshop, 1987
Proceedings of the Knowledge Representation and Organization in Machine Learning [Workshop, 1987
Synthèse de spécifications à partir de programmes.
Proceedings of the SPLT'87, 1987
Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987
Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987
Model Driven Learning of Disjunctive Concepts.
Proceedings of the Progress in Machine Learning, 1987
Is AI a Sub-Field of Computer Science - or is AI the Science of Explanations?
Proceedings of the Progress in Machine Learning, 1987
1986
News and Notes.
Mach. Learn., 1986
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.
Proceedings of the SPLT'86, 1986
Machine Learning (Panel).
Proceedings of the Information Processing 86, 1986
Automated Deduction in an Uncertain and Inconsistent Data Basis.
Proceedings of the Advances in Artificial Intelligence II, 1986
1984
Proceedings of the GWAI-84, 1984
Logique et apprentissage.
Proceedings of the SPLT'84, 1984
Careful Generalization for Concept Learning.
Proceedings of the Advances in Artificial Intelligence, 1984
1983
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983
1982
ACM Trans. Program. Lang. Syst., 1982
1981
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.
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.
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".
Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978
1976
RAIRO Theor. Informatics Appl., 1976