{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T06:28:38Z","timestamp":1770186518173,"version":"3.49.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032141064","type":"print"},{"value":"9783032141071","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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-14107-1_6","type":"book-chapter","created":{"date-parts":[[2026,2,3]],"date-time":"2026-02-03T19:37:27Z","timestamp":1770147447000},"page":"66-78","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Fact-Checking with\u00a0Large Language Models via\u00a0Cost-Effective First-Order Logic Reformulation"],"prefix":"10.1007","author":[{"given":"Sara","family":"Asghari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laks V.\u00a0S.","family":"Lakshmanan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Venkatesh","family":"Srinivasan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alex","family":"Thomo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,2,4]]},"reference":[{"issue":"6380","key":"6_CR1","doi-asserted-by":"publisher","first-page":"1146","DOI":"10.1126\/science.aap9559","volume":"359","author":"S Vosoughi","year":"2018","unstructured":"Vosoughi, S., Roy, D., Aral, S.: The spread of true and false news online. Science 359(6380), 1146\u20131151 (2018)","journal-title":"Science"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Ognyanova, K., Lazer, D., Robertson, R.E., Wilson, C.: Misinformation in action: fake news exposure is linked to lower trust in media, higher trust in government when your side is in power. Harvard Kennedy School Misinformation Review (2020)","DOI":"10.37016\/mr-2020-024"},{"key":"6_CR3","unstructured":"Hermann, K.M., et al.: Teaching machines to read and comprehend. Adv. Neural Inf. Process. Syst. 28 (2015)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Thorne, J., Vlachos, A., Cocarascu, O., Christodoulopoulos, C., Mittal, A.: The fact extraction and verification (fever) shared task. In: Proceedings of the First Workshop on Fact Extraction and VERification (FEVER), pp. 1\u20139 (2018)","DOI":"10.18653\/v1\/W18-5501"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Xu, S., Pang, L., Shen, H., Cheng, X., Chua, T.S.: Search-in-the-chain: interactively enhancing large language models with search for knowledge-intensive tasks. In: Proceedings of the ACM on Web Conference 2024, pp. 1362\u20131373 (2024)","DOI":"10.1145\/3589334.3645363"},{"issue":"9","key":"6_CR6","first-page":"1","volume":"56","author":"J Li","year":"2024","unstructured":"Li, J., Tang, T., Zhao, W.X., Nie, J.Y., Wen, J.R.: Pre-trained language models for text generation: a survey. ACM Comput. Surv. 56(9), 1\u201339 (2024)","journal-title":"ACM Comput. Surv."},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Zhang, W., Deng, Y., Liu, B., Pan, S., Bing, L.: Sentiment analysis in the era of large language models: a reality check. In: Findings of the Association for Computational Linguistics: NAACL 2024, pp. 3881\u20133906 (2024)","DOI":"10.18653\/v1\/2024.findings-naacl.246"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Thorne, J., Vlachos, A.: Evidence-based factual error correction. In: ACL-IJCNLP (Long Papers), pp. 3298\u20133309 (2021)","DOI":"10.18653\/v1\/2021.acl-long.256"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Pan, L., et al.: Fact-checking complex claims with program-guided reasoning. arXiv preprint arXiv:2305.12744 (2023)","DOI":"10.18653\/v1\/2023.acl-long.386"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Wang, H., Shu, K.: Explainable claim verification via knowledge-grounded reasoning with large language models. arXiv preprint arXiv:2310.05253 (2023)","DOI":"10.18653\/v1\/2023.findings-emnlp.416"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Jiang, Y., et al.: Hover: A dataset for many-hop fact extraction and claim verification. arXiv preprint arXiv:2011.03088 (2020)","DOI":"10.18653\/v1\/2020.findings-emnlp.309"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Rajpurkar, P., Zhang, J., Lopyrev, K., Liang, P.: Squad: 100,000+ questions for machine comprehension of text. In: EMNLP, (ed.), pp. 2383\u20132392. Association for Computational Linguistics, ??? (2016)","DOI":"10.18653\/v1\/D16-1264"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Yang, Z., et al.: Hotpotqa: a dataset for diverse, explainable multi-hop question answering. In: Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, pp. 2369\u20132380 (2018)","DOI":"10.18653\/v1\/D18-1259"},{"issue":"12","key":"6_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3571730","volume":"55","author":"Z Ji","year":"2023","unstructured":"Ji, Z.: Survey of hallucination in natural language generation. ACM Comput. Surv. 55(12), 1\u201338 (2023)","journal-title":"ACM Comput. Surv."},{"key":"6_CR15","unstructured":"Lazaridou, A., Gribovskaya, E., Stokowiec, W., Grigorev, N.: Internet-augmented language models through few-shot prompting for open-domain question answering. arXiv preprint arXiv:2203.05115 (2022)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Shuster, K., Poff, S., Chen, M., Kiela, D., Weston, J.: Retrieval augmentation reduces hallucination in conversation. In: Findings of the Association for Computational Linguistics: EMNLP 2021, pp. 3784\u20133803 (2021)","DOI":"10.18653\/v1\/2021.findings-emnlp.320"},{"key":"6_CR17","first-page":"24824","volume":"35","author":"J Wei","year":"2022","unstructured":"Wei, J.: Chain-of-thought prompting elicits reasoning in large language models. Adv. Neural. Inf. Process. Syst. 35, 24824\u201324837 (2022)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Marvin, G., Hellen, N., Jjingo, D., Nakatumba-Nabende, J.: Prompt engineering in large language models. In: International Conference on Data Intelligence and Cognitive Informatics, pp. 387\u2013402. Springer (2023)","DOI":"10.1007\/978-981-99-7962-2_30"}],"container-title":["Lecture Notes in Computer Science","Social Networks Analysis and Mining"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-14107-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,3]],"date-time":"2026-02-03T19:37:30Z","timestamp":1770147450000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-14107-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032141064","9783032141071"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-14107-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"4 February 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ASONAM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advances in Social Networks Analysis and Mining","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":", ON","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","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":"25 August 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 August 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"asonam-12025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/asonam.cpsc.ucalgary.ca\/2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}