FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover

Kaliszyk, C., Urban, J.

KALISZYK, C. and J. URBAN. FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover. In: Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings. Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20, Suva, 2015-11-24/2015-11-28. Praha: Bertelsmann Springer CZ, 2015. p. 88-96. LNCS. vol. 9450. ISSN 0302-9743. ISBN 978-3-662-48898-0. DOI 10.1007/978-3-662-48899-7_7.