Criteria for a theory of functional responsibility for AI as sociotechnical systems
Armando Di Stasio Alessandro G. Buda Giuseppe Primiero
SISTEMI INTELLIGENTI 2026
-
Publications
Data speak but sometimes lie: A game-theoretic approach to data bias and algorithmic fairness
Chiara Manganini Esther Anna Corsi Giuseppe Primiero
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING 2026
-
Defining Formal Validity Criteria for Machine Learning Models
Manganini, Chiara Primiero, Giuseppe
SYNTHÈSE LIBRARY 2026
-
Trustworthiness Preservation by Copies of Machine Learning Systems
Ceragioli, Leonardo Primiero, Giuseppe
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING 2026
-
A dialectical formalisation of preferred subtheories reasoning under resource bounds
K. van Berkel M. D'Agostino S. Modgil
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING 2025
-
A logic for reasoning about (negative) trust under uncertainty
Francesca Doneda Francesco A. Genco Giuseppe Primiero
JOURNAL OF APPLIED NON-CLASSICAL LOGICS 2025
-
A Logic for Using Information
Alessandro Giuseppe Buda Giuseppe Primiero
LOGIQUE ET ANALYSE 2025
-
A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
L. Ceragioli G. Primiero
CEUR WORKSHOP PROCEEDINGS 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
JOURNAL OF LOGIC AND COMPUTATION 2025
-
Extending Depth-Bounded Reasoning to First-Order Logic
Marcello D'Agostino Costanza Larese Sanjay Modgil
JOURNAL OF APPLIED LOGICS 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
LOGIC, ARGUMENTATION & REASONING 2025
-
Reasoning With and About Bias
Manganini, Chiara Primiero, Giuseppe
LOGIC, ARGUMENTATION & REASONING 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
-
Travelling ML Models Across Different Socio-Technical Contexts and Purposes
Huyskes, Diletta Sapignoli, Maria Primiero, Giuseppe
en 2025
-
What Follows from all that Data?\\Logic in the Methodology of Data-Intensive and AI-Driven Science
Hykel Hosni Juergen Landes
JOURNAL OF APPLIED LOGICS 2025
-
A Logic of Knowledge and Justifications, with an Application to Computational Trust
Genco, Francesco A.
STUDIA LOGICA 2024
-
A Logic of Weighted Reasons for Explainable Inference in AI
Pandzic S. Graff J.
COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE 2024
-
A logical approach to algorithmic opacity
Mattia Petrolo Ekaterina Kubyshkina Giuseppe Primiero
CEUR WORKSHOP PROCEEDINGS 2024
-
A logical framework for data-driven reasoning
Baldi, Paolo Corsi, Esther Anna Hosni, Hykel
LOGIC JOURNAL OF THE IGPL 2024
-
A possible worlds semantics for trustworthy non-deterministic computations
Kubyshkina, Ekaterina Primiero, Giuseppe
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING 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
CEUR WORKSHOP PROCEEDINGS 2024
-
BRIOxAlkemy: A Bias detecting tool
Greta Coraglia Fabio Aurelio D’Asaro Francesco A. Genco Davide Giannuzzi Davide Posillipo Giuseppe Primiero Christian Quaggio
CEUR WORKSHOP PROCEEDINGS 2024
-
Current philosophical perspectives on drug approval in the real world
Landes, Jürgen Auker-Howlett, Daniel J.
JOURNAL OF CAUSAL INFERENCE 2024
-
Data Quality Dimensions for Fair AI
C. Quaresmini G. Primiero
CEUR WORKSHOP PROCEEDINGS 2024
-
Depth-bounded Reasoning. Volume 1: Classical Propositional Logic
Marcello D'Agostino Dov Gabbay Costanza Larese Sanjay Modgil
STUDIES IN LOGIC 2024
-
Extending Dialectical Classical Logic Argumentation with Unrestricted Rebut and Occam Razor Defeats
D'Agostino, Marcello Modgil, Sanjay
FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS 2024
-
Grounding operators: transitivity and trees, logicality and balance
Francesco Antonio Genco
JOURNAL OF APPLIED NON-CLASSICAL LOGICS 2024
-
Handling Mobility Failures by Modal Types
Primiero, Giuseppe
LOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE 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
CRITICAL PUBLIC HEALTH 2024
-
Knowledge Representation, Scientific Argumentation and Non-monotonic Logic
Landes, Jürgen Corsi, Esther Anna Baldi, Paolo
LOGIC, ARGUMENTATION & REASONING 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
SYNTHÈSE LIBRARY 2024
-
Prior to Trust: Frequentist and Bayesian views of Trust in AI
M. Petrolo E. Kubyshkina G. Primiero
CEUR WORKSHOP PROCEEDINGS 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
Conceptual (and hence mathematical) explanation, conceptual grounding and proof
Francesco Antonio Genco Francesca Poggiolesi
ERKENNTNIS 2023
-
Fast Methods for Drug Approval: Research Perspectives for Pandemic Preparedness
Abdin, Ahmad Yaman De Pretis, Francesco Landes, Jürgen
INTERNATIONAL JOURNAL OF ENVIRONMENTAL RESEARCH AND PUBLIC HEALTH 2023
-
Formal Epistemology Meets Mechanism Design
Landes, Jürgen
JOURNAL FOR GENERAL PHILOSOPHY OF SCIENCE 2023
-
Hintikka’s conception of syntheticity as the introduction of new individuals
Costanza Larese
SYNTHESE 2023
-
Logical perspectives on the foundations of probability
Hosni, Hykel Landes, Jürgen
OPEN MATHEMATICS 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
LOGICA UNIVERSALIS 2023
-
Ricerche aritmetiche
Sandro Graffi Costanza Larese - Book (translator)
Edizioni della Normale 2023
Rules of proof for maximal entropy inference
Landes, Jürgen
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING 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
JOURNAL OF LOGIC AND COMPUTATION 2023
-
Varieties of Error and Varieties of Evidence in Scientific Inference
Osimani, Barbara Landes, Juergen
BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE 2023
-
A logic of defeasible argumentation: Constructing arguments in justification logic
Pandzic S.
ARGUMENT & COMPUTATION 2022
-
A logic-based tractable approximation of probability
Paolo Baldi Hykel Hosni
JOURNAL OF LOGIC AND COMPUTATION 2022
-
Bayesian Epistemology
Jürgen Landes
KRITERION 2022
BOID*: Autonomous Goal Deliberation through Abduction
Pandzic S. Broersen J. Aarts H.
PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS 2022
-
Chrysippus' Logic in a Natural Deduction Setting
M. D'Agostino M. Piazza
LOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE 2022
-
Confirmation by Robustness Analysis: A Bayesian Account
L. Casini J. Landes
ERKENNTNIS 2022
-
Determining Maximal Entropy Functions for Objective Bayesian Inductive Logic
Landes, Juergen Rafiee Rad, Soroush Williamson, Jon
JOURNAL OF PHILOSOPHICAL LOGIC 2022
-
E-synthesis for carcinogenicity assessments: A case study of processed meat
F. De Prestis S. Jukola J. Landes
JOURNAL OF EVALUATION IN CLINICAL PRACTICE 2022
-
Ecthesis, constructions and existential instantiation. A Kantian tale
Costanza Larese
THE REASONER 2022
Kant on the analyticity of logic
Costanza Larese
ARGUMENTA 2022
-
Objective Bayesian Nets for Integrating Consistent Datasets
Landes J. Williamson J.
THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 2022
-
Pharmacovigilance as Personalized Evidence
Francesco De Pretis William Peden Jurgen Landes Barbara Osimani
HUMAN PERSPECTIVES IN HEALTH SCIENCES AND TECHNOLOGY 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
CEUR WORKSHOP PROCEEDINGS 2022
-
Structured argumentation dynamics: Undermining attacks in default justification logic
Pandzic S.
ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE 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
LOGIQUE ET ANALYSE 2022
-
What's hot in uncertain reasoning
P. Baldi
THE REASONER 2022
A Triple Uniqueness of the Maximum Entropy Approach
Landes, J
LECTURE NOTES IN COMPUTER SCIENCE 2021
-
Advancing the Boundaries of Formal Argumentation: Reflections on the AI3 2021 Special Issue
2023 Fabio Aurelio D'Asaro Marcello D'Agostino Costanza Larese
JOURNAL OF APPLIED LOGICS 2021
-
Bilattice CADIAG-II: Theory and Experimental Results
Baldi P. Ciabattoni A. Adlassnig K. -P.
STUDIES IN COMPUTATIONAL INTELLIGENCE 2021
-
Defining Formal Explanation in Classical Logic by Substructural Derivability
Francesco A. Genco Francesca Poggiolesi
LECTURE NOTES IN COMPUTER SCIENCE 2021
-
Formal explanations as logical derivations
Genco F. A.
JOURNAL OF APPLIED NON-CLASSICAL LOGICS 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
JOURNAL OF PHILOSOPHICAL LOGIC 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
PROCEEDINGS OF MACHINE LEARNING RESEARCH 2021
-
Molecular Biology Meets Logic: Context-Sensitiveness in Focus
Boniolo G. D'Agostino M. Piazza M. Pulcini G.
FOUNDATIONS OF SCIENCE 2021
-
Scoring Rules for Belief Functions and Imprecise Probabilities: A Comparison
Esther Anna Corsi Tommaso Flaminio Hykel Hosni
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 2021
-
The Principal Principle, admissibility, and normal informal standards of what is reasonable
J. Landes
EUROPEAN JOURNAL FOR PHILOSOPHY OF SCIENCE 2021
-
Towards Depth-Bounded Natural Deduction for Classical First-order Logic
M. D'Agostino C. Larese S. Modgil
THE IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS 2021
-
When Belief Functions and Lower Probabilities are Indistinguishable
E. A. Corsi T. Flaminio H. Hosni
PROCEEDINGS OF MACHINE LEARNING RESEARCH 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
ARTIFICIAL INTELLIGENCE 2020
-
Classical and fuzzy two-layered modal logics for uncertainty: Translations and proof-theory
Baldi P. Cintula P. Noguera C.
INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS 2020
-
Depth-Bounded Approximations of Probability
Baldi, Paolo D’Agostino, Marcello Hosni, Hykel
COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE 2020
-
Depth-bounded Belief functions
P. Baldi H. Hosni
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING 2020
-
Normality, Non-contamination and Logical Depth in Classical Natural Deduction
D’Agostino, Marcello Gabbay, Dov Modgil, Sanjay
STUDIA LOGICA 2020
-
Notes on Hintikka’s Analytic-Synthetic Distinction
Costanza Larese
ISONOMIA 2020
-
On fuzzification mechanisms for unary quantification
Baldi, Paolo Fermüller, Christian G. Hofer, Matthias F. J.
FUZZY SETS AND SYSTEMS 2020
-
On the concurrent computational content of intermediate logics
Aschieri, Federico Ciabattoni, Agata Genco, Francesco A.
THEORETICAL COMPUTER SCIENCE 2020
-
On the Dynamics of Structured Argumentation: Modeling Changes in Default Justification Logic
Pandzic S.
LECTURE NOTES IN COMPUTER SCIENCE 2020
-
Par means parallel: multiplicative linear logic proofs as concurrent functional programs
Aschieri, Federico Genco, Francesco A.
PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES 2020
-
An informational approach to feasible deduction
M. D'Agostino
ANALITICA 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.
CEUR WORKSHOP PROCEEDINGS 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
ARTIFICIAL INTELLIGENCE 2018
-
Classical Proofs as Parallel Programs
Aschieri, Federico Ciabattoni, Agata Genco, Francesco Antonio
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 2018
-
Convex MV-algebras : many-valued logics meet decision theory
T. Flaminio H. Hosni S. Lapenta
STUDIA LOGICA 2018
-
Forecasting in light of Big Data
H. Hosni A. Vulpiani
PHILOSOPHY & TECHNOLOGY 2018
-
Hypersequents and Systems of Rules
Ciabattoni, Agata Genco, Francesco A.
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2018
-
Introduction : the Governance of Algorithms
D’Agostino, Marcello Durante, Massimo
PHILOSOPHY & TECHNOLOGY 2018
-
Strict coherence on many valued-events
T. Flaminio H. Hosni F. Montagna
THE JOURNAL OF SYMBOLIC LOGIC 2018
-
From Semi-fuzzy to Fuzzy Quantifiers via Łukasiewicz Logic and Games
P. Baldi C. Fermueller
ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING 2017
-
Gödel logic: From natural deduction to parallel computation
Aschieri, Federico Ciabattoni, Agata Genco, Francesco A.
PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE 2017
-
Standard completeness for extensions of IMTL
Baldi P. Ciabattoni A. Gulisano F.
IEEE INTERNATIONAL FUZZY SYSTEMS CONFERENCE PROCEEDINGS 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
JOURNAL OF WORLD PHILOSOPHIES 2017
-
A Calculus for Rational Łukasiewicz Logic and Related Systems
P. Baldi
COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE 2016
-
Densification of FL chains via residuated frames
Baldi P. Terui K.
ALGEBRA UNIVERSALIS 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
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING 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
LECTURE NOTES IN COMPUTER SCIENCE 2015
-
Robert Musil: mathematics as the audacity of pure ratio
Costanza Larese
LETTERA MATEMATICA 2015
-
Standard Completeness for Uninorm-Based Logics
Baldi P. Ciabattoni A.
PROCEEDINGS - INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC 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.
THEORETICAL COMPUTER SCIENCE 2015
-
On the logical structure of de Finetti's notion of event
T. Flaminio L. Godo H. Hosni
JOURNAL OF APPLIED LOGIC 2014
-
Robert Musil: la Matematica come audacia della pura ratio
Costanza Larese
LETTERA MATEMATICA PRISTEM 2014
-
You Better Play 7 : Mutual versus Common Knowledge of Advice in a Weak-link Experiment
G. Devetag H. Hosni G. Sillari
SYNTHESE 2013
-
A logical characterization of coherence for imprecise probabilities
M. Fedel H. Hosni F. Montagna
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING 2011
-