GENCO, Francesco Antonio
GENCO, Francesco Antonio
FILOSOFIA E SCIENZE DELL'EDUCAZIONE
A Logic of Knowledge and Justifications, with an Application to Computational Trust
2025-01-01 Genco, Francesco A.
Bias Amplification Chains in ML-based Systems with an Application to Credit Scoring
2025-01-01 Alessandro G. Buda; Greta Coraglia; Francesco A. Genco; Chiara Manganini; Giuseppe Primiero
BRIOxAlkemy: A Bias detecting tool
2024-01-01 Greta Coraglia; Fabio Aurelio D’Asaro; Francesco A. Genco; Davide Giannuzzi; Davide Posillipo; Giuseppe Primiero; Christian Quaggio
Checking trustworthiness of probabilistic computations in a typed natural deduction system
2025-01-01 D'Asaro, F A; Genco, F A; Primiero, G
Classical Proofs as Parallel Programs
2018-01-01 Aschieri, Federico; Ciabattoni, Agata; Genco, Francesco Antonio
Conceptual (and hence mathematical) explanation, conceptual grounding and proof
2023-01-01 Francesco Antonio Genco; Francesca Poggiolesi
Defining Formal Explanation in Classical Logic by Substructural Derivability
2021-01-01 Francesco A. Genco; Francesca Poggiolesi
Embedding formalisms: hypersequents and two-level systems of rules
2016-01-01 A. Ciabattoni; F. A. Genco
Formal explanations as logical derivations
2021-01-01 Genco F. A.
Grounding operators: transitivity and trees, logicality and balance
2024-01-01 Francesco Antonio Genco
Grounding, Quantifiers, and Paradoxes
2021-01-01 Francesco Genco; Francesca Poggiolesi; Lorenzo Rossi
Gödel logic: From natural deduction to parallel computation
2017-01-01 Aschieri, Federico; Ciabattoni, Agata; Genco, Francesco A.
Hypersequents and Systems of Rules
2018-01-01 Ciabattoni, Agata; Genco, Francesco A.
Low-Level Analysis of Trust in Probabilistic and Opaque Programs
2023-01-01 Francesco A. Genco
Mīmāṃsā Deontic Logic: Proof Theory and Applications [M(i)over-barm(a)over-barms(a)over-bar Deontic Logic: Proof Theory and Applications]
2015-01-01 Ciabattoni, Agata; Freschi, Elisa; Genco, Francesco A.; Lellmann, Björn
On the concurrent computational content of intermediate logics
2020-01-01 Aschieri, Federico; Ciabattoni, Agata; Genco, Francesco A.
Par means parallel: multiplicative linear logic proofs as concurrent functional programs
2020-01-01 Aschieri, Federico; Genco, Francesco A.
Understanding Prescriptive Texts: Rules and Logic as Elaborated by the Mīmāṃsā School
2017-01-01 Freschi, Elisa; Ciabattoni, Agata; Genco, Francesco A.; Lellmann, Björn
WHAT STANDS BETWEEN GROUNDING RULES AND LOGICAL RULES IS THE EXCLUDED MIDDLE
2025-01-01 GENCO, FRANCESCO A.