{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T18:34:00Z","timestamp":1763663640586,"version":"3.45.0"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032090867","type":"print"},{"value":"9783032090874","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T00:00:00Z","timestamp":1763683200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T00:00:00Z","timestamp":1763683200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-09087-4_8","type":"book-chapter","created":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T18:21:26Z","timestamp":1763662886000},"page":"117-125","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Active Learning of\u00a0Digenic Functions with\u00a0Boolean Matrix Logic Programming"],"prefix":"10.1007","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,11,21]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Ai, L., Muggleton, S.H., Liang, S.S., Baldwin, G.S.: Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models. arXiv (2024)","DOI":"10.1007\/s10994-025-06868-0"},{"key":"8_CR2","unstructured":"Berge, C.: Hypergraphs: Combinatorics of Finite Sets. North-Holland Mathematical Library (1989)"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Bernstein, D.B., Akkas, B., Price, M.N., Arkin, A.P.: Evaluating E. coli genome-scale metabolic model accuracy with high-throughput mutant fitness data. Mol. Syst. Biol. 19(12) (2023)","DOI":"10.15252\/msb.202311566"},{"issue":"15","key":"8_CR4","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.: Discovering governing equations from data by sparse identification of nonlinear dynamical systems. Proc. Natl. Acad. Sci. 113(15), 3932\u20133937 (2016)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"8_CR5","unstructured":"Bryant, C.H., Muggleton, S.H., Oliver, S.G., Kell, D., Reiser, P., King, R.D.: Combining inductive logic programming, active learning and robotics to discover the function of genes. Electron. Trans. Artif. Intell. 1\u201336 (2001)"},{"key":"8_CR6","first-page":"285","volume":"67","author":"W Cohen","year":"2020","unstructured":"Cohen, W., Yang, F., Mazaitis, K.R.: TensorLog: a probabilistic database implemented using deep-learning infrastructure. J. Arti. Intell. Res. 67, 285\u2013325 (2020)","journal-title":"J. Arti. Intell. Res."},{"issue":"3","key":"8_CR7","first-page":"203","volume":"16","author":"D Conklin","year":"1994","unstructured":"Conklin, D., Witten, I.H.: Complexity-based induction. Mach. Learn. 16(3), 203\u2013225 (1994)","journal-title":"Mach. Learn."},{"issue":"4","key":"8_CR8","doi-asserted-by":"publisher","first-page":"193","DOI":"10.2307\/2267134","volume":"13","author":"IM Copilowish","year":"1948","unstructured":"Copilowish, I.M.: Matrix development of the calculus of relations. J. Symb. Log. 13(4), 193\u2013203 (1948)","journal-title":"J. Symb. Log."},{"issue":"1","key":"8_CR9","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.: Probabilistic (logic) programming concepts. Mach. Learn. 100(1), 5\u201347 (2015). https:\/\/doi.org\/10.1007\/s10994-015-5494-z","journal-title":"Mach. Learn."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Fischer, M.J., Meyer, A.R.: Boolean matrix multiplication and transitive closure. In: 12th Annual Symposium on Switching and Automata Theory, pp. 129\u2013131 (1971)","DOI":"10.1109\/SWAT.1971.4"},{"key":"8_CR11","unstructured":"Grefenstette, E.: Towards a formal distributional semantics: simulating logical calculi with tensors. In: Proceedings of the Second Joint Conference on Lexical and Computational Semantics, pp. 1\u201310 (2013)"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Guimer\u00e0, R., et al.: A Bayesian machine scientist to aid in the solution of challenging scientific problems. Sci. Adv. 6(5) (2020)","DOI":"10.1126\/sciadv.aav6971"},{"key":"8_CR13","unstructured":"Ioannidis, Y.E.: On the computation of the transitive closure of relational operators. In: Proceedings of the 12th International Conference on Very Large Data Bases, pp. 403\u2013411 (1986)"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1038\/nature02236","volume":"427","author":"RD King","year":"2004","unstructured":"King, R.D., et al.: Functional genomic hypothesis generation and experimentation by a robot scientist. Nature 427, 247\u2013252 (2004)","journal-title":"Nature"},{"issue":"5923","key":"8_CR15","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1126\/science.1165620","volume":"324","author":"RD King","year":"2009","unstructured":"King, R.D., et al.: The automation of science. Science 324(5923), 85\u201389 (2009)","journal-title":"Science"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Langley, P.W., Simon, H.A., Bradshaw, G., Zytkow, J.M.: Scientific Discovery: Computational Explorations of the Creative Process (1987)","DOI":"10.7551\/mitpress\/6090.001.0001"},{"key":"8_CR17","unstructured":"Lin, F.: From satisfiability to linear algebra. Hong Kong University of Science and Technology, Technical report (2013)"},{"key":"8_CR18","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.: Generalization as search. Artif. Intell. 18, 203\u2013226 (1982)","journal-title":"Artif. Intell."},{"issue":"10","key":"8_CR19","doi-asserted-by":"publisher","first-page":"904","DOI":"10.1038\/nbt.3956","volume":"35","author":"JM Monk","year":"2017","unstructured":"Monk, J.M., et al.: iML1515, a knowledgebase that computes escherichia coli traits. Nat. Biotechnol. 35(10), 904\u2013908 (2017)","journal-title":"Nat. Biotechnol."},{"key":"8_CR20","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"SH Muggleton","year":"1991","unstructured":"Muggleton, S.H.: Inductive logic programming. N. Gener. Comput. 8, 295\u2013318 (1991)","journal-title":"N. Gener. Comput."},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Muggleton, S.H.: Hypothesizing an algorithm from one example: the role of specificity. Philos. Trans. Roy. Soc. A: Math. Phys. Eng. Sci. 381(2251) (2023)","DOI":"10.1098\/rsta.2022.0046"},{"issue":"1","key":"8_CR22","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/s10994-014-5471-y","volume":"100","author":"SH Muggleton","year":"2015","unstructured":"Muggleton, S.H., Lin, D., Tamaddoni-Nezhad, A.: Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited. Mach. Learn. 100(1), 49\u201373 (2015). https:\/\/doi.org\/10.1007\/s10994-014-5471-y","journal-title":"Mach. Learn."},{"key":"8_CR23","unstructured":"Peirce, C.S.: Collected Papers of Charles Sanders Peirce, Volumes II (1932)"},{"key":"8_CR24","unstructured":"Petersen, B.K., Larma, M.L., Mundhenk, T.N., Santiago, C.P., Kim, S.K., Kim, J.T.: Deep symbolic regression: Recovering mathematical expressions from data via risk-seeking policy gradients. In: Proceedings of the 9th International Conference on Learning Representations (2020)"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Rozenberg, G., Engelfriet, J.: Elementary net systems. In: Reisig, W., Rozenberg, G. (eds) Lectures on Petri Nets I: Basic Models. ACPN 1996. Lecture Notes in Computer Science, vol.\u00a01491 (1998)","DOI":"10.1007\/3-540-65306-6_14"},{"key":"8_CR26","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.: Advances in flux balance analysis by integrating machine learning and mechanism-based models. Comput. Struct. Biotechnol. J. 19, 4626\u20134640 (2021)","journal-title":"Comput. Struct. Biotechnol. J."},{"issue":"3","key":"8_CR27","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1017\/S1471068417000023","volume":"17","author":"T Sato","year":"2017","unstructured":"Sato, T.: A linear algebraic approach to datalog evaluation. Theory Pract. Logic Program. 17(3), 244\u2013265 (2017)","journal-title":"Theory Pract. Logic Program."},{"issue":"8","key":"8_CR28","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.: Differentiable learning of matricized DNFs and its application to Boolean networks. Mach. Learn. 112(8), 2821\u20132843 (2023)","journal-title":"Mach. Learn."},{"key":"8_CR29","doi-asserted-by":"crossref","unstructured":"Sato, T., Kojima, R.: 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, pp. 560\u2013569 (2021)","DOI":"10.24963\/kr.2021\/53"},{"issue":"1","key":"8_CR30","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.: Integrating knowledge-driven and data-driven approaches to modeling. Ecol. Model. 194(1), 3\u201313 (2006)","journal-title":"Ecol. Model."},{"issue":"2","key":"8_CR31","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/BF01932293","volume":"17","author":"S T\u00e4rnlund","year":"1977","unstructured":"T\u00e4rnlund, S.: Horn clause computability. BIT Numer. Math. 17(2), 215\u2013226 (1977)","journal-title":"BIT Numer. Math."},{"issue":"1\u20132","key":"8_CR32","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1017\/S1471068411000494","volume":"12","author":"J Wielemaker","year":"2012","unstructured":"Wielemaker, J., Schrijvers, T., Triska, M., Lager, T.: SWI-prolog. Theory Pract. Logic Program. 12(1\u20132), 67\u201396 (2012)","journal-title":"Theory Pract. Logic Program."}],"container-title":["Lecture Notes in Computer Science","Learning and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-09087-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T18:21:29Z","timestamp":1763662889000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-09087-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,21]]},"ISBN":["9783032090867","9783032090874"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-09087-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,21]]},"assertion":[{"value":"21 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ILP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Joint Conference on Learning and Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nanjing","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"33","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ilp2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.lamda.nju.edu.cn\/ijclr24\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}