{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T04:18:18Z","timestamp":1783138698535,"version":"3.54.6"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030974534","type":"print"},{"value":"9783030974541","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-030-97454-1_15","type":"book-chapter","created":{"date-parts":[[2022,2,23]],"date-time":"2022-02-23T20:02:28Z","timestamp":1645646548000},"page":"203-218","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Learning Logic Programs Using Neural Networks by\u00a0Exploiting Symbolic Invariance"],"prefix":"10.1007","author":[{"given":"Yin Jun","family":"Phua","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Katsumi","family":"Inoue","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,2,24]]},"reference":[{"key":"15_CR1","unstructured":"Ba, J.L., Kiros, J.R., Hinton, G.E.: Layer normalization (2016)"},{"key":"15_CR2","unstructured":"Brown, T.B., Mann, B., et al.: Language models are few-shot learners. CoRR, abs\/2005.14165 (2020)"},{"key":"15_CR3","unstructured":"d\u2019Avila Garcez, A.S., Gori, M., Lamb, L.C., Serafini, L., Spranger, M., Tran, S.N.: Neural-symbolic computing: an effective methodology for principled integration of machine learning and reasoning. CoRR, abs\/1905.06088 (2019)"},{"issue":"1","key":"15_CR4","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/S0004-3702(00)00077-1","volume":"125","author":"ADA Garcez","year":"2001","unstructured":"Garcez, A.D.A., Broda, K., Gabbay, D.M.: Symbolic knowledge extraction from trained neural networks: a sound approach. Artif. Intell. 125(1), 155\u2013207 (2001)","journal-title":"Artif. Intell."},{"key":"15_CR5","unstructured":"Dong, H., Mao, J., Lin, T., Wang, C., Li, L., Zhou, D.: Neural logic machines. CoRR, abs\/1904.11694 (2019)"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Evans, R., Grefenstette, E.: Learning explanatory rules from noisy data. CoRR, abs\/1711.04574 (2017)","DOI":"10.24963\/ijcai.2018\/792"},{"issue":"1","key":"15_CR7","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.: The connectionist inductive learning and logic programming system. Appl. Intell. 11(1), 59\u201377 (1999)","journal-title":"Appl. Intell."},{"key":"15_CR8","doi-asserted-by":"publisher","unstructured":"d\u2019Avila Garcez, A.S., Gabbay, D.M., Broda, K.B.: Neural-symbolic learning system: foundations and applications. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/978-1-4471-0211-3","DOI":"10.1007\/978-1-4471-0211-3"},{"key":"15_CR9","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)"},{"key":"15_CR10","unstructured":"Hendrycks, D., Gimpel, K.: Bridging nonlinearities and stochastic regularizers with gaussian error linear units. CoRR, abs\/1606.08415 (2016)"},{"key":"15_CR11","unstructured":"Inoue, K.: Logic programming for boolean networks. In: Walsh, T. (ed.) IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, 16\u201322 July 2011, pp. 924\u2013930. IJCAI\/AAAI (2011)"},{"issue":"1","key":"15_CR12","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/s10994-013-5353-8","volume":"94","author":"K Inoue","year":"2013","unstructured":"Inoue, K., Ribeiro, T., Sakama, C.: Learning from interpretation transition. Mach. Learn. 94(1), 51\u201379 (2013). https:\/\/doi.org\/10.1007\/s10994-013-5353-8","journal-title":"Mach. Learn."},{"issue":"5","key":"15_CR13","doi-asserted-by":"crossref","first-page":"770","DOI":"10.1093\/bioinformatics\/btw682","volume":"33","author":"H Klarner","year":"2016","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)","journal-title":"Bioinformatics"},{"key":"15_CR14","unstructured":"Lee, J., Lee, Y., Kim, J., Kosiorek, A., Choi, S., Teh, Y.W.: Set transformer. CoRR, abs\/1810.00825 (2018)"},{"key":"15_CR15","unstructured":"Paszke, A., et al.: Pytorch: an imperative style, high-performance deep learning library. In: Wallach, H., Larochelle, H., Beygelzimer, A., d\u2019 Alch\u00e9-Buc, F., Fox, E., Garnett, R. (eds.) Advances in Neural Information Processing Systems, vol. 32, pp. 8024\u20138035. Curran Associates Inc (2019)"},{"key":"15_CR16","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":"15_CR17","unstructured":"Reed, S., De Freitas, N.: Neural programmer-interpreters. arXiv preprint arXiv:1511.06279 (2015)"},{"key":"15_CR18","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":"15_CR19","doi-asserted-by":"publisher","first-page":"81","DOI":"10.3389\/fbioe.2014.00081","volume":"2","author":"T Ribeiro","year":"2015","unstructured":"Ribeiro, T., Magnin, M., Inoue, K., Sakama, C.: Learning delayed influences of biological systems. Front. Bioeng. Biotechnol. 2, 81 (2015)","journal-title":"Front. Bioeng. Biotechnol."},{"key":"15_CR20","unstructured":"Rintala, T., et al.: Using boolean network extraction of trained neural networks to reverse-engineer gene-regulatory networks from time-series data (2019)"},{"key":"15_CR21","unstructured":"Vaswani, A., et al.: Attention is all you need. CoRR, abs\/1706.03762 (2017)"},{"issue":"10","key":"15_CR22","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":"15_CR23","unstructured":"Zeiler, M.D.: ADADELTA: an adaptive learning rate method. CoRR, abs\/1212.5701 (2012)"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-97454-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,18]],"date-time":"2023-11-18T00:18:15Z","timestamp":1700266695000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-97454-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783030974534","9783030974541"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-97454-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"24 February 2022","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 Conference on Inductive Logic Programming","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 October 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ilp2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/lr2020.iit.demokritos.gr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"10","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"16","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"160% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}