Ekaterina Komendantskaya. Machine Learning Coalgebraic Proofs. In Stephen H. Muggleton, Hiroaki Watanabe, editors, Latest Advances in Inductive Logic Programming, ILP 2011, Late Breaking Papers, Windsor Great Park, UK, July 31 - August 3, 2011. pages 191-198, Imperial College Press / World Scientific, 2011. [doi]
Abstract is missing.