{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T01:54:53Z","timestamp":1778550893529,"version":"3.51.4"},"reference-count":76,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100014013","name":"UK Research and Innovation","doi-asserted-by":"publisher","award":["BB\/W013770\/1"],"award-info":[{"award-number":["BB\/W013770\/1"]}],"id":[{"id":"10.13039\/100014013","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100014013","name":"UK Research and Innovation","doi-asserted-by":"publisher","award":["EP\/R022291\/1"],"award-info":[{"award-number":["EP\/R022291\/1"]}],"id":[{"id":"10.13039\/100014013","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Mach Learn"],"published-print":{"date-parts":[[2025,11]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    Reasoning about hypotheses and updating knowledge through empirical observations are central to scientific discovery. In this work, we applied logic-based machine learning methods to drive biological discovery by guiding experimentation. Genome-scale metabolic network models (GEMs) - comprehensive representations of metabolic genes and reactions - are widely used to evaluate genetic engineering of biological systems. However, GEMs often fail to accurately predict the behaviour of genetically engineered cells, primarily due to incomplete annotations of gene interactions. The task of learning the intricate genetic interactions within GEMs presents computational and empirical challenges. To efficiently predict using GEM, we describe a novel approach called Boolean Matrix Logic Programming (BMLP) by leveraging Boolean matrices to evaluate large logic programs. We developed a new system,\n                    <jats:inline-formula>\n                      <jats:tex-math>$$BMLP_{active}$$<\/jats:tex-math>\n                    <\/jats:inline-formula>\n                    , which guides cost-effective experimentation and uses interpretable logic programs to encode a state-of-the-art GEM of a model bacterial organism. Notably,\n                    <jats:inline-formula>\n                      <jats:tex-math>$$BMLP_{active}$$<\/jats:tex-math>\n                    <\/jats:inline-formula>\n                    successfully learned the interaction between a gene pair with fewer training examples than random experimentation, overcoming the increase in experimental design space.\n                    <jats:inline-formula>\n                      <jats:tex-math>$$BMLP_{active}$$<\/jats:tex-math>\n                    <\/jats:inline-formula>\n                    enables rapid optimisation of metabolic models to reliably engineer biological systems for producing useful compounds. It offers a realistic approach to creating a self-driving lab for biological discovery, which would then facilitate microbial engineering for practical applications.\n                  <\/jats:p>","DOI":"10.1007\/s10994-025-06868-0","type":"journal-article","created":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T16:27:04Z","timestamp":1760891224000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models"],"prefix":"10.1007","volume":"114","author":[{"given":"Lun","family":"Ai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen H.","family":"Muggleton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shi-Shun","family":"Liang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Geoff S.","family":"Baldwin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,10,19]]},"reference":[{"key":"6868_CR1","doi-asserted-by":"publisher","first-page":"3591","DOI":"10.1007\/s10994-023-06351-8","volume":"112","author":"L Ai","year":"2023","unstructured":"Ai, L., Langer, J., Muggleton, S. H., & Schmid, U. (2023). Explanatory machine learning for sequential human teaching. Machine Learning, 112, 3591\u20133632.","journal-title":"Machine Learning"},{"key":"6868_CR2","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1007\/s10994-020-05941-0","volume":"110","author":"L Ai","year":"2021","unstructured":"Ai, L., Muggleton, S., Hocquette, C., Gromowski, M., & Schmid, U. (2021). Beneficial and harmful explanatory machine learning. Machine Learning, 110, 695\u2013721.","journal-title":"Machine Learning"},{"key":"6868_CR3","doi-asserted-by":"publisher","DOI":"10.1155\/2019\/8304260","volume":"2019","author":"C Angione","year":"2019","unstructured":"Angione, C. (2019). Human systems biology and metabolic modelling: A review-from disease metabolism to precision medicine. BioMed Research International, 2019, Article e8304260.","journal-title":"BioMed Research International"},{"key":"6868_CR4","doi-asserted-by":"crossref","unstructured":"Angluin, D. (2001). Queries Revisited. In Proceedings of the 12th International Conference on Algorithmic Learning Theory, ALT \u201901, pages 12\u201331, Berlin, Heidelberg. Springer-Verlag.","DOI":"10.1007\/3-540-45583-3_3"},{"issue":"11","key":"6868_CR5","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1073\/pnas.27.11.499","volume":"27","author":"GW Beadle","year":"1941","unstructured":"Beadle, G. W., & Tatum, E. L. (1941). Genetic control of biochemical reactions in neurospora. Proceedings of the National Academy of Sciences, 27(11), 499\u2013506.","journal-title":"Proceedings of the National Academy of Sciences"},{"issue":"12","key":"6868_CR6","doi-asserted-by":"publisher","DOI":"10.15252\/msb.202311566","volume":"19","author":"DB Bernstein","year":"2023","unstructured":"Bernstein, D. B., Akkas, B., Price, M. N., & Arkin, A. P. (2023). Evaluating E. coli genome-scale metabolic model accuracy with high-throughput mutant fitness data. Molecular Systems Biology, 19(12), Article e11566.","journal-title":"Molecular Systems Biology"},{"issue":"6","key":"6868_CR7","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1016\/0020-0190(87)90114-1","volume":"24","author":"A Blumer","year":"1987","unstructured":"Blumer, A., Ehrenfeucht, A., Haussler, D., & Warmuth, M. K. (1987). Occam\u2019s Razor. Information Processing Letters, 24(6), 377\u2013380.","journal-title":"Information Processing Letters"},{"issue":"7992","key":"6868_CR8","doi-asserted-by":"publisher","first-page":"570","DOI":"10.1038\/s41586-023-06792-0","volume":"624","author":"DA Boiko","year":"2023","unstructured":"Boiko, D. A., MacKnight, R., Kline, B., & Gomes, G. (2023). Autonomous chemical research with large language models. Nature, 624(7992), 570\u2013578.","journal-title":"Nature"},{"key":"6868_CR9","unstructured":"Bran, A.\u00a0M., Cox, S., Schilter, O., Baldassari, C., White, A. & Schwaller, P. (2023). Augmenting large language models with chemistry tools. In NeurIPS 2023 AI for Science Workshop."},{"issue":"15","key":"6868_CR10","doi-asserted-by":"publisher","first-page":"3932","DOI":"10.1073\/pnas.1517384113","volume":"113","author":"SL Brunton","year":"2016","unstructured":"Brunton, S. L., Proctor, J. L., & Kutz, J. N. (2016). Discovering governing equations from data by sparse identification of nonlinear dynamical systems. Proceedings of the National Academy of Sciences, 113(15), 3932\u20133937.","journal-title":"Proceedings of the National Academy of Sciences"},{"key":"6868_CR11","unstructured":"Bryant, C. H., Muggleton, S. H., Oliver, S. G., Kell, D., Reiser, P., & King, R. D. (2001). Combining inductive logic programming, active learning and robotics to discover the function of genes. Electronic Transactions in Artificial Intelligence, 1\u201336."},{"issue":"1","key":"6868_CR12","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1109\/69.43410","volume":"1","author":"S Ceri","year":"1989","unstructured":"Ceri, S., Gottlob, G., & Tanca, L. (1989). What you always wanted to know about Datalog (and never dared to ask). IEEE Transactions on Knowledge and Data Engineering, 1(1), 146\u2013166.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"6868_CR13","first-page":"2015","volume":"1\u20138","author":"SY Choi","year":"2015","unstructured":"Choi, S. Y., Yoon, K.-H., Lee, J. I., & Mitchell, R. J. (2015). Violacein: Properties and production of a versatile bacterial pigment. BioMed Research International, 1\u20138, 2015.","journal-title":"BioMed Research International"},{"key":"6868_CR14","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1613\/jair.1.11944","volume":"67","author":"W Cohen","year":"2020","unstructured":"Cohen, W., Yang, F., & Mazaitis, K. R. (2020). TensorLog: A probabilistic database implemented using deep-learning infrastructure. Journal of Artificial Intelligence Research, 67, 285\u2013325.","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"2","key":"6868_CR15","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1023\/A:1022673506211","volume":"15","author":"D Cohn","year":"1994","unstructured":"Cohn, D., Atlas, L., & Ladner, R. (1994). Improving generalization with active learning. Machine Learning, 15(2), 201\u2013221.","journal-title":"Machine Learning"},{"issue":"3","key":"6868_CR16","first-page":"203","volume":"16","author":"D Conklin","year":"1994","unstructured":"Conklin, D., & Witten, I. H. (1994). Complexity-based induction. Machine Learning, 16(3), 203\u2013225.","journal-title":"Machine Learning"},{"issue":"4","key":"6868_CR17","doi-asserted-by":"publisher","first-page":"193","DOI":"10.2307\/2267134","volume":"13","author":"IM Copilowish","year":"1948","unstructured":"Copilowish, I. M. (1948). Matrix development of the calculus of relations. The Journal of Symbolic Logic, 13(4), 193\u2013203.","journal-title":"The Journal of Symbolic Logic"},{"issue":"1","key":"6868_CR18","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/j.cell.2019.01.033","volume":"177","author":"M Costanzo","year":"2019","unstructured":"Costanzo, M., Kuzmin, E., van Leeuwen, J., Mair, B., Moffat, J., Boone, C., & Andrews, B. (2019). Global genetic networks and the genotype-to-phenotype relationship. Cell, 177(1), 85\u2013100.","journal-title":"Cell"},{"issue":"6306","key":"6868_CR19","doi-asserted-by":"publisher","first-page":"aaf1420","DOI":"10.1126\/science.aaf1420","volume":"353","author":"M Costanzo","year":"2016","unstructured":"Costanzo, M., VanderSluis, B., Koch, E. N., et al. (2016). A global genetic interaction network maps a wiring diagram of cellular function. Science, 353(6306), aaf1420.","journal-title":"Science"},{"key":"6868_CR20","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s10994-021-06089-1","volume":"111","author":"A Cropper","year":"2021","unstructured":"Cropper, A., Dumancic, S., Evans, R., & Muggleton, S. H. (2021). Inductive logic programming at 30. Machine Learning, 111, 147\u2013172.","journal-title":"Machine Learning"},{"key":"6868_CR21","doi-asserted-by":"crossref","unstructured":"Dai, W.-Z. & Muggleton, S.\u00a0H. (2021). Abductive Knowledge Induction from Raw Data. In Z.-H. Zhou, editor, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21, pages 1845\u20131851. International Joint Conferences on Artificial Intelligence Organization.","DOI":"10.24963\/ijcai.2021\/254"},{"key":"6868_CR22","unstructured":"Dasgupta, S. (2005). Coarse sample complexity bounds for active learning. In Advances in Neural Information Processing Systems, volume\u00a018. MIT Press."},{"issue":"1","key":"6868_CR23","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10994-015-5494-z","volume":"100","author":"L De Raedt","year":"2015","unstructured":"De Raedt, L., & Kimmig, A. (2015). Probabilistic (logic) programming concepts. Machine Learning, 100(1), 5\u201347.","journal-title":"Machine Learning"},{"issue":"1","key":"6868_CR24","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1186\/1752-0509-7-74","volume":"7","author":"A Ebrahim","year":"2013","unstructured":"Ebrahim, A., Lerman, J. A., Palsson, B. O., & Hyduke, D. R. (2013). COBRApy: COnstraints-based reconstruction and analysis for python. BMC Systems Biology, 7(1), 74.","journal-title":"BMC Systems Biology"},{"key":"6868_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1613\/jair.5714","volume":"61","author":"R Evans","year":"2018","unstructured":"Evans, R., & Grefenstette, E. (2018). Learning explanatory rules from noisy data. Journal of Artificial Intelligence Research, 61, 1\u201364.","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"1","key":"6868_CR26","doi-asserted-by":"publisher","first-page":"4669","DOI":"10.1038\/s41467-023-40380-0","volume":"14","author":"L Faure","year":"2023","unstructured":"Faure, L., Mollet, B., Liebermeister, W., & Faulon, J.-L. (2023). A neural-mechanistic hybrid approach improving the predictive power of genome-scale metabolic models. Nature Communications, 14(1), 4669.","journal-title":"Nature Communications"},{"key":"6868_CR27","doi-asserted-by":"crossref","unstructured":"Fischer, M.\u00a0J. & Meyer, A.\u00a0R. (1971). Boolean matrix multiplication and transitive closure. In 12th Annual Symposium on Switching and Automata Theory (SWAT 1971), 129\u2013131.","DOI":"10.1109\/SWAT.1971.4"},{"key":"6868_CR28","unstructured":"Grefenstette, E. (2013). Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors. In Proceedings of the Second Joint Conference on Lexical and Computational Semantics (SEM), pages 1\u201310."},{"issue":"5","key":"6868_CR29","doi-asserted-by":"publisher","first-page":"eaav6971","DOI":"10.1126\/sciadv.aav6971","volume":"6","author":"R Guimer\u00e0","year":"2020","unstructured":"Guimer\u00e0, R., Reichardt, I., Aguilar-Mogas, A., Massucci, F. A., Miranda, M., Pallar\u00e8s, J., & Sales-Pardo, M. (2020). A Bayesian machine scientist to aid in the solution of challenging scientific problems. Science Advances, 6(5), eaav6971.","journal-title":"Science Advances"},{"issue":"1","key":"6868_CR30","doi-asserted-by":"publisher","first-page":"5252","DOI":"10.1038\/s41467-018-07652-6","volume":"9","author":"D Heckmann","year":"2018","unstructured":"Heckmann, D., Lloyd, C. J., Mih, N., Ha, Y., Zielinski, D. C., Haiman, Z. B., Desouki, A. A., Lercher, M. J., & Palsson, B. O. (2018). Machine learning applied to enzyme turnover numbers reveals protein structural correlates and improves metabolic models. Nature Communications, 9(1), 5252.","journal-title":"Nature Communications"},{"key":"6868_CR31","series-title":"volume 11105","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-319-99960-9_3","volume-title":"Inductive Logic Programming","author":"C Hocquette","year":"2018","unstructured":"Hocquette, C., & Muggleton, S. (2018). How Much Can Experimental Cost Be Reduced in Active Learning of Agent Strategies? volume 11105In F. Riguzzi, E. Bellodi, & R. Zese (Eds.), Inductive Logic Programming (pp. 38\u201353). Cham: Springer International Publishing."},{"key":"6868_CR32","unstructured":"Ioannidis, Y.\u00a0E. (1986). On the Computation of the Transitive Closure of Relational Operators. In Proceedings of the 12th International Conference on Very Large Data Bases, VLDB \u201986, pages 403\u2013411, San Francisco, CA, USA."},{"issue":"5923","key":"6868_CR33","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1126\/science.1165620","volume":"324","author":"RD King","year":"2009","unstructured":"King, R. D., Rowland, J., Oliver, S. G., Young, M., Aubrey, W., Byrne, E., Liakata, M., Markham, M., Pir, P., Soldatova, L. N., Sparkes, A., Whelan, K. E., & Clare, A. (2009). The Automation of Science. Science, 324(5923), 85\u201389.","journal-title":"Science"},{"key":"6868_CR34","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1038\/nature02236","volume":"427","author":"RD King","year":"2004","unstructured":"King, R. D., Whelan, K. E., Jones, F. M., Reiser, P. G. K., Bryant, C. H., Muggleton, S. H., Kell, D. B., & Oliver, S. G. (2004). Functional genomic hypothesis generation and experimentation by a robot scientist. Nature, 427, 247\u2013252.","journal-title":"Nature"},{"issue":"D1","key":"6868_CR35","doi-asserted-by":"publisher","first-page":"D515","DOI":"10.1093\/nar\/gkv1049","volume":"44","author":"ZA King","year":"2016","unstructured":"King, Z. A., Lu, J., Dr\u00e4ger, A., Miller, P., Federowicz, S., Lerman, J. A., Ebrahim, A., Palsson, B. O., & Lewis, N. E. (2016). BiGG Models: A platform for integrating, standardizing and sharing genome-scale models. Nucleic Acids Research, 44(D1), D515\u2013D522.","journal-title":"Nucleic Acids Research"},{"key":"6868_CR36","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1038\/s42254-022-00518-3","volume":"4","author":"M Krenn","year":"2022","unstructured":"Krenn, M., Pollice, R., Guo, S. Y., et al. (2022). On scientific understanding with artificial intelligence. Nature Reviews Physics, 4, 761\u2013769.","journal-title":"Nature Reviews Physics"},{"key":"6868_CR37","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/6090.001.0001","volume-title":"Scientific Discovery: Computational Explorations of the Creative Process","author":"PW Langley","year":"1987","unstructured":"Langley, P. W., Simon, H. A., Bradshaw, G., & Zytkow, J. M. (1987). Scientific Discovery: Computational Explorations of the Creative Process. Cambridge: The MIT Press."},{"issue":"D1","key":"6868_CR38","doi-asserted-by":"publisher","first-page":"D583","DOI":"10.1093\/nar\/gkac831","volume":"51","author":"F Li","year":"2023","unstructured":"Li, F., Chen, Y., Anton, M., & Nielsen, J. (2023). GotEnzymes: an extensive database of enzyme parameter predictions. Nucleic Acids Research, 51(D1), D583\u2013D586.","journal-title":"Nucleic Acids Research"},{"key":"6868_CR39","unstructured":"Lin, F. (2013). From Satisfiability to Linear Algebra. Technical report, Hong Kong University of Science and Technology."},{"key":"6868_CR40","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"2012","unstructured":"Lloyd, J. W. (2012). Foundations of Logic Programming. Berlin: Springer Science and Business Media."},{"issue":"1","key":"6868_CR41","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1186\/1475-2859-11-46","volume":"11","author":"K Mart\u00ednez-G\u00f3mez","year":"2012","unstructured":"Mart\u00ednez-G\u00f3mez, K., Flores, N., Casta\u00f1eda, H. M., Mart\u00ednez-Batallar, G., Hern\u00e1ndez-Ch\u00e1vez, G., Ram\u00edrez, O. T., Gosset, G., Encarnaci\u00f3n, S., & Bolivar, F. (2012). New insights into Escherichia coli metabolism: carbon scavenging, acetate metabolism and carbon recycling responses during growth on glycerol. Microbial Cell Factories, 11(1), 46.","journal-title":"Microbial Cell Factories"},{"key":"6868_CR42","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0004-3702(82)90040-6","volume":"18","author":"TM Mitchell","year":"1982","unstructured":"Mitchell, T. M. (1982). Generalization as search. Artificial Intelligence, 18, 203\u2013226.","journal-title":"Artificial Intelligence"},{"issue":"10","key":"6868_CR43","doi-asserted-by":"publisher","first-page":"904","DOI":"10.1038\/nbt.3956","volume":"35","author":"JM Monk","year":"2017","unstructured":"Monk, J. M., Lloyd, C. J., Brunk, E., Mih, N., Sastry, A., King, Z., Takeuchi, R., Nomura, W., Zhang, Z., Mori, H., Feist, A. M., & Palsson, B. O. (2017). iML1515, a knowledgebase that computes escherichia coli traits. Nature Biotechnology, 35(10), 904\u2013908.","journal-title":"Nature Biotechnology"},{"key":"6868_CR44","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"SH Muggleton","year":"1991","unstructured":"Muggleton, S. H. (1991). Inductive logic programming. New Generation Computing, 8, 295\u2013318.","journal-title":"New Generation Computing"},{"key":"6868_CR45","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"SH Muggleton","year":"1995","unstructured":"Muggleton, S. H. (1995). Inverse entailment and Progol. New Generation Computing, 13, 245\u2013286.","journal-title":"New Generation Computing"},{"issue":"2251","key":"6868_CR46","doi-asserted-by":"publisher","first-page":"20220046","DOI":"10.1098\/rsta.2022.0046","volume":"381","author":"SH Muggleton","year":"2023","unstructured":"Muggleton, S. H. (2023). Hypothesizing an algorithm from one example: the role of specificity. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 381(2251), 20220046.","journal-title":"Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences"},{"key":"6868_CR47","doi-asserted-by":"crossref","unstructured":"Muggleton, S.\u00a0H. & Bryant, C.\u00a0H. (2000). Theory completion using inverse entailment. In Proceedings of the 10th International Workshop on Inductive Logic Programming (ILP-00), 130\u2013146.","DOI":"10.1007\/3-540-44960-4_8"},{"key":"6868_CR48","doi-asserted-by":"publisher","first-page":"1119","DOI":"10.1007\/s10994-018-5707-3","volume":"107","author":"SH Muggleton","year":"2018","unstructured":"Muggleton, S. H., Schmid, U., Zeller, C., Tamaddoni-Nezhad, A., & Besold, T. (2018). Ultra-strong machine learning: Comprehensibility of programs learned with ILP. Machine Learning, 107, 1119\u20131140.","journal-title":"Machine Learning"},{"key":"6868_CR49","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-62927-0","volume-title":"Foundations of Inductive Logic Programming","author":"S Nienhuys-Cheng","year":"1997","unstructured":"Nienhuys-Cheng, S., & Wolf, R. (1997). Foundations of Inductive Logic Programming. New York Inc: Springer-Verlag."},{"issue":"1","key":"6868_CR50","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0210558","volume":"14","author":"T Oyetunde","year":"2019","unstructured":"Oyetunde, T., Liu, D., Martin, H. G., & Tang, Y. J. (2019). Machine learning framework for assessment of microbial factory performance. PLOS ONE, 14(1), Article e0210558.","journal-title":"PLOS ONE"},{"key":"6868_CR51","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139854610","volume-title":"Systems Biology: Constraint-based Reconstruction and Analysis","author":"BO Palsson","year":"2015","unstructured":"Palsson, B. O. (2015). Systems Biology: Constraint-based Reconstruction and Analysis. Cambridge: Cambridge University Press."},{"key":"6868_CR52","volume-title":"Collected Papers of Charles Sanders Peirce","author":"CS Peirce","year":"1932","unstructured":"Peirce, C. S. (1932). Collected Papers of Charles Sanders Peirce. Volumes II: Harvard University Press."},{"key":"6868_CR53","unstructured":"Petersen, B.\u00a0K., Larma, M.\u00a0L., Mundhenk, T.\u00a0N., Santiago, C.\u00a0P., Kim, S.\u00a0K. & Kim, J.\u00a0T. (2020). Deep symbolic regression: Recovering mathematical expressions from data via risk-seeking policy gradients. In Proceedings of the 9th International Conference on Learning Representations."},{"issue":"1","key":"6868_CR54","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pgen.1007147","volume":"14","author":"MN Price","year":"2018","unstructured":"Price, M. N., Zane, G. M., Kuehl, J. V., Melnyk, R. A., Wall, J. D., Deutschbauer, A. M., & Arkin, A. P. (2018). Filling gaps in bacterial amino acid biosynthesis pathways with high-throughput genetics. PLOS Genetics, 14(1), Article e1007147.","journal-title":"PLOS Genetics"},{"key":"6868_CR55","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/j.copbio.2019.11.007","volume":"64","author":"P Rana","year":"2020","unstructured":"Rana, P., Berry, C., Ghosh, P., & Fong, S. S. (2020). Recent advances on constraint-based models by integrating machine learning. Current Opinion in Biotechnology, 64, 85\u201391.","journal-title":"Current Opinion in Biotechnology"},{"key":"6868_CR56","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33278-4","volume-title":"Understanding Petri Nets: Modeling Techniques, Analysis Methods","author":"W Reisig","year":"2013","unstructured":"Reisig, W. (2013). Understanding Petri Nets: Modeling Techniques, Analysis Methods. Berlin, Heidelberg: Springer."},{"issue":"9","key":"6868_CR57","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1038\/s41578-023-00588-4","volume":"8","author":"Z Ren","year":"2023","unstructured":"Ren, Z., Ren, Z., Zhang, Z., Buonassisi, T., & Li, J. (2023). Autonomous experiments using active learning and AI. Nature Reviews Materials, 8(9), 563\u2013564.","journal-title":"Nature Reviews Materials"},{"key":"6868_CR58","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. & Engelfriet, J. (1998). Elementary net systems. In Reisig, W., Rozenberg, G. (eds) Lectures on Petri Nets I: Basic Models. ACPN 1996. Lecture Notes in Computer Science, volume 1491. Springer Berlin Heidelberg.","DOI":"10.1007\/3-540-65306-6_14"},{"key":"6868_CR59","doi-asserted-by":"publisher","first-page":"4626","DOI":"10.1016\/j.csbj.2021.08.004","volume":"19","author":"A Sahu","year":"2021","unstructured":"Sahu, A., Bl\u00e4tke, M.-A., Szyma\u0144ski, J. J., & T\u00f6pfer, N. (2021). Advances in flux balance analysis by integrating machine learning and mechanism-based models. Computational and Structural Biotechnology Journal, 19, 4626\u20134640.","journal-title":"Computational and Structural Biotechnology Journal"},{"issue":"12","key":"6868_CR60","doi-asserted-by":"publisher","first-page":"1133","DOI":"10.1007\/s10472-021-09767-x","volume":"89","author":"C Sakama","year":"2021","unstructured":"Sakama, C., Inoue, K., & Sato, T. (2021). Logic programming in tensor spaces. Annals of Mathematics and Artificial Intelligence, 89(12), 1133\u20131153.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"3","key":"6868_CR61","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1017\/S1471068417000023","volume":"17","author":"T Sato","year":"2017","unstructured":"Sato, T. (2017). A linear algebraic approach to datalog evaluation. Theory and Practice of Logic Programming, 17(3), 244\u2013265.","journal-title":"Theory and Practice of Logic Programming"},{"issue":"8","key":"6868_CR62","doi-asserted-by":"publisher","first-page":"2821","DOI":"10.1007\/s10994-023-06346-5","volume":"112","author":"T Sato","year":"2023","unstructured":"Sato, T., & Inoue, K. (2023). Differentiable learning of matricized DNFs and its application to Boolean networks. Machine Learning, 112(8), 2821\u20132843.","journal-title":"Machine Learning"},{"key":"6868_CR63","doi-asserted-by":"crossref","unstructured":"Sato, T., Inoue, K. & Sakama, C. (2018). Abducing Relations in Continuous Spaces. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 1956\u20131962.","DOI":"10.24963\/ijcai.2018\/270"},{"key":"6868_CR64","doi-asserted-by":"crossref","unstructured":"Sato, T. & Kojima, R. (2021). Boolean Network Learning in Vector Spaces for Genome-wide Network Analysis. In Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning, pages 560\u2013569, Hanoii, Vietnam. International Joint Conferences on Artificial Intelligence Organization.","DOI":"10.24963\/kr.2021\/53"},{"key":"6868_CR65","first-page":"1290","volume-title":"Quantitative prediction of cellular metabolism with constraint-based models: the COBRA Toolbox v2.0. Nature Protocols","author":"J Schellenberger","year":"2011","unstructured":"Schellenberger, J., Que, R., et al. (2011). Quantitative prediction of cellular metabolism with constraint-based models: the COBRA Toolbox v2.0. Nature Protocols (pp. 1290\u20131307). London: Nature Publishing Group."},{"issue":"2","key":"6868_CR66","doi-asserted-by":"publisher","first-page":"1531","DOI":"10.1093\/bib\/bbaa204","volume":"22","author":"P Sen","year":"2021","unstructured":"Sen, P., Lamichhane, S., Mathema, V. B., McGlinchey, A., Dickens, A. M., Khoomrung, S., & Ore\u0161i\u010d, M. (2021). Deep learning meets metabolomics: A methodological perspective. Briefings in Bioinformatics, 22(2), 1531\u20131542.","journal-title":"Briefings in Bioinformatics"},{"key":"6868_CR67","volume-title":"The Mathematical Theory of Communication","author":"C Shannon","year":"1963","unstructured":"Shannon, C., & Weaver, W. (1963). The Mathematical Theory of Communication. Urbana: University of Illinois Press."},{"issue":"2","key":"6868_CR68","doi-asserted-by":"publisher","first-page":"85","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A Tarski","year":"1955","unstructured":"Tarski, A. (1955). A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5(2), 85\u2013309.","journal-title":"Pacific Journal of Mathematics"},{"issue":"1","key":"6868_CR69","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.ecolmodel.2005.10.001","volume":"194","author":"L Todorovski","year":"2006","unstructured":"Todorovski, L., & D\u017eeroski, S. (2006). Integrating knowledge-driven and data-driven approaches to modeling. Ecological Modelling, 194(1), 3\u201313.","journal-title":"Ecological Modelling"},{"key":"6868_CR70","unstructured":"Tosh, C. & Dasgupta, S. (2017). Diameter-Based Active Learning. In Proceedings of the 34th International Conference on Machine Learning, 3444\u20133452. PML."},{"issue":"4","key":"6868_CR71","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"MH Van Emden","year":"1976","unstructured":"Van Emden, M. H., & Kowalski, R. A. (1976). The Semantics of Predicate Logic as a Programming Language. Journal of the ACM, 23(4), 733\u2013742.","journal-title":"Journal of the ACM"},{"issue":"1","key":"6868_CR72","doi-asserted-by":"publisher","first-page":"2475","DOI":"10.1038\/s41467-018-04899-x","volume":"9","author":"T Wang","year":"2018","unstructured":"Wang, T., Guan, C., Guo, J., Liu, B., Wu, Y., Xie, Z., Zhang, C., & Xing, X.-H. (2018). Pooled CRISPR interference screening enables genome-scale functional genomics study in bacteria with superior performance. Nature Communications, 9(1), 2475.","journal-title":"Nature Communications"},{"issue":"4","key":"6868_CR73","doi-asserted-by":"publisher","first-page":"e1004838","DOI":"10.1371\/journal.pcbi.1004838","volume":"12","author":"SG Wu","year":"2016","unstructured":"Wu, S. G., Wang, Y., Jiang, W., Oyetunde, T., Yao, R., Zhang, X., Shimizu, K., Tang, Y. J., & Bao, F. S. (2016). Rapid prediction of bacterial heterotrophic fluxomics using machine learning and constraint programming. PLOS Computational Biology, 12(4), e1004838.","journal-title":"PLOS Computational Biology"},{"key":"6868_CR74","unstructured":"Yang, F., Yang, Z. & Cohen, W.\u00a0W. (2017). Differentiable learning of logical rules for knowledge base reasoning. In Proceedings of the 31st International Conference on Neural Information Processing Systems, NIPS\u201917, pages 2316\u20132325, Red Hook, NY, USA. Curran Associates Inc."},{"issue":"6","key":"6868_CR75","doi-asserted-by":"publisher","first-page":"1649","DOI":"10.1016\/j.cell.2019.04.016","volume":"177","author":"JH Yang","year":"2019","unstructured":"Yang, J. H., Wright, S. N., Hamblin, M., McCloskey, D., Alcantar, M. A., Schr\u00fcbbers, L., Lopatkin, A. J., Satish, S., Nili, A., Palsson, B. O., Walker, G. C., & Collins, J. J. (2019). A white-box machine learning approach for revealing antibiotic mechanisms of action. Cell, 177(6), 1649\u20131661.","journal-title":"Cell"},{"issue":"1","key":"6868_CR76","doi-asserted-by":"publisher","first-page":"3354","DOI":"10.1038\/s41467-019-11331-5","volume":"10","author":"M Zampieri","year":"2019","unstructured":"Zampieri, M., H\u00f6rl, M., Hotz, F., M\u00fcller, N. F., & Sauer, U. (2019). Regulatory mechanisms underlying coordination of amino acid and glucose catabolism in Escherichia coli. Nature Communications, 10(1), 3354.","journal-title":"Nature Communications"}],"container-title":["Machine Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10994-025-06868-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10994-025-06868-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10994-025-06868-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,2]],"date-time":"2025-12-02T16:02:25Z","timestamp":1764691345000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10994-025-06868-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,19]]},"references-count":76,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2025,11]]}},"alternative-id":["6868"],"URL":"https:\/\/doi.org\/10.1007\/s10994-025-06868-0","relation":{},"ISSN":["0885-6125","1573-0565"],"issn-type":[{"value":"0885-6125","type":"print"},{"value":"1573-0565","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,19]]},"assertion":[{"value":"20 May 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 May 2025","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 August 2025","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 October 2025","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no Conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"The datasets used do not contain any personal information or other sensitive content. There are no ethical issues.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}],"article-number":"254"}}