Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Yves Kodratoff

dblp:k/YKodratoff · DBLP profile ↗
← Back
27ranked-venue papers
14as first author
0since 2021 · last 2009
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 22 · 11 first-authorGraphics, computer vision, multimedia, augmented reality and games · 10 · 4 first-authorDatabases, data management, data science and information retrieval · 5 · 2 first-authorSoftware engineering, systems software and programming languages · 1Human-computer interaction and ubiquitous computing · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Artificial intelligence
9 papers
Knowledge representation and reasoning · 69% Planning, search and constraint satisfaction · 24% Learning theory · 5%
Theoretical computer science
6 papers
Mathematical optimization · 57% Automated reasoning and model checking · 36% Logic in computer science · 4%
Software engineering, system software, and programming languages
2 papers
Compilers and program optimization · 55% Programming languages and type systems · 27% Program synthesis and code generation · 18%

Topics — the 20 heaviest of 24, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Knowledge representation and reasoning › logic programming › inductive logic programming
first-order rule learning
0.011995
Learning First Order Logic Rules with a Genetic Algorithm · KDD 1995
Knowledge, reasoning and agents › Knowledge representation and reasoning › logic programming
inductive logic programming
0.011995
Learning First Order Logic Rules with a Genetic Algorithm · KDD 1995
Mathematical optimization › multi-objective optimization
evolutionary algorithm
0.011995
Learning First Order Logic Rules with a Genetic Algorithm · KDD 1995
Mathematical optimization › evolutionary computation
genetic algorithm
0.011995
Learning First Order Logic Rules with a Genetic Algorithm · KDD 1995
Automated reasoning and model checking
theorem proving
0.021991
Solving "How to Clear a Block" with Constructive Matching Methodology · IJCAI 1991
Trivializing the Proof of Trivial Theorems · IJCAI 1983
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › classical planning
blocks world
0.011991
Solving "How to Clear a Block" with Constructive Matching Methodology · IJCAI 1991
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
classical planning
0.011991
Solving "How to Clear a Block" with Constructive Matching Methodology · IJCAI 1991
Knowledge, reasoning and agents › Knowledge representation and reasoning › analogical reasoning
analogical problem solving
0.011990
Using Abductive Recovery of Failed Proofs for Problem Solving by Analogy · ML 1990
Automated reasoning and model checking › theorem proving › interactive theorem proving
proof repair
0.011990
Using Abductive Recovery of Failed Proofs for Problem Solving by Analogy · ML 1990
Knowledge, reasoning and agents › Knowledge representation and reasoning › domain knowledge
domain theory
0.011989
Multi-Strategy Learning in Nonhomongeneous Domain Theories · ML 1989
Knowledge, reasoning and agents › Knowledge representation and reasoning
concept learning
0.011988
Learning Based on Conceptual Distance · IEEE Trans. Pattern Anal. Mach. Intell. 1988
Knowledge, reasoning and agents › Knowledge representation and reasoning
knowledge acquisition
0.011987
Noise and Knowledge Acquisition · IJCAI 1987
Programming languages and type systems › programming paradigms
nonprocedural language
0.011982
Some Techniques for Recursion Removal from Recursive Programs · ACM Trans. Program. Lang. Syst. 1982
Compilers and program optimization
program transformation
0.011982
Some Techniques for Recursion Removal from Recursive Programs · ACM Trans. Program. Lang. Syst. 1982
Compilers and program optimization › program transformation
recursion removal
0.011982
Some Techniques for Recursion Removal from Recursive Programs · ACM Trans. Program. Lang. Syst. 1982
Knowledge, reasoning and agents › Knowledge representation and reasoning › concept learning
structural description learning
0.011981
Learning (Complex) Structural Descriptions from Examples · IJCAI 1981
Logic in computer science › logic programming
inductive logic programming
0.011981
Learning (Complex) Structural Descriptions from Examples · IJCAI 1981
Knowledge, reasoning and agents › Knowledge representation and reasoning › concept learning
conceptual clustering
0.011988
Learning Based on Conceptual Distance · IEEE Trans. Pattern Anal. Mach. Intell. 1988
Program synthesis and code generation
programming by example
0.011979
Characterization of a Class of Functions Synthesized from Examples by a SUMMERS Like Method Using a "B.M.W." Matching Technique · IJCAI 1979
Machine learning › Trustworthy machine learning
robustness
0.011987
Noise and Knowledge Acquisition · IJCAI 1987

Methods — techniques the papers use, named apart from their topics

