Francesco A. Genco

27 papers A* 1B 2C 1Journal 20Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
A logic for reasoning about (negative) trust under uncertainty.
J. Appl. Non Class. Logics
Francesca Doneda, Francesco A. Genco, Giuseppe Primiero
2026 J jnl
Reasons and Grounds: A Proof-Theoretical Investigation.
J. Philos. Log.
Francesco A. Genco, Andrea Iacona
2025 — conf
Assessing the Risk of Discrimination with BRIO: A Use Case from the Financial Sector.
HHAI
Alessandro Giuseppe Buda, Greta Coraglia, Francesco A. Genco, Chiara Manganini, Giuseppe Primiero
2025 J jnl
Checking trustworthiness of probabilistic computations in a typed natural deduction system.
J. Log. Comput.
Fabio Aurelio D'Asaro, Francesco A. Genco, Giuseppe Primiero
2025 J jnl
What stands between Grounding Rules and Logical Rules is the Excluded Middle.
Rev. Symb. Log.
Francesco A. Genco
2024 J jnl
A Logic of Knowledge and Justifications, with an Application to Computational Trust.
CoRR
Francesco A. Genco
2024 J jnl
A Strongly Normalising System of Dependent Types for Transparent and Opaque Probabilistic Computation.
CoRR
Francesco A. Genco
2024 — conf
Bias Amplification Chains in ML-based Systems with an Application to Credit Scoring.
BEWARE@AI*IA
Alessandro Giuseppe Buda, Greta Coraglia, Francesco A. Genco, Chiara Manganini, Giuseppe Primiero
2024 J jnl
Evaluating AI fairness in credit scoring with the BRIO tool.
CoRR
Greta Coraglia, Francesco A. Genco, Pellegrino Piantadosi, Enrico Bagli, Pietro Giuffrida, Davide Posillipo, Giuseppe Primiero
2024 J jnl
Grounding operators: transitivity and trees, logicality and balance.
J. Appl. Non Class. Logics
Francesco A. Genco
2023 J jnl
A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs.
CoRR
Francesco A. Genco, Giuseppe Primiero
2021 C conf
Defining Formal Explanation in Classical Logic by Substructural Derivability.
CiE
Francesco A. Genco, Francesca Poggiolesi
2021 J jnl
Formal explanations as logical derivations.
J. Appl. Non Class. Logics
Francesco A. Genco
2021 J jnl
Grounding, Quantifiers, and Paradoxes.
J. Philos. Log.
Francesco A. Genco, Francesca Poggiolesi, Lorenzo Rossi
2020 J jnl
On the concurrent computational content of intermediate logics.
Theor. Comput. Sci.
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
2020 J jnl
Par means parallel: multiplicative linear logic proofs as concurrent functional programs.
Proc. ACM Program. Lang.
Federico Aschieri, Francesco A. Genco
2019 J jnl
A typed parallel $λ$-calculus for graph-based communication.
CoRR
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
2019 J jnl
⅋ means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs.
CoRR
Federico Aschieri, Francesco A. Genco
2018 — conf
Classical Proofs as Parallel Programs.
GandALF
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
2018 J jnl
Disjunctive Axioms and Concurrent λ-Calculi: a Curry-Howard Approach.
CoRR
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
2018 J jnl
Hypersequents and Systems of Rules: Embeddings and Applications.
ACM Trans. Comput. Log.
Agata Ciabattoni, Francesco A. Genco
2018 J jnl
Substructural logics:
ACM SIGLOG News
Agata Ciabattoni, Francesco A. Genco, Revantha Ramanayake
2017 A* conf
Gödel logic: From natural deduction to parallel computation.
LICS
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
2017 J jnl
Mīmā\d{m}sā deontic logic: proof theory and applications.
CoRR
Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann
2016 J jnl
Curry-Howard Correspondence for Gödel Logic: from Natural Deduction to Parallel Computation.
CoRR
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
2016 B conf
Embedding formalisms: hypersequents and two-level systems of rule.
Advances in Modal Logic
Agata Ciabattoni, Francesco A. Genco
2015 B conf
Mīmāṃsā Deontic Logic: Proof Theory and Applications.
TABLEAUX
Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann