← Search

Yannis Dimopoulos

2 accepted papers

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

Cited by 0Scholar
2024

Redefining ABA+ Semantics via Abstract Set-to-Set Attacks

AAAI 2024technical

Assumption-based argumentation (ABA) is a powerful defeasible reasoning formalism which is based on the interplay of assumptions, their contraries, and inference rules. ABA with preferences (ABA+) generalizes the basic model by allowing qualitative comparison between assumptions. The integration of…

Cited by 5SourcePDFScholar