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]
Abstract is missing.