{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,17]],"date-time":"2026-05-17T05:20:28Z","timestamp":1778995228877,"version":"3.51.4"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032051264","type":"print"},{"value":"9783032051271","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,9,20]],"date-time":"2025-09-20T00:00:00Z","timestamp":1758326400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,9,20]],"date-time":"2025-09-20T00:00:00Z","timestamp":1758326400000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-05127-1_40","type":"book-chapter","created":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T21:16:10Z","timestamp":1758316570000},"page":"413-423","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Prolog-Driven Rule-Based Diagnostics with\u00a0Large Language Models for\u00a0Precise Clinical Decision Support"],"prefix":"10.1007","author":[{"given":"Xiaoyu","family":"Tan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bin","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weidi","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chao","family":"Qu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Chu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yinghui","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuan","family":"Qi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xihe","family":"Qiu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,9,20]]},"reference":[{"key":"40_CR1","unstructured":"AI@Meta: Llama 3 model card (2024)"},{"key":"40_CR2","doi-asserted-by":"crossref","unstructured":"Alsentzer, E., et al.: Publicly available clinical BERT embeddings. In: Proceedings of the 2nd Clinical Natural Language Processing Workshop, pp. 72\u201378 (2019)","DOI":"10.18653\/v1\/W19-1909"},{"issue":"1","key":"40_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(85)90002-0","volume":"2","author":"AK Chandra","year":"1985","unstructured":"Chandra, A.K., Harel, D.: Horn clause queries and generalizations. J. Logic Program. 2(1), 1\u201315 (1985)","journal-title":"J. Logic Program."},{"key":"40_CR4","unstructured":"Christiano, P.F., Leike, J., Brown, T., Martic, M., Legg, S., Amodei, D.: Deep reinforcement learning from human preferences. In: Advances in Neural Information processing Systems, vol. 30 (2017)"},{"key":"40_CR5","unstructured":"Cobbe, K., et\u00a0al.: Training verifiers to solve math word problems. arXiv preprint arXiv:2110.14168 (2021)"},{"issue":"7","key":"40_CR6","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/79204.79210","volume":"33","author":"A Colmerauer","year":"1990","unstructured":"Colmerauer, A.: An introduction to prolog III. Commun. ACM 33(7), 69\u201390 (1990)","journal-title":"Commun. ACM"},{"key":"40_CR7","unstructured":"Devlin, J., Chang, M.W., Lee, K., Toutanova, K.: Bert: pre-training of deep bidirectional transformers for language understanding. In: Proceedings of the 2019 NAACL-HLT, pp. 4171\u20134186 (2019)"},{"key":"40_CR8","doi-asserted-by":"crossref","unstructured":"Goyal, S., et al.: HealAI: a healthcare LLM for effective medical documentation. In: Proceedings of the 17th ACM International Conference on Web Search and Data Mining. WSDM \u201924, pp. 1167\u20131168 (2024)","DOI":"10.1145\/3616855.3635739"},{"key":"40_CR9","unstructured":"Gu, Y., et al.: Domain-specific language model pretraining for biomedical natural language processing (2020)"},{"key":"40_CR10","doi-asserted-by":"crossref","unstructured":"Huang, Q., et al.: Opera: alleviating hallucination in multi-modal large language models via over-trust penalty and retrospection-allocation. In: Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition (CVPR), pp. 13418\u201313427 (2024)","DOI":"10.1109\/CVPR52733.2024.01274"},{"key":"40_CR11","doi-asserted-by":"crossref","unstructured":"Ji, Z., et al.: Survey of hallucination in natural language generation. ACM Comput. Surv. 55(12) (2023)","DOI":"10.1145\/3571730"},{"key":"40_CR12","unstructured":"Lee, J., Hwang, W.: SYMBA: symbolic backward chaining for multi-step natural language reasoning. arXiv preprint arXiv:2402.12806 (2024)"},{"key":"40_CR13","doi-asserted-by":"crossref","unstructured":"Li, Y., Wang, S., Ding, H., Chen, H.: Large language models in finance: a survey. In: Proceedings of the Fourth ACM International Conference on AI in Finance. ICAIF \u201923, pp. 374\u2013382 (2023)","DOI":"10.1145\/3604237.3626869"},{"key":"40_CR14","unstructured":"Ling, Z., et al.: Deductive verification of chain-of-thought reasoning. In: Advances in Neural Information Processing Systems, vol.\u00a036, pp. 36407\u201336433 (2023)"},{"issue":"54","key":"40_CR15","doi-asserted-by":"publisher","first-page":"93168","DOI":"10.18632\/oncotarget.21450","volume":"8","author":"C Liu","year":"2017","unstructured":"Liu, C., Chen, M.S., Yu, H.: The relationship between obstructive sleep apnea and obesity hypoventilation syndrome: a systematic review and meta-analysis. Oncotarget 8(54), 93168 (2017)","journal-title":"Oncotarget"},{"key":"40_CR16","doi-asserted-by":"crossref","unstructured":"Luo, R., et al.: BioGPT: generative pre-trained transformer for biomedical text generation and mining. Briefings Bioinform. 23(6) (2022)","DOI":"10.1093\/bib\/bbac409"},{"key":"40_CR17","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/s11325-006-0087-5","volume":"11","author":"F Ohdaira","year":"2007","unstructured":"Ohdaira, F., et al.: Demographic characteristics of 3,659 Japanese patients with obstructive sleep apnea-hypopnea syndrome diagnosed by full polysomnography: associations with apnea-hypopnea index. Sleep Breath. 11, 93\u2013101 (2007)","journal-title":"Sleep Breath."},{"key":"40_CR18","unstructured":"Ribeiro, D., et\u00a0al.: Street: a multi-task structured reasoning and explanation benchmark. arXiv preprint arXiv:2302.06729 (2023)"},{"key":"40_CR19","doi-asserted-by":"crossref","unstructured":"Tafjord, O., Dalvi, B., Clark, P.: ProofWriter: generating implications, proofs, and abductive statements over natural language. In: Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021, pp. 3621\u20133634 (2021)","DOI":"10.18653\/v1\/2021.findings-acl.317"},{"key":"40_CR20","unstructured":"Touvron, H., et\u00a0al.: Llama 2: open foundation and fine-tuned chat models. arXiv preprint arXiv:2307.09288 (2023)"},{"issue":"7","key":"40_CR21","doi-asserted-by":"publisher","first-page":"713","DOI":"10.7150\/ijms.7487","volume":"11","author":"Q Wang","year":"2014","unstructured":"Wang, Q., et al.: The association between the phenotype of excessive daytime sleepiness and blood pressure in patients with obstructive sleep apnea-hypopnea syndrome. Int. J. Med. Sci. 11(7), 713 (2014)","journal-title":"Int. J. Med. Sci."},{"key":"40_CR22","unstructured":"Wei, J., et al.: Chain-of-thought prompting elicits reasoning in large language models. In: Advances in Neural Information Processing Systems, vol.\u00a035, pp. 24824\u201324837 (2022)"},{"issue":"1\u20132","key":"40_CR23","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1017\/S1471068411000494","volume":"12","author":"J Wielemaker","year":"2012","unstructured":"Wielemaker, J., Schrijvers, T., Triska, M., Lager, T.: Swi-prolog. Theory Pract. Logic Program. 12(1\u20132), 67\u201396 (2012)","journal-title":"Theory Pract. Logic Program."},{"key":"40_CR24","unstructured":"Wies, N., Levine, Y., Shashua, A.: The learnability of in-context learning. In: Advances in Neural Information Processing Systems, vol.\u00a036, pp. 36637\u201336651 (2023)"},{"key":"40_CR25","unstructured":"Wu, X., Li, Y.L., Sun, J., Lu, C.: Symbol-LLM: leverage language models for symbolic system in visual human activity reasoning. In: Advances in Neural Information Processing Systems, vol.\u00a036, pp. 29680\u201329691 (2023)"},{"key":"40_CR26","doi-asserted-by":"crossref","unstructured":"Xu, F., et al.: Symbol-LLM: towards foundational symbol-centric interface for large language models. arXiv preprint arXiv:2311.09278 (2023)","DOI":"10.18653\/v1\/2024.acl-long.707"},{"key":"40_CR27","unstructured":"Yang, S., Li, X., Cui, L., Bing, L., Lam, W.: Neuro-symbolic integration brings causal and reliable reasoning proofs. arXiv preprint (2023)"},{"key":"40_CR28","unstructured":"Yang, X., et al.: A large language model for electronic health records. NPJ Dig. Med. 5(1), 194 (2022)"},{"key":"40_CR29","doi-asserted-by":"crossref","unstructured":"Yang, Z., et al.: Talk2care: an LLM-based voice assistant for communication between healthcare providers and older adults. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 8(2) (2024)","DOI":"10.1145\/3659625"},{"key":"40_CR30","unstructured":"Zhang, Y., et\u00a0al.: Siren\u2019s song in the AI ocean: a survey on hallucination in large language models. arXiv preprint arXiv:2309.01219 (2023)"},{"key":"40_CR31","unstructured":"Zheng, H.S., et al.: Take a step back: evoking reasoning via abstraction in large language models. In: The Twelfth International Conference on Learning Representations (2024)"}],"container-title":["Lecture Notes in Computer Science","Medical Image Computing and Computer Assisted Intervention \u2013 MICCAI 2025"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-05127-1_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T21:16:18Z","timestamp":1758316578000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-05127-1_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,20]]},"ISBN":["9783032051264","9783032051271"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-05127-1_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9,20]]},"assertion":[{"value":"20 September 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"MICCAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Medical Image Computing and Computer-Assisted Intervention","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Daejeon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Korea (Republic of)","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"miccai2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conferences.miccai.org\/2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}