40 citations · 134 across the 31 of their papers we have counts for
3 papers · 1 filter
Formal Verification of Debates in Argumentation Theory
Ria Jha, Francesco Belardinelli, Francesca Toni
Humans engage in informal debates on a daily basis. By expressing their opinions and ideas in an argumentative fashion, they are able to gain a deeper understanding of a given prob…
Social Choice Methods for Database Aggregation
Francesco Belardinelli, Umberto Grandi
Knowledge can be represented compactly in multiple ways, from a set of propositional formulas, to a Kripke model, to a database. In this paper we study the aggregation of informati…
Model Checking ATL* on vCGS
Francesco Belardinelli, Catalin Dima, Ioana Boureanu +1
We prove that the model checking ATL* on concurrent game structures with propositional control for atom-visibility (vCGS) is undecidable. To do so, we reduce this problem to model…