Giuseppe Primiero
Università degli Studi di Milano
H-index: 17
Europe-Italy
Top articles of Giuseppe Primiero
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A Pragmatic Theory of Computational Artefacts | Minds and Machines | Alessandro G Buda Giuseppe Primiero | 2024/2 |
A logical approach to algorithmic opacity | CEUR WORKSHOP PROCEEDINGS | Mattia Petrolo Ekaterina Kubyshkina Giuseppe Primiero | 2024 |
Reasoning With Bias | CEUR WORKSHOP PROCEEDINGS | Chiara Manganini Giuseppe Primiero | 2023/10/25 |
A typed lambda-calculus for establishing trust in probabilistic programs | arXiv preprint arXiv:2302.00958 | Francesco A Genco Giuseppe Primiero | 2023/2/2 |
On the Foundations of Computing: Limits and Open Issues | Giuseppe Primiero | 2023/8 | |
Proceedings of the 2nd Workshop on Bias, Ethical AI, Explainability and the role of Logic and Logic Programming | CEUR WORKSHOP PROCEEDINGS | Guido Boella Fabio Aurelio D'Asaro Abeer Dyoub Laura Gorrieri Francesca A Lisi | 2023 |
Copying safety and liveness properties of computational artefacts | Journal of Logic and Computation | Nicola Angius Giuseppe Primiero | 2023/7 |
BRIOxAlkemy: A Bias detecting tool | CEUR WORKSHOP PROCEEDINGS | Greta Coraglia Fabio Aurelio D'Asaro Francesco Genco Davide Giannuzzi Davide Posillipo | 2023 |
Imprecise probabilistic model checking for stochastic multi-agent systems | SN Computer Science | Alberto Termine Alessandro Antonucci Giuseppe Primiero Alessandro Facchini | 2023/6/12 |
Data quality dimensions for fair AI | arXiv preprint arXiv:2305.06967 | Camilla Quaresmini Giuseppe Primiero | 2023/5/11 |
The Westin St. Francis, San Francisco, CA Pacific APA Meeting April 5–6, 2023 | The Bulletin of Symbolic Logic | Silvia De Toffoli Patrick J Ryan Dirk Schlimm Tomas Petricek Brigitte Pientka | 2023/12 |
A computational model for assessing experts’ trustworthiness | Journal of Experimental & Theoretical Artificial Intelligence | Giuseppe Primiero Davide Ceolin Francesca Doneda | 2023/3/6 |
Netreason: Reasoning about social networks | Journal of Logic and Computation | Giuseppe Primiero Marija Slavkovik Sonja Smets | 2022/9 |
A logic for biassed information diffusion by paranoid agents in social networks | Journal of Logic and Computation | Lorenzo Prandi Giuseppe Primiero | 2022/9 |
Checking trustworthiness of probabilistic computations in a typed natural deduction system | arXiv preprint arXiv:2206.12934 | Fabio Aurelio D'Asaro Francesco Genco Giuseppe Primiero | 2022/6/26 |
Proof-Checking Trustworthiness of Biased Labelling Methods | Organizers and Programme Committee | Giuseppe Primiero | 2022/4/22 |
Transparent assessment of information quality of online reviews using formal argumentation theory | Information Systems | Davide Ceolin Giuseppe Primiero Michael Soprano Jan Wielemaker | 2022/12/1 |
Hyperintensions for Probabilistic Computations | TRIBUTES | Giuseppe Primiero | 2022 |
A depth-bounded semantics for becoming informed | Marco Larotonda Giuseppe Primiero | 2022/9/26 | |
Proof-checking bias in labeling methods | CEUR WORKSHOP PROCEEDINGS | Giuseppe Primiero FA D'Asaro | 2022 |