{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T02:09:59Z","timestamp":1774318199799,"version":"3.50.1"},"publisher-location":"Cham","reference-count":51,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032212887","type":"print"},{"value":"9783032212894","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-21289-4_7","type":"book-chapter","created":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T01:03:00Z","timestamp":1774314180000},"page":"98-114","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["OrLog: Resolving Complex Queries with\u00a0LLMs and\u00a0Probabilistic Reasoning"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-8027-6575","authenticated-orcid":false,"given":"Mohanna","family":"Hoveyda","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8385-9157","authenticated-orcid":false,"given":"Jelle","family":"Piepenbrock","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2888-4202","authenticated-orcid":false,"given":"Arjen P.","family":"de Vries","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1086-0202","authenticated-orcid":false,"given":"Maarten","family":"de Rijke","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0006-9986-482X","authenticated-orcid":false,"given":"Faegheh","family":"Hasibi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,3,25]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Abdulahhad, K., Berrut, C., Chevallet, J., Pasi, G.: Modeling information retrieval by formal logic: a survey. ACM Comput. Surv. 52 (2019)","DOI":"10.1145\/3291043"},{"key":"7_CR2","unstructured":"Arcuschin, I., Janiak, J., Krzyzanowski, R., Rajamanoharan, S., Nanda, N., Conmy, A.: Chain-of-thought reasoning in the wild is not always faithful (2025)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Bakman, Y.F., Yaldiz, D.N., Buyukates, B., Tao, C., Dimitriadis, D., Avestimehr, S.: MARS: meaning-aware response scoring for uncertainty estimation in generative LLMs. In: Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics ACL, pp. 7752\u20137767 (2024)","DOI":"10.18653\/v1\/2024.acl-long.419"},{"key":"7_CR4","unstructured":"Belcak, P., et al.: Small language models are the future of agentic AI. CoRR (2025)"},{"key":"7_CR5","unstructured":"Belcak, P., et al.: Small language models are the future of agentic ai. arXiv preprint arXiv:2506.02153 (2025)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Bruza, P., Huibers, T.W.C.: Investigating aboutness axioms using information fields. In: Proceedings of the 17th Annual International ACM-SIGIR Conference on Research and Development in Information Retrieval. (Special Issue of the SIGIR Forum) (1994)","DOI":"10.1007\/978-1-4471-2099-5_12"},{"key":"7_CR7","doi-asserted-by":"publisher","unstructured":"Crestani, F.: Logical Imaging and Probabilistic Information Retrieval, pp. 247\u2013279. Springer US, Boston, MA (1998). ISBN 978-1-4615-5617-6, https:\/\/doi.org\/10.1007\/978-1-4615-5617-6_10","DOI":"10.1007\/978-1-4615-5617-6_10"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Crestani, F., Ruthven, I., Sanderson, M., van Rijsbergen, C.J.: The troubles with using a logical model of IR on a large collection of documents. In: Proceedings of The Fourth Text REtrieval Conference, TREC 1995, Gaithersburg, Maryland, USA, November 1-3, 1995, National Institute of Standards and Technology (NIST) (1995)","DOI":"10.6028\/NIST.SP.500-236.adhoc-glasgow"},{"key":"7_CR9","unstructured":"DeepMind: Ai achieves silver-medal standard solving international mathematical olympiad problems (2024). https:\/\/deepmind.google\/discover\/blog\/ai-solves-imo-problems-at-silver-medal-level\/. Accessed 01 Oct 2025"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Duan, J., et al.: Shifting attention to relevance: Towards the predictive uncertainty quantification of free-form large language models. In: Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), pp. 5050\u20135063. ACL (2024)","DOI":"10.18653\/v1\/2024.acl-long.276"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"van\u00a0den Elsen, C., Barkhof, F., Nijdam, T., Lupart, S., Aliannejadi, M.: Reproducing nevir: negation in neural information retrieval. In: Proceedings of the 48th International ACM SIGIR Conference on Research and Development in Information Retrieval. SIGIR 25 (2025)","DOI":"10.1145\/3726302.3730294"},{"key":"7_CR12","unstructured":"Feng, S., Fang, G., Ma, X., Wang, X.: Efficient reasoning models: a survey. CoRR abs\/2504.10903 (2025)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Hoveyda, M., Oosterhuis, H., de\u00a0Vries, A.P., de\u00a0Rijke, M., Hasibi, F.: Adaptive orchestration of modular generative information access systems. In: Proceedings of the 48th International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 25, ACM (2025)","DOI":"10.1145\/3726302.3730351"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Huang, L., et al.: A survey on hallucination in large language models: principles, taxonomy, challenges, and open questions. ACM Trans. Inf. Syst. (2025)","DOI":"10.1145\/3703155"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Huibers, T.W.C., Lalmas, M., van Rijsbergen, C.J.: Information retrieval and situation theory. SIGIR Forum (1996)","DOI":"10.1145\/381984.381986"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Jaynes, E.T.: Probability Theory. The Logic of Science. Cambridge University Press, Cambridge (2002)","DOI":"10.1017\/CBO9780511790423"},{"key":"7_CR17","unstructured":"Kadavath, S., et al.: Language models (mostly) know what they know (2022). https:\/\/arxiv.org\/abs\/2207.05221"},{"key":"7_CR18","unstructured":"Kalai, A.T., Nachum, O., Vempala, S.S., Zhang, E.: Why language models hallucinate (2025)"},{"key":"7_CR19","unstructured":"Kambhampati, S., et al.: Position: Llms can t plan, but can help planning in llm-modulo frameworks. In: Forty-first International Conference on Machine Learning (2024)"},{"key":"7_CR20","unstructured":"Kuhn, L., Gal, Y., Farquhar, S.: Semantic uncertainty: Linguistic invariances for uncertainty estimation in natural language generation. In: The Eleventh International Conference on Learning Representations ICLR (2023)"},{"key":"7_CR21","unstructured":"Lanham, T., et\u00a0al.: Measuring faithfulness in chain-of-thought reasoning. arXiv preprint arXiv:2307.13702 (2023)"},{"key":"7_CR22","unstructured":"Lin, Z., Trivedi, S., Sun, J.: Generating with confidence: uncertainty quantification for black-box large language models. Trans. Mach. Learn. Res. 2024 (2024)"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Mai, Q., Gauch, S., Adams, D.: Setbert: enhancing retrieval performance for boolean logic and set operation queries. In: Proceedings of the 2024 8th International Conference on Natural Language Processing and Information Retrieval (2024)","DOI":"10.1145\/3711542.3711548"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Malaviya, C., Shaw, P., Chang, M., Lee, K., Toutanova, K.: QUEST: a retrieval dataset of entity-seeking queries with implicit set operations. In: Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics ACL 2023, Association for Computational Linguistics (2023)","DOI":"10.18653\/v1\/2023.acl-long.784"},{"key":"7_CR25","unstructured":"Manhaeve, R., Dumancic, S., Kimmig, A., Demeester, T., De\u00a0Raedt, L.: Deepproblog: neural probabilistic logic programming. In: Advances in Neural Information Processing Systems, vol. 31 (2018)"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Nafar, A., Venable, K.B., Kordjamshidi, P.: Reasoning over uncertain text by generative large language models. In: AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence. AAAI Press (2025)","DOI":"10.1609\/aaai.v39i23.34674"},{"key":"7_CR27","unstructured":"Ng, A.Y., Jordan, M.I., Weiss, Y.: On spectral clustering: analysis and an algorithm. In: Advances in Neural Information Processing Systems 14 [Neural InformationcProcessing Systems: Natural and Synthetic, NIPS], pp. 849\u2013856 (2001)"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Nogueira, R., Jiang, Z., Pradeep, R., Lin, J.: Document ranking with a pretrained sequence-to-sequence model. In: Findings of the Association for Computational Linguistics: EMNLP 2020, Association for Computational Linguistics (2020)","DOI":"10.18653\/v1\/2020.findings-emnlp.63"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Olausson, T., et al.: Linc: a neurosymbolic approach for logical reasoning by combining language models with first-order logic provers. In: Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, Association for Computational Linguistics (2023)","DOI":"10.18653\/v1\/2023.emnlp-main.313"},{"key":"7_CR30","unstructured":"OpenAI: OpenAI o3 and o4?mini System Card. Technical report, OpenAI (2025). https:\/\/openai.com\/index\/o3-o4-mini-system-card\/"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Pan, L., Albalak, A., Wang, X., Wang, W.Y.: Logic-lm: empowering large language models with symbolic solvers for faithful logical reasoning. In: Findings of the Association for Computational Linguistics: EMNLP, Association for Computational Linguistics (2023)","DOI":"10.18653\/v1\/2023.findings-emnlp.248"},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"Petcu, R., Bhargav, S., de\u00a0Rijke, M., Kanoulas, E.: A comprehensive taxonomy of negation for NLP and neural retrievers. arXiv preprint arXiv:2507.22337 (2025)","DOI":"10.18653\/v1\/2025.findings-emnlp.839"},{"key":"7_CR33","unstructured":"Po?lya, G.: Mathematics and Plausible Reasoning. Princeton University Press, Princeton (1968)"},{"key":"7_CR34","unstructured":"Raedt, L.D., Kimmig, A., Toivonen, H.: Problog: a probabilistic prolog and its application in link discovery. In: IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence (2007)"},{"key":"7_CR35","doi-asserted-by":"crossref","unstructured":"van Rijsbergen, C.: A new theoretical framework for information retrieval. SIGIR Forum (1986)","DOI":"10.1145\/253168.253208"},{"key":"7_CR36","doi-asserted-by":"crossref","unstructured":"van Rijsbergen, C.J., Lalmas, M.: Information calculus for information retrieval. J. Am. Soc. Inf, Sci (1996)","DOI":"10.1002\/(SICI)1097-4571(199605)47:5<385::AID-ASI6>3.3.CO;2-V"},{"key":"7_CR37","doi-asserted-by":"crossref","unstructured":"Robertson, S.E., Zaragoza, H.: The probabilistic relevance framework: BM25 and beyond. Found. Trends Inf. Retr. 3(4) (2009)","DOI":"10.1561\/1500000019"},{"key":"7_CR38","doi-asserted-by":"crossref","unstructured":"Shen, Y., Chen, S., Xu, X., Zhang, Y., Malaviya, C., Roth, D.: LogiCoL: logically-informed contrastive learning for set-based dense retrieval. In: Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing, Association for Computational Linguistics (2025)","DOI":"10.18653\/v1\/2025.emnlp-main.608"},{"key":"7_CR39","doi-asserted-by":"publisher","unstructured":"Shorinwa, O., Mei, Z., Lidard, J., Ren, A.Z., Majumdar, A.: A survey on uncertainty quantification of large language models: taxonomy, open research challenges, and future directions. CoRR abs\/2412.05563 (2024), https:\/\/doi.org\/10.48550\/ARXIV.2412.05563","DOI":"10.48550\/ARXIV.2412.05563"},{"key":"7_CR40","doi-asserted-by":"crossref","unstructured":"Soudani, H., Kanoulas, E., Hasibi, F.: Why uncertainty estimation methods fall short in RAG: an axiomatic analysis. In: Findings of the Association for Computational Linguistics: ACL 2025, pp. 16596\u201316616, Association for Computational Linguistics (2025)","DOI":"10.18653\/v1\/2025.findings-acl.852"},{"key":"7_CR41","unstructured":"Wang, L., et al.: Text embeddings by weakly-supervised contrastive pre-training. ArXiv (2022)"},{"key":"7_CR42","unstructured":"Wei, J., et al.: Chain-of-thought prompting elicits reasoning in large language models. In: Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans, LA, USA, November 28 - December 9, 2022 (2022)"},{"key":"7_CR43","unstructured":"Weller, O., Boratko, M., Naim, I., Lee, J.: On the theoretical limitations of embedding-based retrieval (2025)"},{"key":"7_CR44","doi-asserted-by":"crossref","unstructured":"Weller, O., Lawrie, D.J., Durme, B.V.: Nevir: negation in neural information retrieval. In: Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics, EACL, Association for Computational Linguistics (2024)","DOI":"10.18653\/v1\/2024.eacl-long.139"},{"key":"7_CR45","unstructured":"Wong, L., et al.: Modeling open-world cognition as on-demand synthesis of probabilistic models. CoRR abs\/2507.12547 (2025)"},{"key":"7_CR46","unstructured":"Wong, L., et al.: From word models to world models: translating from natural language to the probabilistic language of thought (2023)"},{"key":"7_CR47","first-page":"21573","volume":"36","author":"K Yang","year":"2023","unstructured":"Yang, K., et al.: Leandojo: theorem proving with retrieval-augmented language models. Adv. Neural. Inf. Process. Syst. 36, 21573\u201321612 (2023)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"key":"7_CR48","unstructured":"Yee, E., Li, A., Tang, C., Jung, Y.H., Paturi, R., Bergen, L.: Faithful and unfaithful error recovery in chain of thought. In: First Conference on Language Modeling (COLM) (2024)"},{"key":"7_CR49","unstructured":"Yue, Y., et al.: Does reinforcement learning really incentivize reasoning capacity in LLMs beyond the base model? In: 2nd AI for Math Workshop @ ICML 2025 (2025)"},{"key":"7_CR50","doi-asserted-by":"crossref","unstructured":"Zhang, W., et al.: Excluir: exclusionary neural information retrieval. In: AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence (2025)","DOI":"10.1609\/aaai.v39i12.33451"},{"key":"7_CR51","doi-asserted-by":"crossref","unstructured":"Zhuang, H., et al.: Beyond yes and no: improving zero-shot LLM rankers via scoring fine-grained relevance labels. In: Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 2: Short Papers), Association for Computational Linguistics (2024)","DOI":"10.18653\/v1\/2024.naacl-short.31"}],"container-title":["Lecture Notes in Computer Science","Advances in Information Retrieval"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-21289-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T01:03:12Z","timestamp":1774314192000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-21289-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032212887","9783032212894"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-21289-4_7","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":"25 March 2026","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":"ECIR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Information Retrieval","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Delft","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 March 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 April 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"48","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ecir2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ecir2026.eu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}