3 papers
q-bio.MN2025
Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models
Lun Ai, Stephen H. Muggleton, Shi-Shun Liang +1
Reasoning about hypotheses and updating knowledge through empirical observations are central to scientific discovery. In this work, we applied logic-based machine learning methods…
cs.AI2024
Active learning of digenic functions with boolean matrix logic programming
Lun Ai, Stephen H. Muggleton, Shi-shun Liang +1
We apply logic-based machine learning techniques to facilitate cellular engineering and drive biological discovery, based on comprehensive databases of metabolic processes called g…
cs.AI2024
Simulating Petri nets with Boolean Matrix Logic Programming
Lun Ai, Stephen H. Muggleton, Shi-Shun Liang +1
Recent attention to relational knowledge bases has sparked a demand for understanding how relations change between entities. Petri nets can represent knowledge structure and dynami…