{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T12:40:05Z","timestamp":1756816805201,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,22]]},"DOI":"10.1145\/3736229.3736270","type":"proceedings-article","created":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T10:07:28Z","timestamp":1756807648000},"page":"62-70","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9140-936X","authenticated-orcid":false,"given":"Bertram","family":"Lud\u00e4scher","sequence":"first","affiliation":[{"name":"University of Illinois, Urbana-Champaign, Champaign, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2500-0245","authenticated-orcid":false,"given":"Yilin","family":"Xia","sequence":"additional","affiliation":[{"name":"University Illinois, Urbana-Champaign, Champaign, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2972-0197","authenticated-orcid":false,"given":"Shawn","family":"Bowers","sequence":"additional","affiliation":[{"name":"Gonzaga University, Spokane, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,9,2]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.24963\/kr.2024\/2"},{"key":"e_1_3_3_2_3_2","volume-title":"Handbook of Formal Argumentation","author":"Baroni P.","year":"2018","unstructured":"P. Baroni, D. Gabbay, M. Giacomin, and L. van\u00a0der Torre. 2018. Handbook of Formal Argumentation. London: College Publications."},{"key":"e_1_3_3_2_4_2","first-page":"445","volume-title":"Handbook of Formal Argumentation","author":"Baumann R.","year":"2021","unstructured":"R. Baumann, S. Doutre, J.-G. Mailly, and J.P. Wallner. 2021. Enforcement in Formal Argumentation. In Handbook of Formal Argumentation. Vol.\u00a02. 445\u2013510."},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.24963\/kr.2021\/11"},{"key":"e_1_3_3_2_6_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. 103\u2013112."},{"key":"e_1_3_3_2_7_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_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/1568234.1568248"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"crossref","unstructured":"A. Borg and F. Bex. 2024. Minimality necessity and sufficiency for argumentation and explanation. Int. J. Approx. Reasoning 168 C (May 2024).","DOI":"10.1016\/j.ijar.2024.109143"},{"key":"e_1_3_3_2_10_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_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSPW61312.2024.00073"},{"key":"e_1_3_3_2_12_2","first-page":"208","volume-title":"Annual Meeting of the Association for Computational Linguistics","author":"Cabrio E.","year":"2012","unstructured":"E. Cabrio and S. Villata. 2012. Combining Textual Entailment and Argumentation Theory for Supporting Online Debates Interactions. In Annual Meeting of the Association for Computational Linguistics. 208\u2013212."},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/11853886_11"},{"key":"e_1_3_3_2_14_2","unstructured":"M. Caminada. 2018. Argumentation Semantics as Formal Discussion. See Baroni et\u00a0al. [2] Chapter\u00a010 487\u2013518."},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"crossref","unstructured":"M. Caminada and P. Dunne. 2020. Strong Admissibility Revisited: Theory and Applications. Argument & Computation 10 3 (2020) 277\u2013300.","DOI":"10.3233\/AAC-190463"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"crossref","unstructured":"M. Caminada S. S\u00e1 J. Alc\u00e2ntara and W. Dvo\u0159\u00e1k. 2015. On the Equivalence between Logic Programming Semantics and Argumentation Semantics. Approx. Reasoning 58 (2015) 87\u2013111.","DOI":"10.1016\/j.ijar.2014.12.004"},{"key":"e_1_3_3_2_17_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_18_2","first-page":"1070","volume-title":"ILPS","author":"Gelfond M.","year":"1988","unstructured":"M. Gelfond and V. Lifschitz. 1988. The Stable Model Semantics for Logic Programming. In ILPS. 1070\u20131080."},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41660-6_20"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02753-1_17"},{"key":"e_1_3_3_2_21_2","volume-title":"Advances in Argumentation in AI","author":"Lud\u00e4scher B.","year":"2023","unstructured":"B. Lud\u00e4scher, S. Bowers, and Y. Xia. 2023. Games, Queries, and Argumentation Frameworks: Towards a Family Reunion. In Advances in Argumentation in AI , Vol.\u00a03546. CEUR."},{"key":"e_1_3_3_2_22_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_23_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-98197-0_16"},{"key":"e_1_3_3_2_24_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_25_2","doi-asserted-by":"crossref","unstructured":"A. Van\u00a0Gelder K.A. Ross and J.S. Schlipf. 1991. The Well-founded Semantics for General Logic Programs. J. ACM 38 3 (1991) 619\u2013649.","DOI":"10.1145\/116825.116838"},{"key":"e_1_3_3_2_26_2","first-page":"373","volume-title":"COMMA","author":"Xia Y.","year":"2024","unstructured":"Y. Xia, D. Odekerken, S. Bowers, and B. Lud\u00e4scher. 2024. Layered Visualization of Argumentation Frameworks. In COMMA , Vol.\u00a0388. 373\u2013374."},{"key":"e_1_3_3_2_27_2","volume-title":"ICAIL","author":"Xia Y.","year":"2025","unstructured":"Y. Xia, H. Zheng, S. Bowers, and L. Lud\u00e4scher. 2025. AF-XRay: Visual Explanation and Resolution of Ambiguity in Legal Argumentation Frameworks. In ICAIL."}],"event":{"name":"PW' 25: International Conference on Management of Data","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"],"location":"Berlin Germany","acronym":"PW' 25"},"container-title":["Proceedings of the ProvenanceWeek 2025"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3736229.3736270","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T11:59:41Z","timestamp":1756814381000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3736229.3736270"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,22]]},"references-count":26,"alternative-id":["10.1145\/3736229.3736270","10.1145\/3736229"],"URL":"https:\/\/doi.org\/10.1145\/3736229.3736270","relation":{},"subject":[],"published":{"date-parts":[[2025,6,22]]},"assertion":[{"value":"2025-09-02","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}