Reasons and grounds: A proof-theoretical investigation. F.A. Genco and A. Iacona. Journal of Philosophical Logic, 2025.
Rilevazione e mitigazione dei bias negli algoritmi di classificazione con il metodo BRIO: il caso del credit scoring. A.G. Buda, G. Coraglia, F.A. Genco, C. Manganini and G. Primiero. In Mercati finanziari e transizione digitale : Una tassonomia, edited by L. Ammanati, A. Canepa, G.L. Greco and U. Minneci. 2025. Pages 215–223.
Checking trustworthiness of probabilistic computation typed natural deduction system. Fabio A. D’Asaro, Francesco A. Genco and Giuseppe Primiero. Journal of Logic and Computation, vol. 25, issue 3, 2025.
Bolzano, sa logique et sa notion d’explication. Francesco A. Genco. Cahiers philosophiques, num. 179, La philosophie autrichienne. 2024.
A Logic of Knowledge and Justifications, with an Application to Computational Trust. Francesco A. Genco. Studia Logica. To appear.
What Stands Between Grounding Rules and Logical Rules Is the Excluded Middle. Francesco A. Genco. Review of Symbolic Logic. To appear.
Bias Amplification Chains in ML-based Systems with an Application to Credit Scoring. Alessandro G. Buda, Greta Coraglia, Francesco A. Genco, Chiara Manganini, Giuseppe Primiero. Proceedings of the 3rd Workshop on Bias, Ethical AI, Explainability and the role of Logic and Logic Programming co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024). 2024.
Grounding Operators: Transitivity and Trees, Logicality and Balance. Francesco A. Genco. Journal of Applied Non-Classical Logics. 34(4), 453–492. 2024.
BRIOxAlkemy: A Bias detecting tool. Francesco A. Genco, Greta Coraglia, Giuseppe Primiero, Fabio Aurelio D'Asaro, Davide Posillipo, Davide Giannuzzi and Christian Quaggio. BEWARE workshop co-located with AIxIA 2023, 6--9 November 2023, Rome, Italy. 2023.
Low-level Analysis of Trust in Probabilistic and Opaque Programs. Francesco A. Genco. The Reasoner, vol. 17, n. 4, July 2023.
Formal Explanations as Logical Derivations. Francesco A. Genco. Journal of Applied Non-Classical Logics. 2021.
Defining Formal Explanation in Classical Logic by Substructural Derivability. Francesco A. Genco and Francesca Poggiolesi. Computability in Europe 2021.
Grounding, quantifiers, and paradoxes. Francesco A. Genco, Francesca Poggiolesi, and Lorenzo Rossi. Journal of Philosophical Logic. 2021.
Conceptual (and hence mathematical) explanation, conceptual grounding and proof. Francesca Poggiolesi and Francesco A. Genco. Erkenntnis. 2021.
A Typed Parallel Lambda-Calculus via 1-Depth Intermediate Proofs. Federico Aschieri, Agata Ciabattoni and Francesco A. Genco. LPAR23. 2020.
On the Concurrent Computational Content of Intermediate Logics. Federico Aschieri, Agata Ciabattoni and Francesco A. Genco. Theoretical Computer Science. 2020.
Par Means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs. Federico Aschieri and Francesco A. Genco. POPL 2020.
Intermediate Logics and Concurrent Lambda Calculi: A Proof-Theoretical Approach (alternative link). PhD Thesis. Supervisor: Agata Ciabattoni. TU Wien, Vienna, Austria. 2019.
Classical Proofs as Parallel Programs. Federico Aschieri, Agata Ciabattoni and Francesco A. Genco. GandALF 2018.
Hypersequents and Systems of Rules: Embeddings and Applications. Agata Ciabattoni and Francesco A. Genco. TOCL, vol. 19, issue 2. 2018.
Gödel logic: from natural deduction to parallel computation. Federico Aschieri, Agata Ciabattoni and Francesco A. Genco. LICS 2017, pp. 1–12. 2017.
Understanding prescriptive texts: rules and logic elaborated by Mīmāṃsā school.
Agata Ciabattoni, Elisa Freschi, Francesco A. Genco and Björn Lellmann. Journal of World Philosophies, vol. 2, num. 1, pp. 47–66. 2017.
Embedding formalisms: hypersequents and two-level systems of rules. Agata Ciabattoni and Francesco A. Genco. Advances in Modal Logic, vol. 11, pp. 197–216. 2016.
Mīmāṃsā deontic logic: proof theory and applications. Agata Ciabattoni, Elisa Freschi, Francesco A. Genco and Björn Lellmann.TABLEAUX 2015, pp. 323–338. 2015.
Modal logics and independence friendly logics (in Italian). Master's Thesis. Supervisor: Giovanna Corsi. Department of Philosophy and Communication, University of Bologna, Italy. 2013.
E come etica. Francesco A. Genco. Glossario MIRAI dell'Intelligenza Artificiale. 2025.
D come determinismo e non-determinismo. Francesco A. Genco. Glossario MIRAI dell'Intelligenza Artificiale. 2025.
C come chatbot. Francesco A. Genco. Glossario MIRAI dell'Intelligenza Artificiale. 2025.
B come bias. Francesco A. Genco. Glossario MIRAI dell'Intelligenza Artificiale. 2025.
A come algoritmo. Francesco A. Genco. Glossario MIRAI dell'Intelligenza Artificiale. 2025.