{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T22:29:33Z","timestamp":1781216973255,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,11,10]]},"DOI":"10.1145\/3746252.3761057","type":"proceedings-article","created":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T23:59:18Z","timestamp":1762559958000},"page":"2535-2545","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["On Verifiable Legal Reasoning: A Multi-Agent Framework with Formalized Knowledge Representations"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-4524-5488","authenticated-orcid":false,"given":"Albert","family":"Sadowski","sequence":"first","affiliation":[{"name":"Warsaw University of Technology, Warsaw, Poland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4534-8652","authenticated-orcid":false,"given":"Jaroslaw A.","family":"Chudziak","sequence":"additional","affiliation":[{"name":"Warsaw University of Technology, Warsaw, Poland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,11,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.3233\/AO-170174"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0120-5_2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2502.05196"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITNG.2009.72"},{"key":"e_1_3_2_1_5_1","volume-title":"Core concepts of law: taking common-sense seriously. Phycologia (01","author":"Breuker Joost","year":"2004","unstructured":"Joost Breuker and Rinke Hoekstra. 2004. Core concepts of law: taking common-sense seriously. Phycologia (01 2004)."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2409.13724"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0120-5_3"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-1497-7"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.3233\/SW-140146"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2410.04949"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/IMCSIT.2009.5352735"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1093\/jla\/laae003"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2019.04.009"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2503.02976"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.3390\/app15042146"},{"key":"e_1_3_2_1_16_1","volume-title":"Improving Factuality and Reasoning in Language Models through Multiagent Debate. arXiv preprint arXiv:2305.14325","author":"Du Yilun","year":"2023","unstructured":"Yilun Du, Shuang Li, Antonio Torralba, Joshua B. Tenenbaum, and Igor Mordatch. 2023. Improving Factuality and Reasoning in Language Models through Multiagent Debate. arXiv preprint arXiv:2305.14325 (2023). arXiv:2305.14325 [cs.CL] Submitted to ICML 2024."},{"key":"e_1_3_2_1_17_1","first-page":"1014","volume-title":"Proceedings of the 5th International Joint Conference on Artificial Intelligence -","volume":"2","author":"Felgenbaum Edward A.","year":"1977","unstructured":"Edward A. Felgenbaum. 1977. The art of artificial intelligence: themes and case studies of knowledge engineering. In Proceedings of the 5th International Joint Conference on Artificial Intelligence - Volume 2 (Cambridge, USA) (IJCAI'77). Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1014-1029."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2309.09898"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2307.16648"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2209.06120"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1999.0297"},{"key":"e_1_3_2_1_22_1","volume-title":"Chudziak","author":"Harbar Yarolsav","year":"2025","unstructured":"Yarolsav Harbar and Jaros\u0142aw A. Chudziak. 2025. Simulating Oxford-Style Debates with LLM-Based Multi-Agent Systems. In Intelligent Information and Database Systems, Ngoc Thanh Nguyen, Tokuro Matsuo, Ford Lumban Gaol, Yannis Manolopoulos, Hamido Fujita, Tzung-Pei Hong, and Krystian Wojtkiewicz (Eds.). Springer Nature Singapore, Singapore, 286-300."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-58603-942-4-21"},{"key":"e_1_3_2_1_24_1","unstructured":"Quzhe Huang Mingxu Tao Chen Zhang Zhenwei An Cong Jiang Zhibin Chen Zirui Wu and Yansong Feng. 2023. Lawyer LLaMA Technical Report. arXiv preprint arXiv:2305.15062 (2023). doi:10.48550\/arXiv.2305.15062"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2502.17638"},{"key":"e_1_3_2_1_26_1","unstructured":"Vamsi Krishna Kommineni Birgitta K\u00f6nig-Ries and Sheeba Samuel. 2024. From human experts to machines: An LLM supported approach to ontology and knowledge graph construction. arXiv:2403.08345 [cs.CL] https:\/\/arxiv.org\/abs\/2403.08345"},{"key":"e_1_3_2_1_27_1","first-page":"203","volume-title":"Proceedings of the 38th Pacific Asia Conference on Language, Information and Computation, Nathaniel Oco, Shirley N. Dita, Ariane Macalinga Borlongan, and Jong-Bok Kim (Eds.)","author":"Kostka Adam","year":"2024","unstructured":"Adam Kostka and Jaroslaw A. Chudziak. 2024. Synergizing Logical Reasoning, Knowledge Management and Collaboration in Multi-Agent LLM System. In Proceedings of the 38th Pacific Asia Conference on Language, Information and Computation, Nathaniel Oco, Shirley N. Dita, Ariane Macalinga Borlongan, and Jong-Bok Kim (Eds.). Tokyo University of Foreign Studies, Tokyo, Japan, 203-212. https:\/\/aclanthology.org\/2024.paclic-1.19\/"},{"key":"e_1_3_2_1_28_1","volume-title":"Towards Cognitive Synergy in LLM-Based Multi-Agent Systems: Integrating Theory of Mind and Critical Evaluation. In Proceedings of the Annual Meeting of the Cognitive Science Society","volume":"47","author":"Kostka Adam","unstructured":"Adam Kostka and Jaroslaw A. Chudziak. 2025. Towards Cognitive Synergy in LLM-Based Multi-Agent Systems: Integrating Theory of Mind and Critical Evaluation. In Proceedings of the Annual Meeting of the Cognitive Science Society, Vol. 47. Cognitive Science Society. https:\/\/escholarship.org\/uc\/item\/20j8628c"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2405.02318"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.3390\/info15110666"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2311.04235"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","unstructured":"Thinh Nguyen Hien Nguyen Vuong Pham Dung Tran and Ali Selamat. 2022. Legal-Onto: An Ontology-based Model for Representing the Knowledge of a Legal Document. 426-434. doi:10.5220\/0011066300003176","DOI":"10.5220\/0011066300003176"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-009-9075-y"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2402.10400"},{"key":"e_1_3_2_1_35_1","volume-title":"Reflexion: Language Agents with Verbal Reinforcement Learning. In Advances in Neural Information Processing Systems. arXiv:2303.11366 [cs.AI] NeurIPS 2023 poster, arXiv preprint arXiv:2303.11366.","author":"Shinn Noah","year":"2023","unstructured":"Noah Shinn, Federico Cassano, Edward Berman, Ashwin Gopinath, Karthik Narasimhan, and Shunyu Yao. 2023. Reflexion: Language Agents with Verbal Reinforcement Learning. In Advances in Neural Information Processing Systems. arXiv:2303.11366 [cs.AI] NeurIPS 2023 poster, arXiv preprint arXiv:2303.11366."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-023X(97)00056-6"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2407.14562"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipm.2024.104042"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1999.0298"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-025-09433-1"},{"key":"e_1_3_2_1_41_1","first-page":"24824","volume-title":"Advances in Neural Information Processing Systems","volume":"35","author":"Wei Jason","year":"2022","unstructured":"Jason Wei, Xuezhi Wang, Dale Schuurmans, Maarten Bosma, Brian Ichter, Fei Xia, Ed H. Chi, Quoc V. Le, and Denny Zhou. 2022. Chain-of-Thought Prompting Elicits Reasoning in Large Language Models. In Advances in Neural Information Processing Systems, Vol. 35. Curran Associates, Inc., 24824-24837."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1823854.1823874"},{"key":"e_1_3_2_1_43_1","unstructured":"Xue Wu and Kostas Tsioutsiouliklis. 2024. Thinking with Knowledge Graphs: Enhancing LLM Reasoning Through Structured Data. arXiv:2412.10654 [cs.CL] https:\/\/arxiv.org\/abs\/2412.10654"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2410.02507"}],"event":{"name":"CIKM '25: The 34th ACM International Conference on Information and Knowledge Management","location":"Seoul Republic of Korea","acronym":"CIKM '25","sponsor":["SIGIR ACM Special Interest Group on Information Retrieval","SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web"]},"container-title":["Proceedings of the 34th ACM International Conference on Information and Knowledge Management"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3746252.3761057","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T00:22:05Z","timestamp":1765498925000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3746252.3761057"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,10]]},"references-count":44,"alternative-id":["10.1145\/3746252.3761057","10.1145\/3746252"],"URL":"https:\/\/doi.org\/10.1145\/3746252.3761057","relation":{},"subject":[],"published":{"date-parts":[[2025,11,10]]},"assertion":[{"value":"2025-11-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}