3 papers
cs.AI2026
Some Results about the Expressivity of Preference-Incomplete Structured Argumentation Frameworks
Antonio Yuste-Ginel
This paper studies the expressive power of ASPIC argumentation frameworks with uncertain preference profiles by comparing them with several abstract formalisms with uncertain d…
cs.LO2026
A meta-modal logic for bisimulations
Alfredo Burrieza, Fernando Soler-Toscano, Antonio Yuste-Ginel
We propose a modal study of the notion of bisimulation. Our contribution is threefold. First, we extend the basic modal language with a new modality $\nbi$, whose intended meaning…
cs.AI2026
Comparative Expressivity for Structured Argumentation Frameworks with Uncertain Rules and Premises
Carlo Proietti, Antonio Yuste-Ginel
Modelling qualitative uncertainty in formal argumentation is essential both for practical applications and theoretical understanding. Yet, most of the existing works focus on \text…