{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,14]],"date-time":"2026-09-14T22:20:44Z","timestamp":1789424444542,"version":"build-2803163510"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031711664","type":"print"},{"value":"9783031711671","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-71167-1_3","type":"book-chapter","created":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:02:58Z","timestamp":1725886978000},"page":"47-61","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Variable Assignment Invariant Neural Networks for\u00a0Learning Logic Programs"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1178-8238","authenticated-orcid":false,"given":"Yin Jun","family":"Phua","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2717-9122","authenticated-orcid":false,"given":"Katsumi","family":"Inoue","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,9,10]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Badreddine, S., Garcez, A.d., Serafini, L., Spranger, M.: Logic tensor networks. Artif. Intell. 303, 103649 (2022)","DOI":"10.1016\/j.artint.2021.103649"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1613\/jair.5714","volume":"61","author":"R Evans","year":"2018","unstructured":"Evans, R., Grefenstette, E.: Learning explanatory rules from noisy data. J. Artif. Intell. Res. 61, 1\u201364 (2018)","journal-title":"J. Artif. Intell. Res."},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"103438","DOI":"10.1016\/j.artint.2020.103438","volume":"293","author":"R Evans","year":"2021","unstructured":"Evans, R., Hern\u00e1ndez-Orallo, J., Welbl, J., Kohli, P., Sergot, M.: Making sense of sensory input. Artif. Intell. 293, 103438 (2021)","journal-title":"Artif. Intell."},{"issue":"14","key":"3_CR4","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.: Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle. Bioinformatics 22(14), e124\u2013e131 (2006)","journal-title":"Bioinformatics"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Gao, K., Inoue, K., Cao, Y., Wang, H.: Learning first-order rules with differentiable logic program semantics. In: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022, pp. 3008\u20133014 (2022)","DOI":"10.24963\/ijcai.2022\/417"},{"issue":"1","key":"3_CR6","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s10994-021-06058-8","volume":"111","author":"K Gao","year":"2022","unstructured":"Gao, K., Wang, H., Cao, Y., Inoue, K.: Learning from interpretation transition using differentiable logic programming semantics. Mach. Learn. 111(1), 123\u2013145 (2022)","journal-title":"Mach. Learn."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Garcez, A.d., Broda, K., Gabbay, D.M.: Symbolic knowledge extraction from trained neural networks: a sound approach. Artif. Intell. 125(1-2), 155\u2013207 (2001)","DOI":"10.1016\/S0004-3702(00)00077-1"},{"key":"3_CR8","unstructured":"Gentet, E., Tourret, S., Inoue, K.: Learning from interpretation transition using feed-forward neural network. In: Proceedings of ILP 2016, CEUR Proceedings 1865, pp. 27\u201333 (2016)"},{"issue":"10","key":"3_CR9","doi-asserted-by":"publisher","first-page":"e1003286","DOI":"10.1371\/journal.pcbi.1003286","volume":"9","author":"L Grieco","year":"2013","unstructured":"Grieco, L., Calzone, L., Bernard-Pierrot, I., Radvanyi, F., Kahn-Perles, B., Thieffry, D.: Integrative modelling of the influence of MAPK network on cancer cell fate decision. PLoS Comput. Biol. 9(10), e1003286 (2013)","journal-title":"PLoS Comput. Biol."},{"issue":"1","key":"3_CR10","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.: Learning from interpretation transition. Mach. Learn. 94(1), 51\u201379 (2014)","journal-title":"Mach. Learn."},{"issue":"4","key":"3_CR11","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1016\/j.jtbi.2008.12.028","volume":"257","author":"DJ Irons","year":"2009","unstructured":"Irons, D.J.: Logical analysis of the budding yeast cell cycle. J. Theor. Biol. 257(4), 543\u2013559 (2009)","journal-title":"J. Theor. Biol."},{"key":"3_CR12","unstructured":"Jaegle, A., Gimeno, F., Brock, A., Vinyals, O., Zisserman, A., Carreira, J.: Perceiver: general perception with iterative attention. In: International Conference on Machine Learning, pp. 4651\u20134664. PMLR (2021)"},{"issue":"12","key":"3_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3571730","volume":"55","author":"Z Ji","year":"2023","unstructured":"Ji, Z., et al.: Survey of hallucination in natural language generation. ACM Comput. Surv. 55(12), 1\u201338 (2023)","journal-title":"ACM Comput. Surv."},{"issue":"7873","key":"3_CR14","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1038\/s41586-021-03819-2","volume":"596","author":"J Jumper","year":"2021","unstructured":"Jumper, J., et al.: Highly accurate protein structure prediction with AlphaFold. Nature 596(7873), 583\u2013589 (2021)","journal-title":"Nature"},{"key":"3_CR15","doi-asserted-by":"publisher","unstructured":"Klarner, H., Streck, A., Siebert, H.: PyBoolNet: a python package for the generation, analysis and visualization of Boolean networks. Bioinformatics 33(5), 770\u2013772 (2016). https:\/\/doi.org\/10.1093\/bioinformatics\/btw682","DOI":"10.1093\/bioinformatics\/btw682"},{"key":"3_CR16","unstructured":"Lee, J., Lee, Y., Kim, J., Kosiorek, A.R., Choi, S., Teh, Y.W.: Set transformer. arXiv preprint arXiv:1810.00825 (2018)"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Messina, N., Falchi, F., Esuli, A., Amato, G.: Transformer reasoning network for image-text matching and retrieval. In: 2020 25th International Conference on Pattern Recognition (ICPR), pp. 5222\u20135229. IEEE (2021)","DOI":"10.1109\/ICPR48806.2021.9413172"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-030-49210-6_7","volume-title":"Inductive Logic Programming","author":"YJ Phua","year":"2020","unstructured":"Phua, Y.J., Inoue, K.: Learning logic programs from noisy state transition data. In: Kazakov, D., Erten, C. (eds.) ILP 2019. LNCS (LNAI), vol. 11770, pp. 72\u201380. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-49210-6_7"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-030-97454-1_15","volume-title":"Inductive Logic Programming","author":"YJ Phua","year":"2022","unstructured":"Phua, Y.J., Inoue, K.: Learning logic programs using neural networks by\u00a0exploiting symbolic invariance. In: Katzouris, N., Artikis, A. (eds.) Inductive Logic Programming, pp. 203\u2013218. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-97454-1_15"},{"key":"3_CR20","unstructured":"Ribeiro, T., Folschette, M., Magnin, M., Inoue, K.: Polynomial algorithm for learning from interpretation transition. In: 1st International Joint Conference on Learning and Reasoning (2021)"},{"key":"3_CR21","doi-asserted-by":"publisher","unstructured":"Ribeiro, T., Folschette, M., Magnin, M., Inoue, K.: Learning any memory-less discrete semantics for dynamical systems represented by logic programs. Mach. Learn. 111, 3593\u20133670 (2022). https:\/\/doi.org\/10.1007\/s10994-021-06105-4","DOI":"10.1007\/s10994-021-06105-4"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-319-23708-4_8","volume-title":"Inductive Logic Programming","author":"T Ribeiro","year":"2015","unstructured":"Ribeiro, T., Inoue, K.: Learning prime implicant conditions from interpretation transition. In: Davis, J., Ramon, J. (eds.) ILP 2014. LNCS (LNAI), vol. 9046, pp. 108\u2013125. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23708-4_8"},{"key":"3_CR23","doi-asserted-by":"publisher","unstructured":"Su, J., Ahmed, M., Lu, Y., Pan, S., Bo, W., Liu, Y.: RoFormer: enhanced transformer with rotary position embedding. Neurocomputing 568, 127063 (2024). https:\/\/doi.org\/10.1016\/j.neucom.2023.127063","DOI":"10.1016\/j.neucom.2023.127063"},{"issue":"2","key":"3_CR24","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1016\/j.jtbi.2009.06.006","volume":"260","author":"L Tournier","year":"2009","unstructured":"Tournier, L., Chaves, M.: Uncovering operational interactions in genetic networks using asynchronous Boolean dynamics. J. Theor. Biol. 260(2), 196\u2013209 (2009)","journal-title":"J. Theor. Biol."},{"key":"3_CR25","unstructured":"Valmeekam, K., Olmo, A., Sreedharan, S., Kambhampati, S.: Large language models still can\u2019t plan (a benchmark for LLMs on planning and reasoning about change). arXiv preprint arXiv:2206.10498 (2022)"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Winters, T., Marra, G., Manhaeve, R., De\u00a0Raedt, L.: Deepstochlog: neural stochastic logic programming. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol.\u00a036, pp. 10090\u201310100 (2022)","DOI":"10.1609\/aaai.v36i9.21248"},{"issue":"10","key":"3_CR27","doi-asserted-by":"publisher","first-page":"1265","DOI":"10.1093\/bioinformatics\/btm093","volume":"23","author":"Y Xiao","year":"2007","unstructured":"Xiao, Y., Dougherty, E.R.: The impact of function perturbations in Boolean networks. Bioinformatics 23(10), 1265\u20131273 (2007)","journal-title":"Bioinformatics"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Yang, Z., Ishay, A., Lee, J.: Neurasp: embracing neural networks into answer set programming. In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, pp. 1755\u20131762. ijcai.org (2020)","DOI":"10.24963\/ijcai.2020\/243"}],"container-title":["Lecture Notes in Computer Science","Neural-Symbolic Learning and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-71167-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:04:06Z","timestamp":1725887046000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-71167-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031711664","9783031711671"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-71167-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"10 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NeSy","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Neural-Symbolic Learning and Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Barcelona","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","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":"9 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nesy2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sites.google.com\/view\/nesy2023","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}