9 citations · 23 across the 13 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
cs.AI2024
Evaluating AI fairness in credit scoring with the BRIO tool
Greta Coraglia, Francesco A. Genco, Pellegrino Piantadosi +4
We present a method for quantitative, in-depth analyses of fairness issues in AI systems with an application to credit scoring. To this aim we use BRIO, a tool for the evaluation o…
cs.LO2024
A Strongly Normalising System of Dependent Types for Transparent and Opaque Probabilistic Computation
Francesco A. Genco
We define an extension of lambda-calculus with dependents types that enables us to encode transparent and opaque probabilistic programs and prove a strong normalisation result for…
cs.LO2024★ 1 cited
A Logic of Knowledge and Justifications, with an Application to Computational Trust
Francesco A. Genco
We present a logical framework that enables us to define a formal theory of computational trust in which this notion is analysed in terms of epistemic attitudes towards the possibl…