Automated Biodesign Engineering by Abductive Meta-Interpretive Learning. - Wang-Zhou Dai; Liam Hallett; Stephen H. Muggleton; Geoff S. Baldwin (CoRR, 2021)

Human Comprehensible Active Learning of Genome-Scale Metabolic Networks. - Lun Ai 001; Shi-Shun Liang; Wang-Zhou Dai; Liam Hallett; Stephen H. Muggleton; Geoff S. Baldwin (CoRR, 2023)

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

Simulating Petri nets with Boolean Matrix Logic Programming. - Lun Ai 001; Stephen H. Muggleton; Shi-Shun Liang; Geoff S. Baldwin (CoRR, 2024)

Active learning of digenic functions with boolean matrix logic programming. - Lun Ai 001; Stephen H. Muggleton; Shi-Shun Liang; Geoff S. Baldwin (CoRR, 2024)