GENCO, Francesco Antonio

GENCO, Francesco Antonio  

FILOSOFIA E SCIENZE DELL'EDUCAZIONE  

Mostra records
Risultati 1 - 19 di 19 (tempo di esecuzione: 0.034 secondi).
Titolo Data di pubblicazione Autore(i) File
A Logic of Knowledge and Justifications, with an Application to Computational Trust 2025 Genco, Francesco A.
Bias Amplification Chains in ML-based Systems with an Application to Credit Scoring 2025 Alessandro G. Buda; Greta Coraglia; Francesco A. Genco; Chiara Manganini; Giuseppe Primiero
BRIOxAlkemy: A Bias detecting tool 2024 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 D'Asaro, F A; Genco, F A; Primiero, G
Classical Proofs as Parallel Programs 2018 Aschieri, Federico; Ciabattoni, Agata; Genco, Francesco Antonio
Conceptual (and hence mathematical) explanation, conceptual grounding and proof 2023 Francesco Antonio Genco; Francesca Poggiolesi
Defining Formal Explanation in Classical Logic by Substructural 
Derivability 2021 Francesco A. Genco; Francesca Poggiolesi
Embedding formalisms: hypersequents and two-level systems of rules 2016 A. Ciabattoni; F. A. Genco
Formal explanations as logical derivations 2021 Genco F. A.
Grounding operators: transitivity and trees, logicality and balance 2024 Francesco Antonio Genco
Grounding, Quantifiers, and Paradoxes 2021 Francesco Genco; Francesca Poggiolesi; Lorenzo Rossi
Gödel logic: From natural deduction to parallel computation 2017 Aschieri, Federico; Ciabattoni, Agata; Genco, Francesco A.
Hypersequents and Systems of Rules 2018 Ciabattoni, Agata; Genco, Francesco A.
Low-Level Analysis of Trust in Probabilistic and Opaque Programs 2023 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 Ciabattoni, Agata; Freschi, Elisa; Genco, Francesco A.; Lellmann, Björn
On the concurrent computational content of intermediate logics 2020 Aschieri, Federico; Ciabattoni, Agata; Genco, Francesco A.
Par means parallel: multiplicative linear logic proofs as concurrent functional programs 2020 Aschieri, Federico; Genco, Francesco A.
Understanding Prescriptive Texts: Rules and Logic as Elaborated by the Mīmāṃsā School 2017 Freschi, Elisa; Ciabattoni, Agata; Genco, Francesco A.; Lellmann, Björn
WHAT STANDS BETWEEN GROUNDING RULES AND LOGICAL RULES IS THE EXCLUDED MIDDLE 2025 GENCO, FRANCESCO A.