{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T15:42:07Z","timestamp":1774366927548,"version":"3.50.1"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030911669","type":"print"},{"value":"9783030911676","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"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":[[2021]]},"DOI":"10.1007\/978-3-030-91167-6_7","type":"book-chapter","created":{"date-parts":[[2021,12,2]],"date-time":"2021-12-02T14:13:49Z","timestamp":1638454429000},"page":"95-110","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0832-0151","authenticated-orcid":false,"given":"Pierangela","family":"Bruno","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0866-0834","authenticated-orcid":false,"given":"Francesco","family":"Calimeri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3920-8186","authenticated-orcid":false,"given":"Cinzia","family":"Marte","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3323-9328","authenticated-orcid":false,"given":"Marco","family":"Manna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,1,1]]},"reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-319-70169-1_20","volume-title":"AI*IA 2017 Advances in Artificial Intelligence","author":"WT Adrian","year":"2017","unstructured":"Adrian, W.T., Leone, N., Manna, M., Marte, C.: Document layout analysis for semantic information extraction. In: Esposito, F., Basili, R., Ferilli, S., Lisi, F. (eds.) AI*IA 2017. LNCS, vol. 10640, pp. 269\u2013281. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-319-70169-1_20"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-319-61660-5_19","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Alviano","year":"2017","unstructured":"Alviano, M., et al.: The ASP system DLV2. In: Balduccini, M., Janhunen, T. (eds.) LPNMR 2017. LNCS (LNAI), vol. 10377, pp. 215\u2013221. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61660-5_19"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-319-23264-5_5","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Alviano","year":"2015","unstructured":"Alviano, M., Dodaro, C., Leone, N., Ricca, F.: Advances in WASP. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS (LNAI), vol. 9345, pp. 40\u201354. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23264-5_5"},{"issue":"2","key":"7_CR4","doi-asserted-by":"publisher","first-page":"109","DOI":"10.3233\/IA-170030","volume":"12","author":"M Alviano","year":"2018","unstructured":"Alviano, M., Dodaro, C., Maratea, M.: Nurse (re) scheduling via answer set programming. Intelligenza Artificiale 12(2), 109\u2013124 (2018)","journal-title":"Intelligenza Artificiale"},{"issue":"12","key":"7_CR5","doi-asserted-by":"publisher","first-page":"2481","DOI":"10.1109\/TPAMI.2016.2644615","volume":"39","author":"V Badrinarayanan","year":"2017","unstructured":"Badrinarayanan, V., Kendall, A., Cipolla, R.: SegNet: a deep convolutional encoder-decoder architecture for image segmentation. IEEE Trans. Pattern Anal. Mach. Intell. 39(12), 2481\u20132495 (2017)","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"issue":"12","key":"7_CR6","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-030-03840-3_5","volume-title":"AI*IA 2018 \u2013 Advances in Artificial Intelligence","author":"P Bruno","year":"2018","unstructured":"Bruno, P., et al.: Using CNNs for designing and implementing an automatic vascular segmentation method of biomedical images. In: Ghidini, C., Magnini, B., Passerini, A., Traverso, P. (eds.) AI*IA 2018. LNCS (LNAI), vol. 11298, pp. 60\u201370. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03840-3_5"},{"issue":"1","key":"7_CR8","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1017\/S1471068419000449","volume":"21","author":"F Calimeri","year":"2021","unstructured":"Calimeri, F., et al.: A logic-based framework leveraging neural networks for studying the evolution of neurological disorders. Theory Pract. Logic Program. 21(1), 80\u2013124 (2021)","journal-title":"Theory Pract. Logic Program."},{"issue":"2","key":"7_CR9","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1017\/S1471068418000546","volume":"20","author":"F Calimeri","year":"2020","unstructured":"Calimeri, F., Dodaro, C., Fusc\u00e0, D., Perri, S., Zangari, J.: Efficiently coupling the I-DLV grounder with ASP solvers. Theory Pract. Log. Program. 20(2), 205\u2013224 (2020)","journal-title":"Theory Pract. Log. Program."},{"issue":"2","key":"7_CR10","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1017\/S1471068419000450","volume":"20","author":"F Calimeri","year":"2020","unstructured":"Calimeri, F., Faber, W., Gebser, M., Ianni, G., Kaminski, R., Krennwallner, T., Leone, N., Maratea, M., Ricca, F., Schaub, T.: Asp-core-2 input language format. Theory Pract. Log. Program. 20(2), 294\u2013309 (2020)","journal-title":"Theory Pract. Log. Program."},{"issue":"1","key":"7_CR11","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/s00354-018-0046-2","volume":"37","author":"F Calimeri","year":"2019","unstructured":"Calimeri, F., Fusc\u00e0, D., Germano, S., Perri, S., Zangari, J.: Fostering the use of declarative formalisms for real-world applications: the embasp framework. New Gener. Comput. 37(1), 29\u201365 (2019). https:\/\/doi.org\/10.1007\/s00354-018-0046-2","journal-title":"New Gener. Comput."},{"issue":"1","key":"7_CR12","doi-asserted-by":"publisher","first-page":"5","DOI":"10.3233\/IA-170104","volume":"11","author":"F Calimeri","year":"2017","unstructured":"Calimeri, F., Fusc\u00e0, D., Perri, S., Zangari, J.: I-dlv: the new intelligent grounder of dlv. Intelligenza Artificiale 11(1), 5\u201320 (2017)","journal-title":"Intelligenza Artificiale"},{"issue":"4","key":"7_CR13","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1017\/S1471068419000036","volume":"19","author":"F Calimeri","year":"2019","unstructured":"Calimeri, F., Perri, S., Zangari, J.: Optimizing answer set computation via heuristic-based decomposition. Theory Pract. Logic Program. 19(4), 603\u2013628 (2019)","journal-title":"Theory Pract. Logic Program."},{"key":"7_CR14","doi-asserted-by":"publisher","DOI":"10.1016\/j.media.2021.102008","volume":"70","author":"A Casella","year":"2021","unstructured":"Casella, A., Moccia, S., Paladini, D., Frontoni, E., De Momi, E., Mattos, L.S.: A shape-constraint adversarial framework with instance-normalized spatio-temporal features for inter-fetal membrane segmentation. Med. Image Anal. 70, 102008 (2021)","journal-title":"Med. Image Anal."},{"key":"7_CR15","unstructured":"Chen, L.C., Papandreou, G., Schroff, F., Adam, H.: Rethinking atrous convolution for semantic image segmentation. arXiv preprint arXiv:1706.05587 (2017)"},{"issue":"6","key":"7_CR16","doi-asserted-by":"publisher","first-page":"864","DOI":"10.1017\/S1471068420000290","volume":"20","author":"R Costabile","year":"2020","unstructured":"Costabile, R., Catalano, G., Cuteri, B., Morelli, M.C., Leone, N., Manna, M.: A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification. Theory Pract. Logic Program. 20(6), 864\u2013879 (2020)","journal-title":"Theory Pract. Logic Program."},{"issue":"3","key":"7_CR17","first-page":"53","volume":"37","author":"E Erdem","year":"2016","unstructured":"Erdem, E., Gelfond, M., Leone, N.: Applications of answer set programming. AI Mag. 37(3), 53\u201368 (2016)","journal-title":"AI Mag."},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Janocha, K., Czarnecki, W.M.: On loss functions for deep neural networks in classification. arXiv preprint arXiv:1702.05659 (2017)","DOI":"10.4467\/20838476SI.16.004.6185"},{"issue":"3","key":"7_CR19","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1214\/aoms\/1177729392","volume":"23","author":"J Kiefer","year":"1952","unstructured":"Kiefer, J., Wolfowitz, J., et al.: Stochastic estimation of the maximum of a regression function. Ann. Math. Stat. 23(3), 462\u2013466 (1952)","journal-title":"Ann. Math. Stat."},{"issue":"1","key":"7_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1038\/s41598-019-56847-4","volume":"10","author":"T Kim","year":"2020","unstructured":"Kim, T., et al.: Active learning for accuracy enhancement of semantic segmentation with CNN-corrected label curations: evaluation on kidney segmentation in abdominal CT. Sci. Rep. 10(1), 1\u20137 (2020)","journal-title":"Sci. Rep."},{"issue":"3","key":"7_CR21","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/s11548-018-01910-0","volume":"14","author":"M-H Laves","year":"2019","unstructured":"Laves, M.-H., Bicker, J., Kahrs, L.A., Ortmaier, T.: A dataset of laryngeal endoscopic images with comparative study on convolution neural network-based semantic segmentation. Int. J. Comput. Assist. Radiol. Surg. 14(3), 483\u2013492 (2019). https:\/\/doi.org\/10.1007\/s11548-018-01910-0","journal-title":"Int. J. Comput. Assist. Radiol. Surg."},{"key":"7_CR22","unstructured":"Li, H., Cai, J., Nguyen, T.N.A., Zheng, J.: A benchmark for semantic image segmentation. In: 2013 IEEE International Conference on Multimedia and Expo (ICME), pp. 1\u20136. IEEE (2013)"},{"issue":"3","key":"7_CR23","doi-asserted-by":"publisher","first-page":"1224","DOI":"10.3390\/su13031224","volume":"13","author":"X Liu","year":"2021","unstructured":"Liu, X., Song, L., Liu, S., Zhang, Y.: A review of deep-learning-based medical image segmentation methods. Sustainability 13(3), 1224 (2021)","journal-title":"Sustainability"},{"issue":"6","key":"7_CR24","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1017\/S1471068413000094","volume":"14","author":"M Maratea","year":"2014","unstructured":"Maratea, M., Pulina, L., Ricca, F.: A multi-engine approach to answer-set programming. Theory Pract. Logic Program. 14(6), 841\u2013868 (2014)","journal-title":"Theory Pract. Logic Program."},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Mastria, E., Zangari, J., Perri, S., Calimeri, F.: A machine learning guided rewriting approach for asp logic programs. arXiv preprint arXiv:2009.10252 (2020)","DOI":"10.4204\/EPTCS.325.31"},{"key":"7_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-030-36711-4_13","volume-title":"Neural Information Processing","author":"Z-L Ni","year":"2019","unstructured":"Ni, Z.-L., et al.: RAUNet: residual attention U-Net for semantic segmentation of cataract surgical instruments. In: Gedeon, T., Wong, K.W., Lee, M. (eds.) ICONIP 2019. LNCS, vol. 11954, pp. 139\u2013149. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-36711-4_13"},{"issue":"6","key":"7_CR27","doi-asserted-by":"publisher","first-page":"959","DOI":"10.3390\/rs12060959","volume":"12","author":"M Pashaei","year":"2020","unstructured":"Pashaei, M., Kamangir, H., Starek, M.J., Tissot, P.: Review and evaluation of deep learning architectures for efficient land cover mapping with UAS hyper-spatial imagery: a case study over a wetland. Remote Sens. 12(6), 959 (2020)","journal-title":"Remote Sens."},{"issue":"21","key":"7_CR28","doi-asserted-by":"publisher","first-page":"15329","DOI":"10.1007\/s11042-019-7305-1","volume":"79","author":"M Rezaei","year":"2020","unstructured":"Rezaei, M., Yang, H., Meinel, C.: Recurrent generative adversarial network for learning imbalanced medical image semantic segmentation. Multimed. Tools Appl. 79(21), 15329\u201315348 (2020). https:\/\/doi.org\/10.1007\/s11042-019-7305-1","journal-title":"Multimed. Tools Appl."},{"key":"7_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/978-3-319-24574-4_28","volume-title":"Medical Image Computing and Computer-Assisted Intervention \u2013 MICCAI 2015","author":"O Ronneberger","year":"2015","unstructured":"Ronneberger, O., Fischer, P., Brox, T.: U-Net: convolutional networks for biomedical image segmentation. In: Navab, N., Hornegger, J., Wells, W.M., Frangi, A.F. (eds.) MICCAI 2015. LNCS, vol. 9351, pp. 234\u2013241. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-24574-4_28"},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"Shotton, J., Kohli, P., Ikeuchi, K.: Semantic image segmentation (2014)","DOI":"10.1007\/978-0-387-31439-6_251"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Spadea, M.F., et al.: Contrast-enhanced proton radiography for patient set-up by using x-ray CT prior knowledge. Int. J. Radiat. Oncol.* Biol.* Phys. 90(3), 628\u2013636 (2014)","DOI":"10.1016\/j.ijrobp.2014.06.057"},{"issue":"1","key":"7_CR32","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/s10462-020-09854-1","volume":"54","author":"S Asgari Taghanaki","year":"2020","unstructured":"Asgari Taghanaki, S., Abhishek, K., Cohen, J.P., Cohen-Adad, J., Hamarneh, G.: Deep semantic segmentation of natural and medical images: a review. Artif. Intell. Rev. 54(1), 137\u2013178 (2020). https:\/\/doi.org\/10.1007\/s10462-020-09854-1","journal-title":"Artif. Intell. Rev."},{"key":"7_CR33","unstructured":"Xu, J., Zhang, Z., Friedman, T., Liang, Y., Broeck, G.: A semantic loss function for deep learning with symbolic knowledge. In: International Conference on Machine Learning, pp. 5502\u20135511. PMLR (2018)"},{"key":"7_CR34","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, pp. 1755\u20131762 (2020)","DOI":"10.24963\/ijcai.2020\/243"}],"container-title":["Lecture Notes in Computer Science","Rules and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-91167-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,2]],"date-time":"2021-12-02T14:28:09Z","timestamp":1638455289000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-91167-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030911669","9783030911676"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-91167-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"1 January 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RuleML+RR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Joint Conference on Rules and Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Leuven","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Belgium","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 September 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 September 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rulemlrr2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/declarativeai2021.net\/ruleml-rr\/","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":"39","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":"17","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":"2","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":"44% - 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":"2.9","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":"3","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5 reviews were done by sub-reviewers, who were invited by individual PC members.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}