Geoff S. Baldwin

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Logic Programming

Top Venues

Publications

Lun Ai, Stephen H. Muggleton, Shi-Shun Liang, Geoff S. Baldwin
Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models. CoRR (2024)
Lun Ai, Stephen H. Muggleton, Shi-Shun Liang, Geoff S. Baldwin
Simulating Petri nets with Boolean Matrix Logic Programming. CoRR (2024)
Lun Ai, Shi-Shun Liang, Wang-Zhou Dai, Liam Hallett, Stephen H. Muggleton, Geoff S. Baldwin
Human Comprehensible Active Learning of Genome-Scale Metabolic Networks. CoRR (2023)
Wang-Zhou Dai, Liam Hallett, Stephen H. Muggleton, Geoff S. Baldwin
Automated Biodesign Engineering by Abductive Meta-Interpretive Learning. CoRR (2021)