Yves Kodratoff

Available identifiers

zbMath Open kodratoff.yvesMaRDI QIDQ2771687

List of research outcomes

Publication	Date of Publication	Type
Two Examples of Computational Creativity: ILP Multiple Predicate Synthesis and the ‘Assets’ in Theorem Proving	2010-03-23	Paper
Advances in Artificial Intelligence	2005-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q2771688	2002-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q4246877	1999-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q4202919	1993-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q3992805	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q3992831	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q4012198	1992-09-27	Paper
Learning based on conceptual distance	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3780492	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4728284	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3217637	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3313291	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3673082	1983-01-01	Paper
A class of functions synthesized from a finite number of examples and a lisp program scheme	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4184368	1979-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Yves Kodratoff