Marta Franová, Yves Kodratoff. Two Examples of Computational Creativity: ILP Multiple Predicate Synthesis and the Assets in Theorem Proving. 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]
@incollection{FranovaK10,
title = {Two Examples of Computational Creativity: ILP Multiple Predicate Synthesis and the Assets in Theorem Proving},
author = {Marta Franová and Yves Kodratoff},
year = {2010},
doi = {10.1007/978-3-642-05179-1_8},
url = {http://dx.doi.org/10.1007/978-3-642-05179-1_8},
tags = {creativity},
researchr = {https://researchr.org/publication/FranovaK10},
cites = {0},
citedby = {0},
pages = {155-173},
booktitle = {Advances in Machine Learning II, Dedicated to the Memory of Professor Ryszard S. Michalski},
editor = {Jacek Koronacki and Zbigniew W. Ras and Slawomir T. Wierzchon and Janusz Kacprzyk},
volume = {263},
series = {Studies in Computational Intelligence},
publisher = {Springer},
isbn = {978-3-642-05178-4},
}