genetic algorithm · 0.0analogy · 0.0abduction · 0.0multi-strategy learning · 0.0domain theory · 0.0symbolic and numerical methods · 0.0hierarchical clustering · 0.0interactive learning · 0.0inductive learning from examples · 0.0proof simplification · 0.0generalization of function definition · 0.0computation trace analysis · 0.0
YearPublicationVenuePosition
2009 On Computational Creativity, 'Inventing' Theorem Proofs
Marta Franová, Yves Kodratoff
ISMIS2
2004 A Semi-automatic System for Tagging Specialized Corpora
Ahmed Amrani, Yves Kodratoff, Oriane Matte-Tailliez
PAKDD2
1999 Knowledge Discovery in Texts: A Definition, and Applications
Yves Kodratoff
ISMIS1
1998 Discovery of Surprising Exception Rules Based on Intensity of Implication
Einoshin Suzuki, Yves Kodratoff
PKDD2
1995 Technical and Scientific Issues of KDD (or: Is KDD a Science?)
Yves Kodratoff
ALT1
1995 Learning First Order Logic Rules with a Genetic Algorithm
Sébastien Augier, Gilles Venturini, Yves Kodratoff
KDD3
1994 Industrial Applications of ML: Illustrations for the KAML Dilemma and the CBR Dream
Yves Kodratoff
ECML1
1994 Machine Learning for Object Recognition and Scene Analysis
abstract
Learning is a critical research field for autonomous computer vision systems. It can bring solutions to the knowledge acquisition bottleneck of image understanding systems. Recent developments of machine learning for computer vision are reported in this paper. We describe several different approaches for learning at different levels of the image understanding process, including learning 2-D shape models, learning strategic knowledge for optimizing model matching, learning for adaptive target recognition systems, knowledge acquisition of constraint rules for labelling and automatic parameter optimization for vision systems. Each approach will be commented on and its strong and weak points will be underlined. In conclusion we will suggest what could be the “ideal” learning system for vision.
Yves Kodratoff, Stéphane Moscatelli
Int. J. Pattern Recognit. Artif. Intell.1
1993 Constructive Matching Methodology: Formally Creative or Intelligent Inductive Theorem Proving?
Marta Franová, Yves Kodratoff, Martine Gross
ISMIS2
1992 Predicate Synthesis from Formal Specifications
Marta Franová, Yves Kodratoff
ECAI2
1992 Recent Advances in Machine Learning
abstract
Inference is a very general reasoning process that allows us to draw consequences from some body of knowledge. Machine learning (ML) uses the three kinds of possible inferences, deductive, inductive, and analogical. We describe here different methods, using these inferences, that have been created during the last decade to improve the way machines can learn. We have already presented the most classical approaches in a book (Kodratoff, 1988), and in several review papers (Kodratoff, 1989, 1990a, 1992). These results will be described here very briefly, in order to leave room for newer results. We include also genetic algorithms as an induction technique. We restrict our presentation to the symbolic aspects of connectionism. A learning system can also be viewed as a mechanism skimming interesting knowledge out of the flow of information that runs through it. We present several existing learning systems from this point of view.
Yves Kodratoff
Int. J. Pattern Recognit. Artif. Intell.1
1992 The Epistemology of Conceptual Clustering: KBG, an Implementation
Yves Kodratoff, Gilles Bisson
J. Intell. Inf. Syst.1
1991 Solving "How to Clear a Block" with Constructive Matching Methodology
Marta Franová, Yves Kodratoff
IJCAI2
1990 Combining Similarity and Causality in Creative Analogy
Yves Kodratoff
ECAI1
1990 Using Abductive Recovery of Failed Proofs for Problem Solving by Analogy
Yves Kodratoff
ML1
1989 Multi-Strategy Learning in Nonhomongeneous Domain Theories
Gheorghe Tecuci, Yves Kodratoff
ML2
1988 Learning Based on Conceptual Distance
abstract
An approach to concept learning from examples and concept learning by observation is presented that is based on a intuitive notion of conceptual distance between examples (concepts) and combines symbolical and numerical methods. The approach is based on the observation that very different examples generalize to an expression that is very far from each of them, while identical examples generalize to themselves. Following this idea the authors propose some domain-independent and intuitively justified estimates for the conceptual distance. A hierarchical conceptual clustering algorithm that groups objects so as to maximize the cohesiveness (a reciprocal of the conceptual distance) of the clusters is presented. It is shown that conceptual clustering can improve learning from complex examples describing objects and the relation between them.>
Yves Kodratoff, Gheorghe Tecuci
IEEE Trans. Pattern Anal. Mach. Intell.1
1987 DISCIPLE-1: Interactive Apprentice System in Weak Theory Fields
Yves Kodratoff, Gheorghe Tecuci
IJCAI1
1987 Noise and Knowledge Acquisition
Michel Manago, Yves Kodratoff
IJCAI2
1987 Generalization and Noise
Yves Kodratoff, Michel Manago, Jim Blythe
Int. J. Man Mach. Stud.1
1986 Automated Deduction in an Uncertain and Inconsistent Data Basis
Béatrice Duval, Yves Kodratoff
ECAI2
1986 News and Notes
Yves Kodratoff, Gheorghe Tecuci, Thomas G. Dietterich
Mach. Learn.1
1984 Careful Generalization for Concept Learning
Yves Kodratoff, Jean-Gabriel Ganascia, B. Clavieras, Toni Bollinger, Gheorghe Tecuci
ECAI1
1983 Trivializing the Proof of Trivial Theorems
Yves Kodratoff, Jacqueline Castaing
IJCAI1
1982 Some Techniques for Recursion Removal from Recursive Programs
abstract
RemovalThree different techniques that can be used for recursion removal are described: generalization of the function definition, study of the computation traces of the function, and nonprocedural languages.Despite the existence of implemented versions of these techniques, they are easy to use "by hand" and should therefore be part of every programmer's knowledge.
Jacques J. Arsac, Yves Kodratoff
ACM Trans. Program. Lang. Syst.2
1981 Learning (Complex) Structural Descriptions from Examples
Regine Loisel, Yves Kodratoff
IJCAI2
1979 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
IJCAI2