Francesco Belardinelli
5 papers in the PaperMetrix corpus
Papers by this author
-
Dynamic Logic for Data-aware Systems: Decidability Results
2017
We introduce a first-order extension of dynamic logic (FO-DL), suitable to represent and reason about the behaviour of Data-aware Systems (DaS), which are systems whose data content is explicitly exhibited in the system’s description. We …
-
Aggregating Bipolar Opinions (With Appendix)
2021 · arXiv (Cornell University)
We introduce a novel method to aggregate Bipolar Argumentation (BA) Frameworks expressing opinions by different parties in debates. We use Bipolar Assumption-based Argumentation (ABA) as an all-encompassing formalism for BA under different semantics. By leveraging …
-
Strategic Abilities of Forgetful Agents in Stochastic Environments
2023 · arXiv (Cornell University)
In this paper, we investigate the probabilistic variants of the strategy logics ATL and ATL* under imperfect information. Specifically, we present novel decidability and complexity results when the model transitions are stochastic and agents play …
-
Aggregating bipolar opinions through bipolar assumption-based argumentation
2024 · Autonomous Agents and Multi-Agent Systems
Abstract We introduce a novel method to aggregate bipolar argumentation frameworks expressing opinions of different parties in debates. We use Bipolar Assumption-based Argumentation (ABA) as an all-encompassing formalism for bipolar argumentation under different semantics. By …