{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T04:18:11Z","timestamp":1783138691738,"version":"3.54.6"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2021,9,14]],"date-time":"2021-09-14T00:00:00Z","timestamp":1631577600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,9,14]],"date-time":"2021-09-14T00:00:00Z","timestamp":1631577600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key R&D Program of China","doi-asserted-by":"crossref","award":["2018YFB1003904"],"award-info":[{"award-number":["2018YFB1003904"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100012166","name":"National Key R&D Program of China","doi-asserted-by":"crossref","award":["2018YFC1314200"],"award-info":[{"award-number":["2018YFC1314200"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61972005"],"award-info":[{"award-number":["61972005"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"NII international internship program"},{"name":"JSPS KAKENHI","award":["JP17H00763"],"award-info":[{"award-number":["JP17H00763"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61772035"],"award-info":[{"award-number":["61772035"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61751210"],"award-info":[{"award-number":["61751210"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61932001"],"award-info":[{"award-number":["61932001"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Mach Learn"],"published-print":{"date-parts":[[2022,1]]},"DOI":"10.1007\/s10994-021-06058-8","type":"journal-article","created":{"date-parts":[[2021,9,14]],"date-time":"2021-09-14T22:02:16Z","timestamp":1631656936000},"page":"123-145","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Learning from interpretation transition using differentiable logic programming semantics"],"prefix":"10.1007","volume":"111","author":[{"given":"Kun","family":"Gao","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hanpin","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yongzhi","family":"Cao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Katsumi","family":"Inoue","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,9,14]]},"reference":[{"key":"6058_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K. R., Blair, H. A., & Walker, A. (1988). Towards a theory of declarative knowledge. In Foundations of deductive databases and logic programming (pp. 89\u2013148). San Mateo: Morgan Kaufmann.","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"issue":"1","key":"6058_CR2","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1023\/A:1008328630915","volume":"11","author":"AS Avila Garcez","year":"1999","unstructured":"Avila Garcez, A. S., & Zaverucha, G. (1999). The connectionist inductive learning and logic programming system. Applied Intelligence, 11(1), 59\u201377.","journal-title":"Applied Intelligence"},{"issue":"1\u20132","key":"6058_CR3","first-page":"155","volume":"125","author":"AS Avila","year":"2001","unstructured":"Avila, A. S., Broda, K., & Gabbay, D. M. (2001). Symbolic knowledge extraction from trained neural networks: A sound approach. Artificial Intelligence, 125(1\u20132), 155\u2013207.","journal-title":"Artificial Intelligence"},{"key":"6058_CR4","unstructured":"Bader, S., Hitzler, P., & H\u00f6lldobler, S. (2004). The integration of connectionism and first-order knowledge representation and reasoning as a challenge for artificial intelligence. In Proceedings of the third international conference on information (pp. 22\u201333)."},{"key":"6058_CR5","unstructured":"Bader, S., Hitzler, P., & Witzel, A. (2005). Integrating first-order logic programs and connectionist systems\u2014a constructive approach. In Proceedings of the IJCAI workshop on neural-symbolic learning and reasoning (Vol. 5)."},{"key":"6058_CR6","doi-asserted-by":"crossref","unstructured":"Bengio, Y., Louradour, J., Collobert, R., & Weston, J. (2009). Curriculum learning. In Proceedings of ICML (Vol, 382, pp. 41\u201348). New York: ACM Press.","DOI":"10.1145\/1553374.1553380"},{"issue":"4","key":"6058_CR7","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/s00344-006-0068-8","volume":"25","author":"A Chaos","year":"2006","unstructured":"Chaos, A., Aldana, M., Espinosa-Soto, C., Ponce de Le\u00f3n, B., Arroyo, A. G., & Alvarez-Buylla, E. R. (2006). From genes to flower patterns and evolution: Dynamic models of gene regulatory networks. Journal of Plant Growth Regulation, 25(4), 278\u2013289.","journal-title":"Journal of Plant Growth Regulation"},{"key":"6058_CR8","doi-asserted-by":"crossref","unstructured":"Cohen, W. W. (1995). Fast effective rule induction. In Proceedings of ICML (pp. 115\u2013123). Elsevier.","DOI":"10.1016\/B978-1-55860-377-6.50023-2"},{"issue":"2","key":"6058_CR9","doi-asserted-by":"publisher","first-page":"e1672","DOI":"10.1371\/journal.pone.0001672","volume":"3","author":"MI Davidich","year":"2008","unstructured":"Davidich, M. I., & Bornholdt, S. (2008). Boolean network model predicts cell cycle sequence of fission yeast. PLoS ONE, 3(2), e1672.","journal-title":"PLoS ONE"},{"key":"6058_CR10","doi-asserted-by":"crossref","unstructured":"Davis, J., Burnside, E. S., Dutra, I. C., Page, D., & Costa, V. S. (2005). An integrated approach to learning Bayesian networks of rules. In LNAI: Vol. 3720. Proc. ECML (pp. 84\u201395). Berlin: Springer.","DOI":"10.1007\/11564096_13"},{"key":"6058_CR11","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"},{"key":"6058_CR12","doi-asserted-by":"publisher","first-page":"103438","DOI":"10.1016\/j.artint.2020.103438","volume":"293","author":"R Evans","year":"2019","unstructured":"Evans, R., Hern\u00e1ndez-Orallo, J., Welbl, J., Kohli, P., & Sergot, M. (2019). Making sense of sensory input. Artificial Intelligence, 293, 103438.","journal-title":"Artificial Intelligence"},{"issue":"14","key":"6058_CR13","doi-asserted-by":"publisher","first-page":"e124","DOI":"10.1093\/bioinformatics\/btl210","volume":"22","author":"A Faur\u00e9","year":"2006","unstructured":"Faur\u00e9, A., Naldi, A., Chaouiya, C., & Thieffry, D. (2006). Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle. Bioinformatics, 22(14), e124\u2013e131.","journal-title":"Bioinformatics"},{"key":"6058_CR14","unstructured":"Fran\u00e7a, M. V. M., D\u2019Avila Garcez, A. S., & Zaverucha, G. (2015). Relational knowledge extraction from neural networks. In CEUR workshop proceedings (Vol. 1583, pp. 11\u201312)."},{"issue":"1","key":"6058_CR15","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/s10994-013-5392-1","volume":"94","author":"MVM Fran\u00e7a","year":"2014","unstructured":"Fran\u00e7a, M. V. M., Zaverucha, G., & D\u2019Avila Garcez, A. S. (2014). Fast relational learning using bottom clause propositionalization with artificial neural networks. Machine Learning, 94(1), 81\u2013104.","journal-title":"Machine Learning"},{"key":"6058_CR16","unstructured":"Gentet, E., Tourret, S., & Inoue, K. (2017). Learning from interpretation transition using feed-forward neural networks. In CEUR workshop proceedings (pp. 27\u201333)."},{"key":"6058_CR17","doi-asserted-by":"crossref","unstructured":"Hitzler, P., & Seda, A. K. (2000). A note on the relationships between logic programs and neural networks. In Proceedings of the 4th irish workshop on formal methods (pp. 1\u20139).","DOI":"10.14236\/ewic\/IWFM2000.2"},{"issue":"3","key":"6058_CR18","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/j.jal.2004.03.002","volume":"2","author":"P Hitzler","year":"2004","unstructured":"Hitzler, P., H\u00f6lldobler, S., & Seda, A. K. (2004). Logic programs and connectionist networks. Journal of Applied Logic, 2(3), 273\u2013300.","journal-title":"Journal of Applied Logic"},{"issue":"8","key":"6058_CR19","doi-asserted-by":"publisher","first-page":"1735","DOI":"10.1162\/neco.1997.9.8.1735","volume":"9","author":"S Hochreiter","year":"1997","unstructured":"Hochreiter, S., & Schmidhuber, J. (1997). Long short-term memory. Neural Computation, 9(8), 1735\u20131780.","journal-title":"Neural Computation"},{"key":"6058_CR20","unstructured":"H\u00f6lldobler, S. (1993). Automated inferencing and connectionist models. Fakult\u00e4t Informatik. Technische Hochschule Darmstadt. (Doctoral dissertation, Habilitationsschrift)."},{"key":"6058_CR21","unstructured":"H\u00f6lldobler, S., Kalinke, Y., Hoelldobler, S., & Kalinke, Y. (1991). Towards a new massively parallel computational model for logic programming. In ECAI\u201994 workshop on combining symbolic and connectioninst processing (pp. 68\u201377)."},{"issue":"1","key":"6058_CR22","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1008376514077","volume":"11","author":"S H\u00f6lldobler","year":"1999","unstructured":"H\u00f6lldobler, S., Kalinke, Y., & St\u00f6rr, H. P. (1999). Approximating the semantics of logic programs by recurrent neural networks. Applied Intelligence, 11(1), 45\u201358.","journal-title":"Applied Intelligence"},{"key":"6058_CR23","unstructured":"Inoue, K. (2011). Logic programming for Boolean networks. In Proceedings of IJCAI (pp. 924\u2013930). Menlo Park: AAAI Press."},{"key":"6058_CR24","doi-asserted-by":"crossref","unstructured":"Inoue, K., & Sakama, C. (2012). Oscillating behavior of logic programs. Correct reasoning-essays on logic-based AI in honour of Vladimir LifschitzIn E. Erdem, J. Lee, Y. Lierler, & D. Pearce (Eds.), LNAI (Vol. 7265, pp. 345\u2013362). Berlin: Springer.","DOI":"10.1007\/978-3-642-30743-0_23"},{"issue":"1","key":"6058_CR25","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/s10994-013-5353-8","volume":"94","author":"K Inoue","year":"2014","unstructured":"Inoue, K., Ribeiro, T., & Sakama, C. (2014). Learning from interpretation transition. Machine Learning, 94(1), 51\u201379.","journal-title":"Machine Learning"},{"key":"6058_CR26","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195079517.001.0001","volume-title":"The origins of order: Self-organization and selection in evolution","author":"SA Kauffman","year":"1993","unstructured":"Kauffman, S. A. (1993). The origins of order: Self-organization and selection in evolution. Oxford: Oxford University Press."},{"key":"6058_CR27","doi-asserted-by":"crossref","unstructured":"Kazemi, S. M., & Poole, D. (2018). RelNN: a deep neural model for relational learning. In Proceedings of AAAI (pp. 6367\u20136375). AAAI press.","DOI":"10.1609\/aaai.v32i1.12111"},{"issue":"3\u20134","key":"6058_CR28","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/BF03037232","volume":"13","author":"RD King","year":"1995","unstructured":"King, R. D., Srinivasan, A., & Sternberg, M. J. E. (1995). Relating chemical activity to structure: An examination of ILP successes. New Generation Computing, 13(3\u20134), 411\u2013433.","journal-title":"New Generation Computing"},{"key":"6058_CR29","doi-asserted-by":"crossref","unstructured":"Kramer, S., Lavra\u010d, N., & Flach, P. (2001). Propositionalization approaches to relational data mining. Relational Data Mining, 262\u2013291.","DOI":"10.1007\/978-3-662-04599-2_11"},{"issue":"3","key":"6058_CR30","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s10489-008-0142-y","volume":"32","author":"J Lehmann","year":"2010","unstructured":"Lehmann, J., Bader, S., & Hitzler, P. (2010). Extracting reduced logic programs from artificial neural networks. Applied Intelligence, 32(3), 249\u2013266.","journal-title":"Applied Intelligence"},{"issue":"14","key":"6058_CR31","doi-asserted-by":"publisher","first-page":"4781","DOI":"10.1073\/pnas.0305937101","volume":"101","author":"F Li","year":"2004","unstructured":"Li, F., Long, T., Lu, Y., Ouyang, Q., & Tang, C. (2004). The yeast cell-cycle network is robustly designed. Proceedings of the National Academy of Sciences of the United States of America, 101(14), 4781\u20134786.","journal-title":"Proceedings of the National Academy of Sciences of the United States of America"},{"issue":"4","key":"6058_CR32","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"S Muggleton","year":"1991","unstructured":"Muggleton, S. (1991). Inductive logic programming. New Generation Computing, 8(4), 295\u2013318.","journal-title":"New Generation Computing"},{"issue":"3\u20134","key":"6058_CR33","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S Muggleton","year":"1995","unstructured":"Muggleton, S. (1995). Inverse entailment and Progol. New Generation Computing, 13(3\u20134), 245\u2013286.","journal-title":"New Generation Computing"},{"issue":"1","key":"6058_CR34","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19","author":"S Muggleton","year":"1994","unstructured":"Muggleton, S., & De Raedt, L. (1994). Inductive logic programming: Theory and methods. The Journal of Logic Programming, 19(1), 629\u2013679.","journal-title":"The Journal of Logic Programming"},{"key":"6058_CR35","doi-asserted-by":"crossref","unstructured":"Nguyen, H. D., Sakama, C., Sato, T., & Inoue, K. (2018). Computing logic programming semantics in linear algebra. International conference on multi-disciplinary trends in artificial intelligence (pp. 32\u201348). Cham: Springer.","DOI":"10.1007\/978-3-030-03014-8_3"},{"key":"6058_CR36","first-page":"72","volume-title":"ILP","author":"YJ Phua","year":"2019","unstructured":"Phua, Y. J., & Inoue, K. (2019). Learning logic programs from noisy state transition data. ILP (pp. 72\u201380). Cham: Springer."},{"issue":"4","key":"6058_CR37","first-page":"695","volume":"6","author":"YJ Phua","year":"2019","unstructured":"Phua, Y. J., Ribeiro, T., & Inoue, K. (2019). Learning representation of relational dynamics with delays and refining with prior knowledge. If CoLoG Journal of Logics and their Applications, 6(4), 695\u2013708.","journal-title":"If CoLoG Journal of Logics and their Applications"},{"key":"6058_CR38","unstructured":"Quinlan, J. R. (1993). C4.5: programs for machine learning. San Francisco: Morgan Kaufmann."},{"key":"6058_CR39","doi-asserted-by":"crossref","unstructured":"Rockt\u00e4schel, T., & Riedel, S. (2016). Learning knowledge base inference with neural theorem provers. In Proceedings of the 5th workshop on automated knowledge base construction (pp. 45\u201350).","DOI":"10.18653\/v1\/W16-1309"},{"key":"6058_CR40","doi-asserted-by":"crossref","unstructured":"Sakama, C., Nguyen, H. D., Sato, T., & Inoue, K. (2018). Partial evaluation of logic programs in vector spaces. In 11th workshop on answer set programming and other computing paradigms. Oxford, UK.","DOI":"10.29007\/9d61"},{"key":"6058_CR41","unstructured":"Seda, A. K., & Lane, M. (2004). On approximation in the integration of connectionist and logic-based systems. In Proceedings of the third international conference on information (pp. 297\u2013300)."},{"issue":"1","key":"6058_CR42","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.entcs.2006.04.028","volume":"161","author":"AK Seda","year":"2006","unstructured":"Seda, A. K. (2006). On the integration of connectionist and logic-based systems. Electronic Notes in Theoretical Computer Science, 161(1), 109\u2013130.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"6058_CR43","unstructured":"Serafini, L., & Garcez, A. D. A. (2016). Logic tensor networks: deep learning and logical reasoning from data and knowledge. In CEUR workshop proceedings (Vol. 1768)."},{"key":"6058_CR44","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1613\/jair.1.11203","volume":"62","author":"G \u0160ourek","year":"2018","unstructured":"\u0160ourek, G., Aschenbrenner, V., \u017delezn\u00fd, F., Schockaert, S., & Ku\u017eelka, O. (2018). Lifted relational neural networks: Efficient learning of latent relational structures. Journal of Artificial Intelligence Research, 62, 69\u2013100.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"6058_CR45","unstructured":"Srinivasan, A., Muggleton, S., King, R. D., & Sternberg, M. J. E. (1994). Mutagenesis: ILP experiments in a non-determinate biological domain. In LNAI: Vol. 237. Proc. ILP (pp. 217\u2013232). Berlin: Springer."},{"issue":"1","key":"6058_CR46","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s10994-009-5117-7","volume":"76","author":"A Tamaddoni-Nezhad","year":"2009","unstructured":"Tamaddoni-Nezhad, A., & Muggleton, S. (2009). The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause. Machine Learning, 76(1), 37\u201372.","journal-title":"Machine Learning"},{"key":"6058_CR47","doi-asserted-by":"crossref","unstructured":"Tourret, S., Gentet, E., & Inoue, K. (2017). Learning human-understandable description oaf dynamical systems from feed-forward neural networks. International symposium on neural networks (pp. 483\u2013492). Cham: Springer.","DOI":"10.1007\/978-3-319-59072-1_57"},{"issue":"4","key":"6058_CR48","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"},{"key":"6058_CR49","unstructured":"Wang, W. Y., & Cohen, W. W. (2016). Learning first-order logic embeddings via matrix factorization. In Proceedings of IJCAI (pp. 2132\u20132138)."},{"key":"6058_CR50","unstructured":"Witten, I. H., Frank, E., Hall, M. A., & Pal, C. J. (2017). Data mining: practical machine learning tools and techniques (Fourth ed.). Morgan Kaufmann, ian imorint of Elsevier."},{"key":"6058_CR51","unstructured":"Yang, F., Yang, Z., & Cohen, W. W. (2017). Differentiable learning of logical rules for knowledge base reasoning. In Proceedings of NIPS (pp. 2320\u20132329)."}],"container-title":["Machine Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10994-021-06058-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10994-021-06058-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10994-021-06058-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,8]],"date-time":"2023-11-08T20:13:57Z","timestamp":1699474437000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10994-021-06058-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,14]]},"references-count":51,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,1]]}},"alternative-id":["6058"],"URL":"https:\/\/doi.org\/10.1007\/s10994-021-06058-8","relation":{},"ISSN":["0885-6125","1573-0565"],"issn-type":[{"value":"0885-6125","type":"print"},{"value":"1573-0565","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,9,14]]},"assertion":[{"value":"3 September 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 July 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 August 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 September 2021","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 that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"(Need to download the LF1T by Python)","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Code availability"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}