ArgRE: Formal Argumentation for Conflict Resolution in Multi-Agent Requirements Negotiation. - Haowei Cheng; Milhan Kim; Chong Liu; Teeradaj Racharak; Truong Vinh Truong Duy; Phan Thi Huyen Thanh; Jialong Li 001; Naoyasu Ubayashi; Hironori Washizaki (CoRR, 2026)