{"id":"https://openalex.org/W4413908719","doi":"https://doi.org/10.1145/3736229.3736270","title":"Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks","display_name":"Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks","publication_year":2025,"publication_date":"2025-06-22","ids":{"openalex":"https://openalex.org/W4413908719","doi":"https://doi.org/10.1145/3736229.3736270"},"language":"en","primary_location":{"id":"doi:10.1145/3736229.3736270","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3736229.3736270","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3736229.3736270","source":null,"license":"cc-by-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ProvenanceWeek 2025","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3736229.3736270","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057600294","display_name":"Bertram Lud\u00e4scher","orcid":"https://orcid.org/0000-0001-9140-936X"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Bertram Lud\u00e4scher","raw_affiliation_strings":["University of Illinois, Urbana-Champaign, Champaign, USA"],"affiliations":[{"raw_affiliation_string":"University of Illinois, Urbana-Champaign, Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100367781","display_name":"Yilin Xia","orcid":"https://orcid.org/0000-0003-2500-0245"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yilin Xia","raw_affiliation_strings":["University Illinois, Urbana-Champaign, Champaign, USA"],"affiliations":[{"raw_affiliation_string":"University Illinois, Urbana-Champaign, Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014091778","display_name":"Shawn Bowers","orcid":"https://orcid.org/0000-0002-2972-0197"},"institutions":[{"id":"https://openalex.org/I119888943","display_name":"Gonzaga University","ror":"https://ror.org/03ze70h02","country_code":"US","type":"education","lineage":["https://openalex.org/I119888943"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shawn Bowers","raw_affiliation_strings":["Gonzaga University, Spokane, USA"],"affiliations":[{"raw_affiliation_string":"Gonzaga University, Spokane, USA","institution_ids":["https://openalex.org/I119888943"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5057600294"],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12046852,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"62","last_page":"70"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/argumentation-theory","display_name":"Argumentation theory","score":0.9099524021148682},{"id":"https://openalex.org/keywords/provenance","display_name":"Provenance","score":0.8536707162857056},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5961610674858093},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.3704015016555786},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.16736692190170288},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.10465666651725769},{"id":"https://openalex.org/keywords/petrology","display_name":"Petrology","score":0.10174274444580078}],"concepts":[{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.9099524021148682},{"id":"https://openalex.org/C2780049196","wikidata":"https://www.wikidata.org/wiki/Q23582628","display_name":"Provenance","level":2,"score":0.8536707162857056},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5961610674858093},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3704015016555786},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.16736692190170288},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.10465666651725769},{"id":"https://openalex.org/C5900021","wikidata":"https://www.wikidata.org/wiki/Q163082","display_name":"Petrology","level":1,"score":0.10174274444580078}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3736229.3736270","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3736229.3736270","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3736229.3736270","source":null,"license":"cc-by-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ProvenanceWeek 2025","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3736229.3736270","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3736229.3736270","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3736229.3736270","source":null,"license":"cc-by-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ProvenanceWeek 2025","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320350","display_name":"Cardiff University","ror":"https://ror.org/03kk7td41"},{"id":"https://openalex.org/F4320332222","display_name":"University of Illinois at Urbana-Champaign","ror":"https://ror.org/047426m28"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4413908719.pdf","grobid_xml":"https://content.openalex.org/works/W4413908719.grobid-xml"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W28892961","https://openalex.org/W1819846667","https://openalex.org/W1968513265","https://openalex.org/W2040467548","https://openalex.org/W2104126268","https://openalex.org/W2116566018","https://openalex.org/W2129829265","https://openalex.org/W2967761334","https://openalex.org/W2986137465","https://openalex.org/W3103579673","https://openalex.org/W3206985264","https://openalex.org/W4212881215","https://openalex.org/W4249547020","https://openalex.org/W4391755493","https://openalex.org/W4402158141","https://openalex.org/W4403792774"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4256185029","https://openalex.org/W2141332034","https://openalex.org/W4388437769","https://openalex.org/W4391098513","https://openalex.org/W2810654249","https://openalex.org/W1493131192","https://openalex.org/W4321509371"],"abstract_inverted_index":{"The":[0,78],"rule":[1],"Defeated()":[2],"Attacks(,":[3],"),":[4],"Defeated(),":[5],"evaluated":[6],"under":[7],"the":[8,43,93,142,146,188,220,224,229,234],"well-founded":[9,72,195,221],"semantics":[10],"(WFS),":[11],"yields":[12],"a":[13,105,110,128,153,158,178,206],"unique":[14],"3-valued":[15],"(skeptical)":[16],"solution":[17,222],"of":[18,52,80,95,104,141,148,152,169,190,208,223,233],"an":[19,32,191,215],"abstract":[20],"argumentation":[21,107],"framework":[22],"(AF):":[23],"An":[24],"argument":[25,34],"is":[26,42,46,82,98,151],"defeated":[27,64],"(out)":[28],"if":[29,50],"there":[30],"exists":[31],"undefeated":[33],"that":[35,59,210,219],"attacks":[36],"it.For":[37],"2-valued":[38],"(stable)":[39],"solutions,":[40,122],"this":[41,115],"case":[44],"iff":[45],"accepted":[47,62],"(in),":[48],"i.e.,":[49],"all":[51],"'s":[53],"attackers":[54],"are":[55,60,65],"defeated.Under":[56],"WFS,":[57],"arguments":[58,81],"neither":[61],"nor":[63],"undecided":[66],"(undec).As":[67],"shown":[68],"in":[69],"prior":[70],"work,":[71],"solutions":[73,150],"(a.k.a.grounded":[74],"labelings)":[75],"\"explain":[76],"themselves\":":[77],"provenance":[79,97,116,147,189],"given":[83],"by":[84,177],"subgraphs":[85],"(definable":[86],"via":[87,127],"regular":[88],"path":[89],"queries)":[90],"rooted":[91],"at":[92],"node":[94],"interest.This":[96],"closely":[99],"related":[100],"to":[101,117,214],"winning":[102],"strategies":[103],"two-player":[106],"game.We":[108],"present":[109],"novel":[111],"approach":[112,165,201],"for":[113,144],"extending":[114],"stable":[118,133,149,179,231],"AF":[119,216,236],"solutions.Unlike":[120],"grounded":[121],"which":[123],"can":[124,202],"be":[125,203],"constructed":[126],"bottom-up":[129],"alternating":[130],"fixpoint":[131],"procedure,":[132],"models":[134],"often":[135],"involve":[136],"(non-deterministic)":[137],"choice":[138,199],"as":[139,205],"part":[140],"search":[143],"models.Thus,":[145],"different":[154],"nature,":[155],"and":[156,174],"reflects":[157],"more":[159],"expressive":[160],"generate":[161],"&":[162],"test":[163],"paradigm.Our":[164],"identifies":[166],"minimal":[167,212],"sets":[168],"critical":[170,181],"attacks,":[171],"pinpointing":[172],"choices":[173],"assumptions":[175],"made":[176],"model.These":[180],"attack":[182],"edges":[183],"provide":[184],"additional":[185],"insights":[186],"into":[187],"argument's":[192],"status,":[193],"combining":[194],"derivation":[196],"steps":[197],"with":[198,228],"steps.Our":[200],"understood":[204],"form":[207],"diagnosis":[209],"finds":[211],"\"repairs\"":[213],"graph":[217,226],"such":[218],"repaired":[225],"coincides":[227],"desired":[230],"model":[232],"original":[235],"graph.":[237]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}