3 papers
math.LO2025
A Direct Characterisation of Logical Grounds and a Decidability Proof
Francesco A. Genco
We present a standard calculus for logical grounding based on well-established grounding principles [Schnieder, 2011, Fine, 2012, Correia, 2014, Correia, 2024] and provide a very d…
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…
math.LO2023
Grounding Operators: Transitivity and Trees, Logicality and Balance
Francesco A. Genco
We formally investigate immediate and mediate grounding operators from an inferential perspective. We discuss the differences in behaviour displayed by several grounding operators…