{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T07:42:50Z","timestamp":1763192570772,"version":"3.45.0"},"reference-count":29,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,6,30]],"date-time":"2025-06-30T00:00:00Z","timestamp":1751241600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,6,30]],"date-time":"2025-06-30T00:00:00Z","timestamp":1751241600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,6,30]]},"DOI":"10.1109\/ijcnn64981.2025.11227885","type":"proceedings-article","created":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T18:46:15Z","timestamp":1763145975000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["Integrating Background Knowledge in Medical Semantic Segmentation with Logic Tensor Networks"],"prefix":"10.1109","author":[{"given":"Luca","family":"Bergamin","sequence":"first","affiliation":[{"name":"University of Padua,Department of Mathematics,Padova,Italy"}]},{"given":"Giovanna Maria","family":"Dimitri","sequence":"additional","affiliation":[{"name":"University of Siena,Department of Information Engineering and Mathematics,Siena,Italy"}]},{"given":"Fabio","family":"Aiolli","sequence":"additional","affiliation":[{"name":"University of Padua,Department of Mathematics,Padova,Italy"}]}],"member":"263","reference":[{"article-title":"Memory, hippocampus, and brain systems","year":"1995","author":"Squire","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1097\/MD.0000000000041662"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.jocn.2025.111073"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1186\/s12880-023-01103-5"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.inffus.2022.07.017"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24574-4_28"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1186\/s12938-019-0623-8"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.neuroimage.2019.116459"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10278-022-00613-y"},{"key":"ref10","article-title":"Fully automated hippocampus segmentation using T2-informed deep convolutional neural networks","volume":"224","author":"Biberacher","year":"2021","journal-title":"NeuroImage"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV48922.2021.00986"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-08999-2_22"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2015.7298965"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24574-4_28"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2017.2699184"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-020-09854-1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2021.103649"},{"article-title":"LTNtorch: PyTorch Implementation of Logic Tensor Networks","year":"2024","author":"Carraro","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-022-30695-9"},{"article-title":"Benchmarking in Neuro-Symbolic AI","volume-title":"Proceedings of The 4th International Joint Conference on Learning & Reasoning","author":"Manhaeve","key":"ref20"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.3390\/rs15102590"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-023-10448-w"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.2307\/1932409.JSTOR1932409"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2022\/767"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1136\/jnnp.65.5.656"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.3389\/fnins.2021.666000"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.neuroimage.2019.116459"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.neucom.2023.126510"},{"article-title":"Neuro-symbolic learning: Principles and applications in ophthalmology","year":"2022","author":"Hassan","key":"ref29"}],"event":{"name":"2025 International Joint Conference on Neural Networks (IJCNN)","start":{"date-parts":[[2025,6,30]]},"location":"Rome, Italy","end":{"date-parts":[[2025,7,5]]}},"container-title":["2025 International Joint Conference on Neural Networks (IJCNN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11227166\/11227148\/11227885.pdf?arnumber=11227885","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T07:38:23Z","timestamp":1763192303000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11227885\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,30]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/ijcnn64981.2025.11227885","relation":{},"subject":[],"published":{"date-parts":[[2025,6,30]]}}}