Listar por autor "Proietti, Carlo"

Mostrando ítems 1-3 de 3

A Dynamic Epistemic Logic for Abstract Argumentation

Yuste-Ginel, Antonio; Proietti, Carlo (2021)

This paper introduces a multi-agent dynamic epistemic logic for abstract argumenta- tion. Its main motivation is to build a general framework for modelling the dynamics of a debate, which entails reasoning about goals, ...
Formal Argumentation and Modal Logic.

Chesñevar, Carlos Iván; Dix, Jürgen; Liao, Beishui; Luo, Jieting; Proietti, Carlo; Yuste-Ginel, Antonio[et al.] (College Publications, 2025-03-25)

The interrelationship between defeasible argumentation and modal logic is rooted in their shared goal of capturing and modelling reasoning under uncertainty and changing conditions. In the last years, researchers have ...
Persuasive argumentation and epistemic attitudes

Proietti, Carlo; Yuste-Ginel, Antonio (2019-10-16)

These slides present the main notions and results of a work under construction that was presented in the 2nd DaLí Workshop, Dynamic Logic: New Trends and Applications in Porto, 9 October, 2019 and later published in the ...