Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models. - Ai, Lun; Muggleton, Stephen H.; Liang, Shi-Shun; Baldwin, Geoff S. (Machine Learning, 2025)