Data speak but sometimes lie: A game-theoretic approach to data bias and algorithmic fairness
Chiara Manganini Esther Anna Corsi Giuseppe Primiero
en 2026
-
Publications
Defining Formal Validity Criteria for Machine Learning Models
Manganini, Chiara Primiero, Giuseppe
en 2026
-
Trustworthiness Preservation by Copies of Machine Learning Systems
Ceragioli, Leonardo Primiero, Giuseppe
en 2026
-
A dialectical formalisation of preferred subtheories reasoning under resource bounds
K. van Berkel M. D'Agostino S. Modgil
en 2025
-
A logic for reasoning about (negative) trust under uncertainty
Francesca Doneda Francesco A. Genco Giuseppe Primiero
en 2025
-
A Logic for Using Information
Alessandro Giuseppe Buda Giuseppe Primiero
en 2025
-
A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
L. Ceragioli G. Primiero
en 2025
-
A Proof System with Causal Labels (Part II): checking Counterfactual Fairness
L. Ceragioli G. Primiero
en 2025
-
BRIO: il ruolo della logica nella costruzione di un’Intelligenza Artificiale equa
Giuseppe Primiero
Etica della Ricerca, Bioetica, Biodiritto e Biopolitica, 2025
Checking trustworthiness of probabilistic computations in a typed natural deduction system
D'Asaro, F A Genco, F A Primiero, G
en 2025
-
Extending Depth-Bounded Reasoning to First-Order Logic
Marcello D'Agostino Costanza Larese Sanjay Modgil
en 2025
-
Justice at the Core of a New AI Paradigm
Primiero, Giuseppe
HARVARD DATA SCIENCE REVIEW 2025
Perspectives on Logics for Data-driven Reasoning
Hosni, Hykel Landes, Juergen
en 2025
-
Reasoning With and About Bias
Manganini, Chiara Primiero, Giuseppe
en 2025
-
Rilevazione e mitigazione dei bias negli algoritmi di classificazione con il metodo BRIO: il caso del credit scoring
Alessandro Giuseppe Buda Greta Coraglia Francesco Genco Chiara Manganini Giuseppe Primiero
COLLANA DI STUDI SCIENTIFICI / UNIVERSITÀ DEGLI STUDI DI MILANO, DIPARTIMENTO DI STUDI INTERNAZIONALI, GIURIDICI E STORICO-POLITICI 2025
Toward learning and reasoning in first-order justification logic
Stipe Pandzic
en 2025
-
What Follows from all that Data?\\Logic in the Methodology of Data-Intensive and AI-Driven Science
Hykel Hosni Juergen Landes
en 2025
-
A Logic of Knowledge and Justifications, with an Application to Computational Trust
Genco, Francesco A.
en 2024
-
A Logic of Weighted Reasons for Explainable Inference in AI
Pandzic S. Graff J.
en 2024
-
A logical approach to algorithmic opacity
Mattia Petrolo Ekaterina Kubyshkina Giuseppe Primiero
en 2024
-
A logical framework for data-driven reasoning
Baldi, Paolo Corsi, Esther Anna Hosni, Hykel
en 2024
-
A possible worlds semantics for trustworthy non-deterministic computations
Kubyshkina, Ekaterina Primiero, Giuseppe
en 2024
-
A Pragmatic Theory of Computational Artefacts
Buda, Alessandro G. Primiero, Giuseppe
en 2024
-
Bias Amplification Chains in ML-based Systems with an Application to Credit Scoring
A. G. Buda G. Coraglia F. A. Genco C. Manganini G. Primiero
en 2024
-
BRIOxAlkemy: A Bias detecting tool
Greta Coraglia Fabio Aurelio D’Asaro Francesco A. Genco Davide Giannuzzi Davide Posillipo Giuseppe Primiero Christian Quaggio
en 2024
-
Causality Problems in Machine Learning Systems
A. Termine G. Primiero
en 2024
-
Current philosophical perspectives on drug approval in the real world
Landes, Jürgen Auker-Howlett, Daniel J.
en 2024
-
Data Quality Dimensions for Fair AI
C. Quaresmini G. Primiero
en 2024
-
Depth-bounded Reasoning. Volume 1: Classical Propositional Logic
Marcello D'Agostino Dov Gabbay Costanza Larese Sanjay Modgil
en 2024
-
Extending Dialectical Classical Logic Argumentation with Unrestricted Rebut and Occam Razor Defeats
D'Agostino, Marcello Modgil, Sanjay
en 2024
-
Grounding operators: transitivity and trees, logicality and balance
Francesco Antonio Genco
en 2024
-
Handling Mobility Failures by Modal Types
Primiero, Giuseppe
en 2024
-
How to write a good paper: An interview with Wendy Parker, Kenny Easwaran and Thomas Reydon
J. Landes W. Parker K. Easwaran T. Reydon
THE REASONER 2024
Ignorance and its formal limits
Ekaterina Kubyshkina Mattia Petrolo
en 2024
-
Individual consent in cluster randomised trials for non-pharmaceutical interventions: going beyond the Ottawa statement
LeBlanc, Marissa Williamson, Jon De Pretis, Francesco Landes, Jürgen Rocca, Elena
en 2024
-
Knowledge Representation, Scientific Argumentation and Non-monotonic Logic
Landes, Jürgen Corsi, Esther Anna Baldi, Paolo
en 2024
-
Le vie della logica
D'Agostino, Marcello Hosni, Hykel
PICCOLA BIBLIOTECA EINAUDI. MAPPE 2024
Many-valued Semantics and Modal Logics: Essays in Honour of Yuriy Vasilievich Ivlev
Marcelo Esteban Coniglio Ekaterina Kubyshkina Dmitry Zaitsev
en 2024
-
Prior to Trust: Frequentist and Bayesian views of Trust in AI
M. Petrolo E. Kubyshkina G. Primiero
en 2024
-
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)
G. Coraglia F. A. D'Asaro A. Dyoub F. A. Lisi G. Primiero
CEUR WORKSHOP PROCEEDINGS 2024
Quasi-Matrix (Quasi-Functional) Logic
E. Kubyshkina Book Part (translator)
SYNTHÈSE LIBRARY 2024
BEWARE 2023 : Bias, Ethical AI, Explainability and the role of Logic and Logic Programming
2024 Guido Boella Fabio Aurelio D'Asaro Abeer Dyoub Laura Gorrieri Francesca A. Lisi Chiara Manganini Giuseppe Primiero
en 2023
-
Conceptual (and hence mathematical) explanation, conceptual grounding and proof
Francesco Antonio Genco Francesca Poggiolesi
en 2023
-
Fast Methods for Drug Approval: Research Perspectives for Pandemic Preparedness
Abdin, Ahmad Yaman De Pretis, Francesco Landes, Jürgen
en 2023
-
Formal Epistemology Meets Mechanism Design
Landes, Jürgen
en 2023
-
Hintikka’s conception of syntheticity as the introduction of new individuals
Costanza Larese
en 2023
-
Logical perspectives on the foundations of probability
Hosni, Hykel Landes, Jürgen
en 2023
-
Low-Level Analysis of Trust in Probabilistic and Opaque Programs
Francesco A. Genco
THE REASONER 2023
Revising the Elenchus via Belief Revision
Kubyshkina, E Petrolo, M
en 2023
-
Ricerche aritmetiche
Sandro Graffi Costanza Larese - Book (translator)
Edizioni della Normale 2023
Rules of proof for maximal entropy inference
Landes, Jürgen
en 2023
-
Special Issue: Advances in Argumentation in AI
Fabio Aurelio D'Asaro Marcello D'Agostino Costanza Larese Journal volume (editor)
JOURNAL OF APPLIED LOGICS 2023
Tractable depth-bounded approximations to FDE and its satellites
D’Agostino, Marcello Solares-Rojas, Alejandro
en 2023
-
Varieties of Error and Varieties of Evidence in Scientific Inference
Osimani, Barbara Landes, Juergen
en 2023
-
A logic of defeasible argumentation: Constructing arguments in justification logic
Pandzic S.
en 2022
-
A logic-based tractable approximation of probability
Paolo Baldi Hykel Hosni
en 2022
-
Bayesian Epistemology
Jürgen Landes
KRITERION 2022
BOID*: Autonomous Goal Deliberation through Abduction
Pandzic S. Broersen J. Aarts H.
en 2022
-
Chrysippus' Logic in a Natural Deduction Setting
M. D'Agostino M. Piazza
en 2022
-
Confirmation by Robustness Analysis: A Bayesian Account
L. Casini J. Landes
en 2022
-
Determining Maximal Entropy Functions for Objective Bayesian Inductive Logic
Landes, Juergen Rafiee Rad, Soroush Williamson, Jon
en 2022
-
E-synthesis for carcinogenicity assessments: A case study of processed meat
F. De Prestis S. Jukola J. Landes
en 2022
-
Ecthesis, constructions and existential instantiation. A Kantian tale
Costanza Larese
THE REASONER 2022
Kant on the analyticity of logic
Costanza Larese
en 2022
-
Objective Bayesian Nets for Integrating Consistent Datasets
Landes J. Williamson J.
en 2022
-
Pharmacovigilance as Personalized Evidence
Francesco De Pretis William Peden Jurgen Landes Barbara Osimani
en 2022
-
Probability and Degrees of Truth
P. Baldi H. Hosni
en 2022
-
Proceedings of the First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL2022)
M. Thimm J. Landes K. Skiba
FernUniversität in Hagen 2022
Reasoning about algorithmic opacity
Ekaterina Kubyshkina Mattia Petrolo
en 2022
-
Structured argumentation dynamics: Undermining attacks in default justification logic
Pandzic S.
en 2022
-
Towards Tractable Approximations to Many-Valued Logics: The Case of First Degree Entailment
D’Agostino, Marcello Solares-Rojas, Alejandro
en 2022
-
TRACTABLE DEPTH-BOUNDED APPROXIMATIONS TO SOME PROPOSITIONAL LOGICS. TOWARDS MORE REALISTIC MODELS OF LOGICAL AGENTS.
SOLARES ROJAS, ALEJANDRO JAVIER
it 2022
-
What is normal?
Kubyshkina, E Petrolo, M
en 2022
-
What's hot in uncertain reasoning
P. Baldi
THE REASONER 2022
Advancing the Boundaries of Formal Argumentation: Reflections on the AI3 2021 Special Issue
2023 Fabio Aurelio D'Asaro Marcello D'Agostino Costanza Larese
en 2021
-
Bilattice CADIAG-II: Theory and Experimental Results
Baldi P. Ciabattoni A. Adlassnig K. -P.
en 2021
-
Defining Formal Explanation in Classical Logic by Substructural Derivability
Francesco A. Genco Francesca Poggiolesi
en 2021
-
EA³: A softmax algorithm for evidence appraisal aggregation [EA(3): A softmax algorithm for evidence appraisal aggregation]
De Pretis, Francesco Landes, J
en 2021
-
Formal explanations as logical derivations
Genco F. A.
en 2021
-
From the logic of proofs to the logic of arguments
Stipe Pandzic
en 2021
-
Grounding, Quantifiers, and Paradoxes
Francesco A. Genco Francesca Poggiolesi Lorenzo Rossi
en 2021
-
Introducing k-lingo: a k-depth Bounded Version of ASP System Clingo
Fabio Aurelio D'Asaro Paolo Baldi Giuseppe Primiero
en 2021
-
Logical Approximations of Qualitative Probability
P. Baldi H. Hosni
en 2021
-
Molecular Biology Meets Logic: Context-Sensitiveness in Focus
Boniolo G. D'Agostino M. Piazza M. Pulcini G.
en 2021
-
Scoring Rules for Belief Functions and Imprecise Probabilities: A Comparison
Esther Anna Corsi Tommaso Flaminio Hykel Hosni
en 2021
-
The Entropy-Limit (Conjecture) for Σ₂-Premisses [The Entropy-Limit (Conjecture) for Sigma(2)-Premisses]
J. Landes
en 2021
-
Towards Depth-Bounded Natural Deduction for Classical First-order Logic
M. D'Agostino C. Larese S. Modgil
en 2021
-
When Belief Functions and Lower Probabilities are Indistinguishable
E. A. Corsi T. Flaminio H. Hosni
en 2021
-
A Fully Rational Account of Structured Argumentation Under Resource Bounds
M. D'Agostino S. Modgil
en 2020
-
Boolean algebras of conditionals, probability and logic
Flaminio, Tommaso Godo, Lluis Hosni, Hykel
en 2020
-
Classical and fuzzy two-layered modal logics for uncertainty: Translations and proof-theory
Baldi P. Cintula P. Noguera C.
en 2020
-
Depth-Bounded Approximations of Probability
Baldi, Paolo D’Agostino, Marcello Hosni, Hykel
en 2020
-
Depth-bounded Belief functions
P. Baldi H. Hosni
en 2020
-
Normality, Non-contamination and Logical Depth in Classical Natural Deduction
D’Agostino, Marcello Gabbay, Dov Modgil, Sanjay
en 2020
-
Notes on Hintikka’s Analytic-Synthetic Distinction
Costanza Larese
en 2020
-
On fuzzification mechanisms for unary quantification
Baldi, Paolo Fermüller, Christian G. Hofer, Matthias F. J.
en 2020
-
On the concurrent computational content of intermediate logics
Aschieri, Federico Ciabattoni, Agata Genco, Francesco A.
en 2020
-
On the Dynamics of Structured Argumentation: Modeling Changes in Default Justification Logic
Pandzic S.
en 2020
-
Par means parallel: multiplicative linear logic proofs as concurrent functional programs
Aschieri, Federico Genco, Francesco A.
en 2020
-
An informational approach to feasible deduction
M. D'Agostino
en 2019
-
Interview with Chris Fermueller
P. Baldi
THE REASONER 2019
La filosofia dell'informazione
Marcello D'Agostino
I QUADERNI DELLA ASSOCIAZIONE FRANCESCO BARONE 2019
Reifying default reasons in justification logic
Pandzic S.
en 2019
-
Translating Classical Probability Logics into Modal Fuzzy Logics
P. Baldi P. Cintula C. Noguerac
en 2019
-
A logic of default justifications
Pandzic Stipe
en 2018
-
A Study of Argumentative Characterisations of Preferred Subtheories
M. D'Agostino S. Modgil
en 2018
-
Classical logic, argument and dialectic
M. D'Agostino S. Modgil
en 2018
-
Classical Proofs as Parallel Programs
Aschieri, Federico Ciabattoni, Agata Genco, Francesco Antonio
en 2018
-
Convex MV-algebras : many-valued logics meet decision theory
T. Flaminio H. Hosni S. Lapenta
en 2018
-
Forecasting in light of Big Data
H. Hosni A. Vulpiani
en 2018
-
Hypersequents and Systems of Rules
Ciabattoni, Agata Genco, Francesco A.
en 2018
-
Introduction : the Governance of Algorithms
D’Agostino, Marcello Durante, Massimo
en 2018
-
Strict coherence on many valued-events
T. Flaminio H. Hosni F. Montagna
en 2018
-
From Semi-fuzzy to Fuzzy Quantifiers via Łukasiewicz Logic and Games
P. Baldi C. Fermueller
en 2017
-
Gödel logic: From natural deduction to parallel computation
Aschieri, Federico Ciabattoni, Agata Genco, Francesco A.
en 2017
-
Standard completeness for extensions of IMTL
Baldi P. Ciabattoni A. Gulisano F.
en 2017
-
Understanding Prescriptive Texts: Rules and Logic as Elaborated by the Mīmāṃsā School
Freschi, Elisa Ciabattoni, Agata Genco, Francesco A. Lellmann, Björn
en 2017
-
A Calculus for Rational Łukasiewicz Logic and Related Systems
P. Baldi
en 2016
-
Densification of FL chains via residuated frames
Baldi P. Terui K.
en 2016
-
Embedding formalisms: hypersequents and two-level systems of rules
A. Ciabattoni F. A. Genco
en 2016
-
Coherence in the aggregate : a betting method for belief functions on many-valued events
T. Flaminio L. Godo H. Hosni
en 2015
-
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]
Ciabattoni, Agata Freschi, Elisa Genco, Francesco A. Lellmann, Björn
en 2015
-
Robert Musil: mathematics as the audacity of pure ratio
Costanza Larese
en 2015
-
Standard Completeness for Uninorm-Based Logics
Baldi P. Ciabattoni A.
en 2015
-
Teoria della scelta sociale e teorema fondamentale dell'economia del benessere
M. Giaquinta H. Hosni
Edizioni della Normale 2015
Uniform proofs of standard completeness for extensions of first-order MTL
Baldi P. Ciabattoni A.
en 2015
-
On the logical structure of de Finetti's notion of event
T. Flaminio L. Godo H. Hosni
en 2014
-
Robert Musil: la Matematica come audacia della pura ratio
Costanza Larese
en 2014
-
You Better Play 7 : Mutual versus Common Knowledge of Advice in a Weak-link Experiment
G. Devetag H. Hosni G. Sillari
en 2013
-
A logical characterization of coherence for imprecise probabilities
M. Fedel H. Hosni F. Montagna
en 2011
-