{"id":"https://openalex.org/W7157333330","doi":"https://doi.org/10.48550/arxiv.2604.23124","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-04-25","ids":{"openalex":"https://openalex.org/W7157333330","doi":"https://doi.org/10.48550/arxiv.2604.23124"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.23124","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.23124","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.23124","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5134815141","display_name":"Haowei Cheng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cheng, Haowei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048723910","display_name":"Milhan Kim","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kim, Milhan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134794935","display_name":"Chong Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Chong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055898374","display_name":"Teeradaj Racharak","orcid":"https://orcid.org/0000-0002-8823-2361"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Racharak, Teeradaj","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016818365","display_name":"Truong Vinh Truong Duy","orcid":"https://orcid.org/0000-0003-4114-3393"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Duy, Truong Vinh Truong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5093359438","display_name":"Phan Thi Huyen Thanh","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thanh, Phan Thi Huyen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134804616","display_name":"Jialong Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Jialong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003574134","display_name":"Naoyasu Ubayashi","orcid":"https://orcid.org/0000-0003-1578-7195"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ubayashi, Naoyasu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5129083492","display_name":"Hironori Washizaki","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Washizaki, Hironori","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.5720000267028809,"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.5720000267028809,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.1023000031709671,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.05570000037550926,"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/negotiation","display_name":"Negotiation","score":0.5396999716758728},{"id":"https://openalex.org/keywords/traceability","display_name":"Traceability","score":0.5213000178337097},{"id":"https://openalex.org/keywords/pairwise-comparison","display_name":"Pairwise comparison","score":0.4772999882698059},{"id":"https://openalex.org/keywords/conflict-resolution","display_name":"Conflict resolution","score":0.4742000102996826},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.46939998865127563},{"id":"https://openalex.org/keywords/argumentation-theory","display_name":"Argumentation theory","score":0.42669999599456787},{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.4178999960422516},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.41100001335144043},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.39969998598098755},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.39739999175071716}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6780999898910522},{"id":"https://openalex.org/C199776023","wikidata":"https://www.wikidata.org/wiki/Q202875","display_name":"Negotiation","level":2,"score":0.5396999716758728},{"id":"https://openalex.org/C153876917","wikidata":"https://www.wikidata.org/wiki/Q899704","display_name":"Traceability","level":2,"score":0.5213000178337097},{"id":"https://openalex.org/C184898388","wikidata":"https://www.wikidata.org/wiki/Q1435712","display_name":"Pairwise comparison","level":2,"score":0.4772999882698059},{"id":"https://openalex.org/C21711469","wikidata":"https://www.wikidata.org/wiki/Q1194317","display_name":"Conflict resolution","level":2,"score":0.4742000102996826},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.46939998865127563},{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.42669999599456787},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.4178999960422516},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.41100001335144043},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.39969998598098755},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.39739999175071716},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.391400009393692},{"id":"https://openalex.org/C6604083","wikidata":"https://www.wikidata.org/wiki/Q376937","display_name":"Requirements engineering","level":3,"score":0.3756999969482422},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.3668000102043152},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.35830000042915344},{"id":"https://openalex.org/C153185123","wikidata":"https://www.wikidata.org/wiki/Q1391624","display_name":"Sequence diagram","level":4,"score":0.3467999994754791},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.31349998712539673},{"id":"https://openalex.org/C154504017","wikidata":"https://www.wikidata.org/wiki/Q853614","display_name":"Identifier","level":2,"score":0.3098999857902527},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3052999973297119},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"score":0.30410000681877136},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.299699991941452},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.29490000009536743},{"id":"https://openalex.org/C207390915","wikidata":"https://www.wikidata.org/wiki/Q1230525","display_name":"Divergence (linguistics)","level":2,"score":0.29019999504089355},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.287200003862381},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.28700000047683716},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.2849999964237213},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.2825999855995178},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.2754000127315521},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.2718999981880188},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.2628999948501587},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.25940001010894775},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.25870001316070557},{"id":"https://openalex.org/C2775851571","wikidata":"https://www.wikidata.org/wiki/Q6045205","display_name":"Interaction protocol","level":3,"score":0.25529998540878296},{"id":"https://openalex.org/C160151201","wikidata":"https://www.wikidata.org/wiki/Q207946","display_name":"Arbitration","level":2,"score":0.2531999945640564}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.23124","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.23124","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.23124","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.23124","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.44024181365966797,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"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,76,212],"complexity,":[5],"they":[6],"must":[7],"satisfy":[8],"an":[9,104],"increasing":[10],"number":[11],"of":[12,117,170],"competing":[13],"quality":[14],"attributes,":[15],"making":[16],"it":[17],"essential":[18],"to":[19,55,226],"balance":[20],"them":[21],"a":[23,29,38,82],"principled":[24],"manner":[25],"--":[26],"for":[27,32,198],"example,":[28],"safety":[30],"requirement":[31],"sensor-fusion":[33],"verification":[34],"may":[35],"conflict":[36,60],"with":[37],"tight":[39],"planning-cycle":[40],"budget.":[41],"Multi-agent":[42],"large":[43],"language":[44],"model":[45],"frameworks":[46],"support":[47],"this":[48],"balancing":[49],"process":[50],"by":[51],"assigning":[52],"specialized":[53],"agents":[54],"different":[56],"objectives.":[57],"However,":[58],"their":[59],"resolution":[61],"is":[62,101,119],"typically":[63],"heuristic.":[64],"Requirements":[65],"are":[66,107],"aggregated":[67],"implicitly":[68],"without":[69],"explicit":[70],"acceptance":[71],"or":[72],"rejection,":[73],"limiting":[74],"auditability":[75],"regulated":[77],"domains.":[78],"We":[79],"present":[80],"ArgRE,":[81],"multi-agent":[83],"requirements":[84],"negotiation":[85,94],"system":[86],"that":[87,151,204],"embeds":[88],"Dung-style":[89],"abstract":[90],"argumentation":[91],"into":[92],"the":[93,114,205,230],"stage.":[95],"Each":[96],"proposal,":[97],"critique,":[98],"and":[99,113,123,135,147,191,215],"refinement":[100],"modeled":[102],"as":[103,109],"argument,":[105],"conflicts":[106],"represented":[108],"directed":[110],"attack":[111],"relations,":[112],"accepted":[115],"set":[116],"arguments":[118],"computed":[120],"under":[121],"grounded":[122,214],"preferred":[124,216],"semantics.":[125,232],"The":[126],"pipeline":[127],"further":[128,202],"integrates":[129],"KAOS":[130],"goal":[131],"modeling,":[132],"multi-layer":[133],"verification,":[134],"standards-oriented":[136],"artifact":[137],"generation.":[138],"Evaluation":[139],"across":[140],"five":[141],"case":[142],"studies":[143],"spanning":[144],"safety-critical,":[145],"financial,":[146],"information-system":[148],"domains":[149],"shows":[150],"ArgRE":[152],"provides":[153],"argument-level":[154],"traceability":[155],"absent":[156],"from":[157],"existing":[158],"frameworks.":[159],"Independent":[160],"evaluators":[161],"rated":[162],"its":[163],"decision":[164],"justifications":[165],"significantly":[166],"higher":[167],"than":[168],"those":[169],"heuristic":[171],"synthesis":[172],"(4.32":[173],"vs.":[174],"3.07,":[175],"p":[176],"<":[177],"0.001),":[178],"indicating":[179],"improved":[180],"auditability,":[181],"while":[182],"semantic":[183],"intent":[184],"preservation":[185],"remains":[186],"comparable":[187],"(94.9%":[188],"BERTScore":[189],"F1)":[190],"compliance":[192],"coverage":[193],"reaches":[194],"84.7%":[195],"versus":[196],"47.6%--47.8%":[197],"baselines.":[199],"Structural":[200],"analysis":[201],"confirms":[203],"default":[206],"pairwise":[207],"protocol":[208],"yields":[209],"acyclic":[210],"graphs":[211],"which":[213],"semantics":[217],"coincide,":[218],"whereas":[219],"cross-pair":[220],"arbitration":[221],"introduces":[222],"controlled":[223],"cyclicity,":[224],"leading":[225],"predictable":[227],"divergence":[228],"between":[229],"two":[231]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-29T00:00:00"}