{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T10:05:55Z","timestamp":1776333955759,"version":"3.51.2"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T00:00:00Z","timestamp":1706572800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T00:00:00Z","timestamp":1706572800000},"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":["Mach Learn"],"published-print":{"date-parts":[[2024,6]]},"DOI":"10.1007\/s10994-023-06436-4","type":"journal-article","created":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T13:02:47Z","timestamp":1706619767000},"page":"3357-3377","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Reduced implication-bias logic loss for neuro-symbolic learning"],"prefix":"10.1007","volume":"113","author":[{"given":"Hao-Yuan","family":"He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wang-Zhou","family":"Dai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ming","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,1,30]]},"reference":[{"key":"6436_CR1","doi-asserted-by":"publisher","unstructured":"Badreddine, Samy., & , Artur\u00a0S d\u2019Avila. (2022) Luciano Serafini, and Michael Spranger. Logic tensor networks. Artificial Intelligence Journal. https:\/\/doi.org\/10.1016\/j.artint.2021.103649.","DOI":"10.1016\/j.artint.2021.103649"},{"key":"6436_CR2","doi-asserted-by":"publisher","unstructured":"Cignoli, Roberto. (2007). The Algebras of \u0141ukasiewicz Many-Valued Logic: A Historical Overview. https:\/\/doi.org\/10.1007\/978-3-540-75939-3_5","DOI":"10.1007\/978-3-540-75939-3_5"},{"key":"6436_CR3","doi-asserted-by":"crossref","unstructured":"Clark, Keith\u00a0L. (1978) Negation as failure. In Logic and data bases, pages 293\u2013322.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"6436_CR4","doi-asserted-by":"publisher","unstructured":"Cohen, William W., Yang, Fan, & Mazaitis, Kathryn. (2020). Tensorlog: A probabilistic database implemented using deep-learning infrastructure. Journal of Artificial Intelligence Research. https:\/\/doi.org\/10.1613\/jair.1.11944","DOI":"10.1613\/jair.1.11944"},{"key":"6436_CR5","unstructured":"Dai, Wang-Zhou., Xu, Qiu-Ling., Yu, Yang., Zhou, & Zhi-Hua (2019) Bridging machine learning and logical reasoning by abductive learning. In Conference on Neural Information Processing Systems"},{"key":"6436_CR6","unstructured":"Darwiche,Adnan (2011) SDD: A new canonical representation of propositional knowledge bases. In International Joint Conference on Artificial Intelligence, pages 819\u2013826."},{"key":"6436_CR7","unstructured":"d\u2019Avila Garcez, Artur\u00a0S.., Gori, Marco., Lamb, Lu\u00eds\u00a0C.., Serafini, Luciano., Spranger, Michael., & Tran, Son\u00a0N. (2019) Neural-symbolic computing: An effective methodology for principled integration of machine learning and reasoning. Journal of Applied Logics"},{"key":"6436_CR8","doi-asserted-by":"publisher","unstructured":"Deng, Li. (2012). The MNIST database of handwritten digit images for machine learning research. IEEE Signal Processing Magazine. https:\/\/doi.org\/10.1109\/MSP.2012.2211477","DOI":"10.1109\/MSP.2012.2211477"},{"key":"6436_CR9","unstructured":"Enderton, Herbert\u00a0B. (1972) A mathematical introduction to logic."},{"key":"6436_CR10","unstructured":"Fischer, Marc., Balunovic, Mislav., Drachsler-Cohen, Dana., Gehr, Timon., Zhang, Ce., & Vechev, Martin\u00a0T. (2019) DL2: training and querying neural networks with logic. In International Conference on Machine Learning"},{"key":"6436_CR11","doi-asserted-by":"publisher","unstructured":"Geirhos, Robert, Jacobsen, J\u00f6rn-Henrik., Michaelis, Claudio, Zemel, Richard S., Brendel, Wieland, Bethge, Matthias, & Wichmann, Felix A. (2020). Shortcut learning in deep neural networks. Nat. Mach. Intell.https:\/\/doi.org\/10.1038\/s42256-020-00257-z","DOI":"10.1038\/s42256-020-00257-z"},{"key":"6436_CR12","doi-asserted-by":"publisher","unstructured":"Gerla, Brunella, & Rovere, Massimo Dalla (2011). Nilpotent minimum fuzzy description logics. In European Society for Fuzzy Logic and Technology. https:\/\/doi.org\/10.2991\/eusflat.2011.127","DOI":"10.2991\/eusflat.2011.127"},{"key":"6436_CR30","unstructured":"Geoffrey, G. (1994). Towell and Jude W. Artificial Intelligence Journal: Shavlik. Knowledge-based artificial neural networks."},{"key":"6436_CR13","doi-asserted-by":"publisher","unstructured":"Giannini, Francesco, Marra, Giuseppe, Diligenti, Michelangelo, Maggini, Marco, & Gori, Marco. (2019). On the relation between loss functions and t-norms. In International Conference on Inductive Logic Programming. https:\/\/doi.org\/10.1007\/978-3-030-49210-6_4","DOI":"10.1007\/978-3-030-49210-6_4"},{"key":"6436_CR14","doi-asserted-by":"publisher","unstructured":"He, Kaiming, Zhang, Xiangyu, Ren, Shaoqing, & Sun, Jian. (2016). Deep residual learning for image recognition. In IEEE Conference on Computer Vision and Pattern Recognition. https:\/\/doi.org\/10.1109\/CVPR.2016.90","DOI":"10.1109\/CVPR.2016.90"},{"key":"6436_CR15","doi-asserted-by":"crossref","unstructured":"Hoernle, Nick., Karampatsis, Rafael-Michael., Belle, Vaishak., & Gal, Kobi (2022) Multiplexnet: Towards fully satisfied logical constraints in neural networks. In AAAI Conference on Artificial Intelligence.","DOI":"10.1609\/aaai.v36i5.20512"},{"key":"6436_CR16","unstructured":"Klement, E.P., Mesiar, R., & Pap, E. (2013) Triangular Norms."},{"key":"6436_CR17","unstructured":"Krizhevsky, Alex., & Hinton, Geoffrey. (2009) et\u00a0al. Learning multiple layers of features from tiny images. Technical Report TR 2009"},{"key":"6436_CR18","doi-asserted-by":"publisher","unstructured":"Li, Tao., & Srikumar, Vivek (2019) Augmenting neural networks with first-order logic. In Anna Korhonen, David\u00a0R. Traum, and Llu\u00eds M\u00e0rquez, editors, Annual Meeting of the Association for Computational Linguistics. https:\/\/doi.org\/10.18653\/v1\/p19-1028.","DOI":"10.18653\/v1\/p19-1028"},{"key":"6436_CR19","unstructured":"Maas, Andrew\u00a0L., Hannun, Awni\u00a0Y., & Ng, Andrew\u00a0Y., (2013) et\u00a0al. Rectifier nonlinearities improve neural network acoustic models. In International Conference on Machine Learning"},{"key":"6436_CR20","unstructured":"Manhaeve, Robin., Dumancic, Sebastijan., Kimmig, Angelika., Demeester, Thomas., & Raedt,Luc\u00a0De (2018) Deepproblog: Neural probabilistic logic programming. In Conference on Neural Information Processing Systems"},{"key":"6436_CR21","unstructured":"Marra, Giuseppe., Dumancic, Sebastijan., Manhaeve, Robin., & Raedt, Luc\u00a0De (2021) From statistical relational to neural symbolic artificial intelligence. CoRR."},{"key":"6436_CR22","unstructured":"M\u00fcller, Rafael., Kornblith, Simon., & Hinton, Geoffrey\u00a0E. (2019) When does label smoothing help? In Conference on Neural Information Processing Systems"},{"key":"6436_CR23","unstructured":"Natarajan, Nagarajan., Dhillon, Inderjit\u00a0S., Ravikumar, Pradeep., & Tewari, Ambuj (2013) Learning with noisy labels. In Conference on Neural Information Processing Systems."},{"key":"6436_CR24","doi-asserted-by":"crossref","unstructured":"Paad, Akbar (2016) Relation between (fuzzy) g\u00f6del ideals and (fuzzy) boolean ideals in bl-algebras. Discussiones Mathematicae General Algebra and Applications","DOI":"10.7151\/dmgaa.1251"},{"key":"6436_CR25","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1109\/TST.2012.6374363","volume":"6","author":"Piyaphol Phoungphol","year":"2012","unstructured":"Phoungphol, Piyaphol, Zhang, Yanqing, & Zhao, Yichuan. (2012). Robust multiclass classification for learning from imbalanced biomedical data. Tsinghua Science and technology, 6, 619\u2013628.","journal-title":"Tsinghua Science and technology"},{"key":"6436_CR26","doi-asserted-by":"publisher","unstructured":"Raedt, Luc\u00a0De., Dumancic, Sebastijan., Manhaeve, Robin., & Marra, Giuseppe (2020) From statistical relational to neuro-symbolic artificial intelligence. In International Joint Conference on Artificial Intelligence. https:\/\/doi.org\/10.24963\/ijcai.2020\/688.","DOI":"10.24963\/ijcai.2020\/688"},{"key":"6436_CR27","doi-asserted-by":"publisher","unstructured":"Reiter, Raymond. (1978). On Closed World Data. Bases.https:\/\/doi.org\/10.1007\/978-1-4684-3384-5_3","DOI":"10.1007\/978-1-4684-3384-5_3"},{"key":"6436_CR28","doi-asserted-by":"publisher","unstructured":"Reiter, Raymond. (1980). A logic for default reasoning. AI. https:\/\/doi.org\/10.1016\/0004-3702(80)90014-4","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"6436_CR29","doi-asserted-by":"publisher","unstructured":"Roychowdhury, Soumali, Diligenti, Michelangelo, & Gori, Marco. (2021). Regularizing deep networks with prior knowledge: A constraint-based approach. Knowledge-Based System. https:\/\/doi.org\/10.1016\/j.knosys.2021.106989","DOI":"10.1016\/j.knosys.2021.106989"},{"key":"6436_CR31","doi-asserted-by":"publisher","unstructured":"van Krieken, Emile, Acar, Erman, & van Harmelen, Frank. (2022). Analyzing differentiable fuzzy logic operators. Artificial Intelligence Journal. https:\/\/doi.org\/10.1016\/j.artint.2021.103602","DOI":"10.1016\/j.artint.2021.103602"},{"key":"6436_CR32","unstructured":"Xiao, Han., Rasul, Kashif., & Vollgraf, Roland (2017) Fashion-mnist: a novel image dataset for benchmarking machine learning. CoRR"},{"key":"6436_CR33","unstructured":"Xu, Jingyi., Zhang, Zilu., Friedman, Tal., Liang, Yitao., & Broeck, Guy\u00a0Van den (2018) A semantic loss function for deep learning with symbolic knowledge. In International Conference on Machine Learning"},{"key":"6436_CR100","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-022-2223-1","volume":"17","author":"E Xu","year":"2023","unstructured":"Xu, E., Yu, Z., Li, N., Cui, H., Yao, L., & Guo, B. (2023). Quantifying predictability of sequential recommendation via logical constraints. Frontiers of Computer Science, 17, https:\/\/doi.org\/10.1007\/s11704-022-2223-1.","journal-title":"Frontiers of Computer Science"},{"key":"6436_CR34","unstructured":"Yang, Zhun., Lee, Joohyung., & Park, Chiyoun (2022) Injecting logical constraints into neural networks via straight-through estimators. In International Conference on Machine Learning"},{"key":"6436_CR35","doi-asserted-by":"crossref","unstructured":"Zagoruyko, Sergey., & Komodakis, Nikos (2016) Wide residual networks. In British Machine Vision Conference","DOI":"10.5244\/C.30.87"},{"key":"6436_CR36","doi-asserted-by":"publisher","unstructured":"Zhou, Zhi-Hua. (2019). Abductive learning: towards bridging machine learning and logical reasoning. Science China Information Sciences. https:\/\/doi.org\/10.1007\/s11432-018-9801-4","DOI":"10.1007\/s11432-018-9801-4"}],"container-title":["Machine Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10994-023-06436-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10994-023-06436-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10994-023-06436-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T18:04:35Z","timestamp":1764266675000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10994-023-06436-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,30]]},"references-count":37,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2024,6]]}},"alternative-id":["6436"],"URL":"https:\/\/doi.org\/10.1007\/s10994-023-06436-4","relation":{},"ISSN":["0885-6125","1573-0565"],"issn-type":[{"value":"0885-6125","type":"print"},{"value":"1573-0565","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,1,30]]},"assertion":[{"value":"1 June 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 August 2023","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 October 2023","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 January 2024","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Not applicable.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}},{"value":"Not applicable.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent to participate"}},{"value":"Not applicable.","order":5,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent for publication"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}