2026
A Versatile Framework for Formula-Based Enforcement and Synthesis in Abstract Argumentation
IJCAI 2026
Argumentation dynamics provides techniques for revising argumentation theories in real-world domains (e.g., an autonomous medical diagnostic agent). Within this context, enforcement in abstract argumentation has become a prominent topic. Enforcement aims to modify an argumentation framework to satis