{"id":"https://openalex.org/W7168979475","doi":"https://doi.org/10.1109/access.2026.3713484","title":"ArgRE: Formal Argumentation for Conflict Resolution in Multi-Agent Requirements Negotiation","display_name":"ArgRE: Formal Argumentation for Conflict Resolution in Multi-Agent Requirements Negotiation","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7168979475","doi":"https://doi.org/10.1109/access.2026.3713484"},"language":"en","primary_location":{"id":"doi:10.1109/access.2026.3713484","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2026.3713484","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1109/access.2026.3713484","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109540851","display_name":"Haowei Cheng","orcid":"https://orcid.org/0009-0008-2265-6437"},"institutions":[{"id":"https://openalex.org/I150744194","display_name":"Waseda University","ror":"https://ror.org/00ntfnx83","country_code":"JP","type":"education","lineage":["https://openalex.org/I150744194"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Haowei Cheng","raw_affiliation_strings":["Waseda University"],"raw_orcid":"https://orcid.org/0009-0008-2265-6437","affiliations":[{"raw_affiliation_string":"Waseda University","institution_ids":["https://openalex.org/I150744194"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048723910","display_name":"Milhan Kim","orcid":null},"institutions":[{"id":"https://openalex.org/I150744194","display_name":"Waseda University","ror":"https://ror.org/00ntfnx83","country_code":"JP","type":"education","lineage":["https://openalex.org/I150744194"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Milhan Kim","raw_affiliation_strings":["Waseda University"],"raw_orcid":"https://orcid.org/0000-0003-0785-5899","affiliations":[{"raw_affiliation_string":"Waseda University","institution_ids":["https://openalex.org/I150744194"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045092668","display_name":"Chong Liu","orcid":"https://orcid.org/0000-0002-2331-8906"},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chong Liu","raw_affiliation_strings":["Tongji University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tongji University","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055898374","display_name":"Teeradaj Racharak","orcid":"https://orcid.org/0000-0002-8823-2361"},"institutions":[{"id":"https://openalex.org/I4210152232","display_name":"Institute of Informatics of the Slovak Academy of Sciences","ror":"https://ror.org/04jgqpc26","country_code":"SK","type":"facility","lineage":["https://openalex.org/I207624831","https://openalex.org/I4210152232"]}],"countries":["SK"],"is_corresponding":false,"raw_author_name":"Teeradaj Racharak","raw_affiliation_strings":["Advanced Institute of So-Go-Chi (Convergence Knowledge) Informatics, Tohoku University"],"raw_orcid":"https://orcid.org/0000-0002-8823-2361","affiliations":[{"raw_affiliation_string":"Advanced Institute of So-Go-Chi (Convergence Knowledge) Informatics, Tohoku University","institution_ids":["https://openalex.org/I4210152232"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016818365","display_name":"Truong Vinh Truong Duy","orcid":"https://orcid.org/0000-0003-4114-3393"},"institutions":[{"id":"https://openalex.org/I4210166078","display_name":"Aisin (United States)","ror":"https://ror.org/05wdedb75","country_code":"US","type":"company","lineage":["https://openalex.org/I4210098271","https://openalex.org/I4210166078"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Truong Vinh Truong Duy","raw_affiliation_strings":["Aisin Corporation"],"raw_orcid":"https://orcid.org/0000-0001-8000-2214","affiliations":[{"raw_affiliation_string":"Aisin Corporation","institution_ids":["https://openalex.org/I4210166078"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5093359438","display_name":"Phan Thi Huyen Thanh","orcid":null},"institutions":[{"id":"https://openalex.org/I4210166078","display_name":"Aisin (United States)","ror":"https://ror.org/05wdedb75","country_code":"US","type":"company","lineage":["https://openalex.org/I4210098271","https://openalex.org/I4210166078"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Phan Thi Huyen Thanh","raw_affiliation_strings":["Aisin Corporation"],"raw_orcid":"https://orcid.org/0009-0007-1781-4827","affiliations":[{"raw_affiliation_string":"Aisin Corporation","institution_ids":["https://openalex.org/I4210166078"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104473592","display_name":"Jialong Li","orcid":"https://orcid.org/0000-0003-4327-1807"},"institutions":[{"id":"https://openalex.org/I150744194","display_name":"Waseda University","ror":"https://ror.org/00ntfnx83","country_code":"JP","type":"education","lineage":["https://openalex.org/I150744194"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Jialong Li","raw_affiliation_strings":["Waseda University"],"raw_orcid":"https://orcid.org/0000-0003-4327-1807","affiliations":[{"raw_affiliation_string":"Waseda University","institution_ids":["https://openalex.org/I150744194"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003574134","display_name":"Naoyasu Ubayashi","orcid":"https://orcid.org/0000-0003-1578-7195"},"institutions":[{"id":"https://openalex.org/I150744194","display_name":"Waseda University","ror":"https://ror.org/00ntfnx83","country_code":"JP","type":"education","lineage":["https://openalex.org/I150744194"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Naoyasu Ubayashi","raw_affiliation_strings":["Waseda University"],"raw_orcid":"https://orcid.org/0000-0003-1578-7195","affiliations":[{"raw_affiliation_string":"Waseda University","institution_ids":["https://openalex.org/I150744194"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033111691","display_name":"Hironori Washizaki","orcid":"https://orcid.org/0000-0002-1417-9879"},"institutions":[{"id":"https://openalex.org/I150744194","display_name":"Waseda University","ror":"https://ror.org/00ntfnx83","country_code":"JP","type":"education","lineage":["https://openalex.org/I150744194"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hironori Washizaki","raw_affiliation_strings":["Waseda University"],"raw_orcid":"https://orcid.org/0000-0002-1417-9879","affiliations":[{"raw_affiliation_string":"Waseda University","institution_ids":["https://openalex.org/I150744194"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.90003653,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":"14","issue":null,"first_page":"108729","last_page":"108755"},"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.9621999859809875,"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.9621999859809875,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.004800000227987766,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.00419999985024333,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/negotiation","display_name":"Negotiation","score":0.7348999977111816},{"id":"https://openalex.org/keywords/argumentation-theory","display_name":"Argumentation theory","score":0.7232000231742859},{"id":"https://openalex.org/keywords/resolution","display_name":"Resolution (logic)","score":0.5654000043869019},{"id":"https://openalex.org/keywords/conflict-resolution","display_name":"Conflict resolution","score":0.550599992275238},{"id":"https://openalex.org/keywords/argumentation-framework","display_name":"Argumentation framework","score":0.3395000100135803},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.30550000071525574}],"concepts":[{"id":"https://openalex.org/C199776023","wikidata":"https://www.wikidata.org/wiki/Q202875","display_name":"Negotiation","level":2,"score":0.7348999977111816},{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.7232000231742859},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6707000136375427},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.5654000043869019},{"id":"https://openalex.org/C21711469","wikidata":"https://www.wikidata.org/wiki/Q1194317","display_name":"Conflict resolution","level":2,"score":0.550599992275238},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.39329999685287476},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"score":0.3783999979496002},{"id":"https://openalex.org/C2779607372","wikidata":"https://www.wikidata.org/wiki/Q4789757","display_name":"Argumentation framework","level":3,"score":0.3395000100135803},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3109999895095825},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.30550000071525574},{"id":"https://openalex.org/C2779683958","wikidata":"https://www.wikidata.org/wiki/Q1640893","display_name":"Conflict management","level":2,"score":0.30300000309944153},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.2978000044822693},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.27730000019073486},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.275299996137619},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.2750000059604645}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2026.3713484","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2026.3713484","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:3d09599446e340828a578de7d31ed802","is_oa":false,"landing_page_url":"https://doaj.org/article/3d09599446e340828a578de7d31ed802","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 14, Pp 108729-108755 (2026)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2026.3713484","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2026.3713484","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1716091338","display_name":null,"funder_award_id":"JPMJMI20B8","funder_id":"https://openalex.org/F4320338243","funder_display_name":"JST-Mirai Program"}],"funders":[{"id":"https://openalex.org/F4320338243","display_name":"JST-Mirai Program","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"As":[0],"software":[1],"systems":[2],"grow":[3],"in":[4,22,74,213],"complexity,":[5],"they":[6],"must":[7],"satisfy":[8],"an":[9,102],"increasing":[10],"number":[11],"of":[12,115,168],"competing":[13],"quality":[14],"attributes,":[15],"making":[16],"it":[17],"essential":[18],"to":[19,53,227],"balance":[20],"them":[21],"a":[23,27,36,80],"principled":[24],"manner&#x2014;for":[25],"example,":[26],"safety":[28],"requirement":[29],"for":[30,199],"sensor-fusion":[31],"verification":[32],"may":[33],"conflict":[34,58],"with":[35],"tight":[37],"planning-cycle":[38],"budget.":[39],"Multi-agent":[40],"large":[41],"language":[42],"model":[43],"frameworks":[44],"support":[45],"this":[46],"balancing":[47],"process":[48],"by":[49],"assigning":[50],"specialized":[51],"agents":[52],"different":[54],"objectives.":[55],"However,":[56],"their":[57],"resolution":[59],"is":[60,99,117],"typically":[61],"heuristic.":[62],"Requirements":[63],"are":[64,105],"aggregated":[65],"implicitly":[66],"without":[67],"explicit":[68],"acceptance":[69],"or":[70],"rejection,":[71],"limiting":[72],"auditability":[73],"regulated":[75],"domains.":[76],"We":[77],"present":[78],"ArgRE,":[79],"multi-agent":[81],"requirements":[82],"negotiation":[83,92],"system":[84],"that":[85,149,205],"embeds":[86],"Dung-style":[87],"abstract":[88],"argumentation":[89],"into":[90],"the":[91,112,206,231],"stage.":[93],"Each":[94],"proposal,":[95],"critique,":[96],"and":[97,111,121,133,145,192,216],"refinement":[98],"modeled":[100],"as":[101,107],"argument,":[103],"conflicts":[104],"represented":[106],"directed":[108],"attack":[109],"relations,":[110],"accepted":[113],"set":[114],"arguments":[116],"computed":[118],"under":[119],"grounded":[120,215],"preferred":[122,217],"semantics.":[123,233],"The":[124],"pipeline":[125],"further":[126,203],"integrates":[127],"KAOS":[128],"goal":[129],"modeling,":[130],"multi-layer":[131],"verification,":[132],"standards-oriented":[134],"artifact":[135],"generation.":[136],"Evaluation":[137],"across":[138],"five":[139],"case":[140],"studies":[141],"spanning":[142],"safety-critical,":[143],"financial,":[144],"information-system":[146],"domains":[147],"shows":[148],"ArgRE":[150],"provides":[151],"argument-level":[152],"traceability":[153],"absent":[154],"from":[155],"existing":[156],"frameworks.":[157],"Independent":[158],"evaluators":[159],"rated":[160],"its":[161],"decision":[162],"justifications":[163],"significantly":[164],"higher":[165],"than":[166],"those":[167],"heuristic":[169],"synthesis":[170],"(4.32":[171],"vs.":[172],"3.07,":[173],"<inline-formula>":[174],"<tex-math":[175],"notation=\"LaTeX\">$p":[176],"\\lt":[177],"0.001$":[178],"</tex-math></inline-formula>),":[179],"indicating":[180],"improved":[181],"auditability,":[182],"while":[183],"semantic":[184],"intent":[185],"preservation":[186],"remains":[187],"comparable":[188],"(94.9%":[189],"BERTScore":[190],"F1)":[191],"compliance":[193],"coverage":[194],"reaches":[195],"84.7%":[196],"versus":[197],"47.6%&#x2013;47.8%":[198],"baselines.":[200],"Structural":[201],"analysis":[202],"confirms":[204],"default":[207],"pairwise":[208],"protocol":[209],"yields":[210],"acyclic":[211],"graphs":[212],"which":[214],"semantics":[218],"coincide,":[219],"whereas":[220],"cross-pair":[221],"arbitration":[222],"introduces":[223],"controlled":[224],"cyclicity,":[225],"leading":[226],"predictable":[228],"divergence":[229],"between":[230],"two":[232]},"counts_by_year":[],"updated_date":"2026-07-26T07:53:14.480251","created_date":"2026-07-17T00:00:00"}