Antonio Rago

Learn More
We define a quantitative semantics for evaluating the strength of arguments in Bipolar Argumentation frameworks (BAFs) by adapting the Discontinuity-Free QuAD (DF-QuAD) algorithm previously used for evaluating the strength of arguments in Quantitative Argumentation Debates (QuAD) frameworks. We study the relationship between the new semantics and some(More)
Benchmarking plays a central role in the evaluation of High Performance Computing architec-tures. Several benchmarks have been designed that allow users to stress various components of supercomputers. In order for the figures they provide to be useful, benchmarks need to be representative of the most common real-world scenarios. In this work, we introduce(More)
  • 1