{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T22:33:44Z","timestamp":1768343624683,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,16]]},"DOI":"10.1145\/3769126.3769246","type":"proceedings-article","created":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T14:50:37Z","timestamp":1768315837000},"page":"495-497","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["AF-XRAY: Visual Explanation and Resolution of Ambiguity in Legal Argumentation Frameworks"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2500-0245","authenticated-orcid":false,"given":"Yilin","family":"Xia","sequence":"first","affiliation":[{"name":"University of Illinois, Urbana-Champaign, Champaign, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5866-7746","authenticated-orcid":false,"given":"Heng","family":"Zheng","sequence":"additional","affiliation":[{"name":"University of Kentucky, Lexington, KY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2972-0197","authenticated-orcid":false,"given":"Shawn","family":"Bowers","sequence":"additional","affiliation":[{"name":"Gonzaga University, Spokane, WA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9140-936X","authenticated-orcid":false,"given":"Bertram","family":"Lud\u00e4scher","sequence":"additional","affiliation":[{"name":"University of Illinois, Urbana-Champaign, Champaign, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2026,1,13]]},"reference":[{"key":"e_1_3_3_2_2_2","first-page":"103","volume-title":"JURIX","author":"Bench-Capon T.","year":"2002","unstructured":"T. Bench-Capon. 2002. Representation of Case Law as an Argumentation Framework. In JURIX. IOS Press, 103\u2013112."},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"crossref","unstructured":"T. Bench-Capon. 2020. Before and after Dung: Argumentation in AI and Law. Argument & Computation. 11 1-2 (2020) 221\u2013238.","DOI":"10.3233\/AAC-190477"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/1568234.1568248"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/158976.158982"},{"key":"e_1_3_3_2_6_2","series-title":"CEUR","first-page":"104","volume-title":"Workshop on Systems and Algorithms for Formal Argumentation (SAFA)","author":"Bowers S.","year":"2024","unstructured":"S. Bowers, Y. Xia, and B. Lud\u00e4scher. 2024. The Skeptic\u2019s Argumentation Game or: Well-Founded Explanations for Mere Mortals. In Workshop on Systems and Algorithms for Formal Argumentation (SAFA)(CEUR, Vol.\u00a03757). 104\u2013118."},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSPW61312.2024.00073"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"crossref","unstructured":"M. Caminada and P. Dunne. 2019. Strong admissibility revisited: Theory and applications. Argument & Computation 10 3 (2019) 277\u2013300.","DOI":"10.3233\/AAC-190463"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"crossref","unstructured":"P.M. Dung. 1995. On the Acceptability of Arguments and Its Fundamental Role in Nonmonotonic Reasoning Logic Programming and n-Person Games. AI 77 2 (1995) 321\u2013357.","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"e_1_3_3_2_10_2","volume-title":"Advances in Argumentation in AI (AI3)","author":"Odekerken D.","year":"2023","unstructured":"D. Odekerken, A.M. Borg, and M. Berthold. 2023. Demonstrating PyArg 2.0. In Advances in Argumentation in AI (AI3) , Vol.\u00a03546. CEUR."},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"crossref","unstructured":"C. Smith. 1966. Graphs and Composite Games. Journal of Combinatorial Theory 1 1 (1966) 51\u201381.","DOI":"10.1016\/S0021-9800(66)80005-4"},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"crossref","unstructured":"A. Van\u00a0Gelder. 1993. The Alternating Fixpoint of Logic Programs with Negation. J. Comput. System Sci. 47 1 (1993) 185\u2013221.","DOI":"10.1016\/0022-0000(93)90024-Q"},{"key":"e_1_3_3_2_13_2","unstructured":"Y. Xia S. Bowers and B. Lud\u00e4scher. 2025. AF-Xray: Argumentation Framework eXplanation Reasoning and AnalYsis. https:\/\/github.com\/idaks\/xray."},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA240346"}],"event":{"name":"ICAIL 2025: 20th International Conference on Artificial Intelligence and Law","location":"Chicago , IL , USA","acronym":"ICAIL 2025"},"container-title":["Proceedings of the Twentieth International Conference on Artificial Intelligence and Law"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3769126.3769246","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T15:50:05Z","timestamp":1768319405000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3769126.3769246"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,16]]},"references-count":13,"alternative-id":["10.1145\/3769126.3769246","10.1145\/3769126"],"URL":"https:\/\/doi.org\/10.1145\/3769126.3769246","relation":{},"subject":[],"published":{"date-parts":[[2025,6,16]]},"assertion":[{"value":"2026-01-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}