Giuseppe Primiero

94 papers A* 1A 1B 4C 5Misc 1Journal 39Unranked 37

Year	Rank	Type	Title / 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`	Data speak but sometimes lie: A game-theoretic approach to data bias and algorithmic fairness. Int. J. Approx. Reason. Chiara Manganini, Esther Anna Corsi, Giuseppe Primiero
2026	J	`jnl`	Trustworthiness preservation by copies of machine learning systems. Int. J. Approx. Reason. Leonardo Ceragioli, Giuseppe Primiero
2025	—	`conf`	A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality. OVERLAY Leonardo Ceragioli, Giuseppe Primiero
2025	J	`jnl`	A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality. CoRR Leonardo Ceragioli, Giuseppe Primiero
2025	—	`conf`	A Proof System with Causal Labels (Part II): checking Counterfactual Fairness. OVERLAY Leonardo Ceragioli, Giuseppe Primiero
2025	J	`jnl`	A Proof System with Causal Labels (Part II): checking Counterfactual Fairness. CoRR Leonardo Ceragioli, Giuseppe Primiero
2025	J	`jnl`	A computational model for assessing experts' trustworthiness. J. Exp. Theor. Artif. Intell. Giuseppe Primiero, Davide Ceolin, Francesca Doneda
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	—	`conf`	Data Speak but Sometimes Lie: A Game-Theoretic Approach to Data Bias and Algorithmic Fairness. HHAI Chiara Manganini, Esther Anna Corsi, Giuseppe Primiero
2025	J	`jnl`	Trustworthiness Preservation by Copies of Machine Learning Systems. CoRR Leonardo Ceragioli, Giuseppe Primiero
2024	J	`jnl`	A Pragmatic Theory of Computational Artefacts. Minds Mach. Alessandro Giuseppe Buda, Giuseppe Primiero
2024	J	`jnl`	A possible worlds semantics for trustworthy non-deterministic computations. Int. J. Approx. Reason. Ekaterina Kubyshkina, Giuseppe Primiero
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	—	`conf`	Data Quality Dimensions for Fair AI. AEQUITAS@ECAI Camilla Quaresmini, 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	—	`conf`	Prior to Trust: Frequentist and Bayesian Views of Trust in AI (Short Paper). BEWARE@AI*IA Mattia Petrolo, Ekaterina Kubyshkina, Giuseppe Primiero
2024	—	`ed.`	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), Bolzano, Italy, November 26, 2024. BEWARE@AI*IA Greta Coraglia, Fabio Aurelio D'Asaro, Abeer Dyoub, Francesca Alessandra Lisi, Giuseppe Primiero
2023	—	`conf`	A Logical Approach to Algorithmic Opacity. BEWARE@AI*IA Mattia Petrolo, Ekaterina Kubyshkina, Giuseppe Primiero
2023	J	`jnl`	A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs. CoRR Francesco A. Genco, Giuseppe Primiero
2023	—	`conf`	BRIOxAlkemy: a Bias Detecting Tool. BEWARE@AI*IA Greta Coraglia, Fabio Aurelio D'Asaro, Francesco Antonio Genco, Davide Giannuzzi, Davide Posillipo, Giuseppe Primiero, Christian Quaggio
2023	J	`jnl`	Copying safety and liveness properties of computational artefacts. J. Log. Comput. Nicola Angius, Giuseppe Primiero
2023	J	`jnl`	Data quality dimensions for fair AI. CoRR Camilla Quaresmini, Giuseppe Primiero
2023	J	`jnl`	Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems. SN Comput. Sci. Alberto Termine, Alessandro Antonucci, Giuseppe Primiero, Alessandro Facchini
2023	—	`ed.`	Proceedings of 1st Workshop on Bias, Ethical AI, Explainability and the Role of Logic and Logic Programming (BEWARE 2022) co-located with the 21th International Conference of the Italian Association for Artificial Intelligence (AIIA 2022), Udine, Italy, December 2, 2022. BEWARE@AIIA Guido Boella, Fabio Aurelio D'Asaro, Abeer Dyoub, Giuseppe Primiero
2023	—	`ed.`	Proceedings of the 2nd Workshop on Bias, Ethical AI, Explainability and the role of Logic and Logic Programming co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIIA 2023), Rome, Italy, November 6, 2023. BEWARE@AIIA Guido Boella, Fabio Aurelio D'Asaro, Abeer Dyoub, Laura Gorrieri, Francesca A. Lisi, Chiara Manganini, Giuseppe Primiero
2023	—	`conf`	Reasoning With Bias. AEQUITAS@ECAI Chiara Manganini, Giuseppe Primiero
2022	—	`conf`	A Depth-Bounded Semantics for Becoming Informed. SEFM Workshops Miguel A. Larotonda, Giuseppe Primiero
2022	J	`jnl`	A logic for biassed information diffusion by paranoid agents in social networks. J. Log. Comput. Lorenzo Prandi, Giuseppe Primiero
2022	J	`jnl`	Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System. CoRR Fabio Aurelio D'Asaro, Giuseppe Primiero
2022	J	`jnl`	Netreason: Reasoning about social networks. J. Log. Comput. Giuseppe Primiero, Marija Slavkovik, Sonja Smets
2022	—	`conf`	Proof-checking Bias in Labeling Methods. BEWARE@AI*IA Giuseppe Primiero, Fabio Aurelio D'Asaro
2022	J	`jnl`	Transparent assessment of information quality of online reviews using formal argumentation theory. Inf. Syst. Davide Ceolin, Giuseppe Primiero, Michael Soprano, Jan Wielemaker
2021	J	`jnl`	A theory of change for prioritised resilient and evolvable software systems. Synth. Giuseppe Primiero, Franco Raimondi, Taolue Chen
2021	B	`conf`	Assessing the Quality of Online Reviews Using Formal Argumentation Theory. ICWE Davide Ceolin, Giuseppe Primiero, Jan Wielemaker, Michael Soprano
2021	—	`conf`	Computable Trustworthiness Ranking of Medical Experts in Italy during the SARS-CoV-19 Pandemic. GoodIT Davide Ceolin, Francesca Doneda, Giuseppe Primiero
2021	J	`jnl`	HTLC: Hyperintensional Typed Lambda Calculus. FLAP Michal Fait, Giuseppe Primiero
2021	A*	`conf`	Introducing k-lingo: a k-depth Bounded Version of ASP System Clingo. KR Fabio Aurelio D'Asaro, Paolo Baldi, Giuseppe Primiero
2021	C	`conf`	Logic and Model Checking by Imprecise Probabilistic Interpreted Systems. EUMAS Alberto Termine, Alessandro Antonucci, Giuseppe Primiero, Alessandro Facchini
2021	—	`conf`	Modelling Accuracy and Trustworthiness of Explaining Agents. LORI Alberto Termine, Giuseppe Primiero, Fabio Aurelio D'Asaro
2021	—	`conf`	Probabilistic Typed Natural Deduction for Trustworthy Computations. TRUST@AAMAS Fabio Aurelio D'Asaro, Giuseppe Primiero
2021	—	`conf`	Robust Model Checking with Imprecise Markov Reward Models. ISIPTA Alberto Termine, Alessandro Antonucci, Alessandro Facchini, Giuseppe Primiero
2021	J	`jnl`	Robust Model Checking with Imprecise Markov Reward Models. CoRR Alberto Termine, Alessandro Antonucci, Alessandro Facchini, Giuseppe Primiero
2020	B	`conf`	A Multi-Agent Depth Bounded Boolean Logic. SEFM Giorgio Cignarale, Giuseppe Primiero
2020	J	`jnl`	A logic of negative trust. J. Appl. Non Class. Logics Giuseppe Primiero
2020	J	`jnl`	Effects of misinformation diffusion during a pandemic. Appl. Netw. Sci. Lorenzo Prandi, Giuseppe Primiero
2019	—	`conf`	A Granular Approach to Source Trustworthiness for Negative Trust Assessment. IFIPTM Davide Ceolin, Giuseppe Primiero
2019	J	`jnl`	A Minimalist Epistemology for Agent-Based Simulations in the Artificial Sciences. Minds Mach. Giuseppe Primiero
2019	J	`jnl`	A logic of efficient and optimal designs. J. Log. Comput. Giuseppe Primiero
2019	C	`ed.`	Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings CiE Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero
2018	—	`conf`	MIRTO: an Open-Source Robotic Platform for Education. ECSEE Kelly Androutsopoulos, L. Aristodemou, Jaap Boender, Michele Bottone, Edward Currie, I. El-Aroussi, Bob Fields, L. Gheri, Nikos Gorogiannis, Miltos Heeney, Michael Micheletti, Martin J. Loomes, Michael Margolis, M. Petridis, A. Piermarteri, Giuseppe Primiero, Franco Raimondi, Nick Weldin
2018	—	`conf`	Multi-agent Based Simulations of Block-Free Distributed Ledgers. AINA Workshops Michele Bottone, Franco Raimondi, Giuseppe Primiero
2018	J	`jnl`	Negative trust for conflict resolution in software management. Web Intell. Giuseppe Primiero, Jaap Boender
2018	—	`conf`	Simulation of a Trust and Reputation Based Mitigation Protocol for a Black Hole Style Attack on VANETs. EuroS&P Workshops Giuseppe Primiero, Agostino Martorana, Jacopo Tagliabue
2018	—	`conf`	Swarm Attack: A Self-organized Model to Recover from Malicious Communication Manipulation in a Swarm of Simple Simulated Agents. ANTS Conference Giuseppe Primiero, Elio Tuci, Jacopo Tagliabue, Eliseo Ferrante
2018	J	`jnl`	The logic of identity and copy for computational artefacts. J. Log. Comput. Nicola Angius, Giuseppe Primiero
2017	—	`conf`	A Proof-Theoretic Trust and Reputation Model for VANET. EuroS&P Workshops Giuseppe Primiero, Franco Raimondi, Taolue Chen, Rajagopal Nagarajan
2017	J	`jnl`	Algorithmic Iteration for Computational Intelligence. Minds Mach. Giuseppe Primiero
2017	—	`conf`	Managing Software Uninstall with Negative Trust. IFIPTM Giuseppe Primiero, Jaap Boender
2017	J	`jnl`	Trust and distrust in contradictory information transmission. Appl. Netw. Sci. Giuseppe Primiero, Franco Raimondi, Michele Bottone, Jacopo Tagliabue
2016	—	`conf`	A Calculus for Distrust and Mistrust. IFIPTM Giuseppe Primiero
2016	J	`jnl`	A Computationally Grounded, Weighted Doxastic Logic. Stud Logica Taolue Chen, Giuseppe Primiero, Franco Raimondi, Neha Rungta
2016	B	`conf`	A Model for Trustworthy Orchestration in the Internet of Things. Intelligent Environments Michele Bottone, Giuseppe Primiero, Franco Raimondi, Vincenzo De Florio
2016	—	`conf`	Contradictory information flow in networks with trust and distrust. COMPLEX NETWORKS Giuseppe Primiero, Michele Bottone, Franco Raimondi, Jacopo Tagliabue
2016	B	`conf`	From Raw Data to Agent Perceptions for Simulation, Verification, and Monitoring. Intelligent Environments (Workshops) Michele Bottone, Giuseppe Primiero, Franco Raimondi, Neha Rungta
2016	—	`conf`	Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason (Short Paper). CloudNet Michele Bottone, Filippo Palumbo, Giuseppe Primiero, Franco Raimondi, Richard Stocker
2016	—	`conf`	Teaching Functional Patterns through Robotic Applications. TFPIE Jaap Boender, Edward Currie, Martin J. Loomes, Giuseppe Primiero, Franco Raimondi
2015	—	`conf`	A Framework for Trustworthiness Assessment based on Fidelity in Cyber and Physical Domains. ANT/SEIT Vincenzo De Florio, Giuseppe Primiero
2015	J	`jnl`	A method for trustworthiness assessment based on fidelity in cyber and physical domains. CoRR Vincenzo De Florio, Giuseppe Primiero
2015	Misc	`conf`	An approach to early evaluation of informational privacy requirements. SAC Balbir S. Barn, Giuseppe Primiero, Ravinder Barn
2015	C	`conf`	Minimizing transitive trust threats in software management systems. PST Jaap Boender, Giuseppe Primiero, Franco Raimondi
2015	J	`jnl`	On malfunctioning software. Synth. Luciano Floridi, Nir Fresco, Giuseppe Primiero
2015	—	`conf`	Software Theory Change for Resilient Near-Complete Specifications. ANT/SEIT Giuseppe Primiero, Franco Raimondi
2015	—	`conf`	Towards Cyber-physical Systems as Services: The ASIP Protocol. SEsCPS@ICSE Mirco Bordoni, Michele Bottone, Bob Fields, Nikos Gorogiannis, Michael Margolis, Giuseppe Primiero, Franco Raimondi
2014	—	`conf`	A Racket-Based Robot to Teach First-Year Computer Science. ELS Franco Raimondi, Giuseppe Primiero, Kelly Androutsopoulos, Nikos Gorogiannis, Martin J. Loomes, Michael Margolis, Puja Varsani, Nick Weldin, Alex Zivanovic
2014	J	`jnl`	A Taxonomy of Errors for Information Systems. Minds Mach. Giuseppe Primiero
2014	C	`conf`	A typed natural deduction calculus to reason about secure trust. PST Giuseppe Primiero, Franco Raimondi
2014	A	`conf`	Model checking degrees of belief in a system of agents. AAMAS Giuseppe Primiero, Franco Raimondi, Neha Rungta
2014	—	`conf`	Modeling Human Behaviour with Higher Order Logic: Insider Threats. STAST Jaap Boender, Marieta Georgieva Ivanova, Florian Kammüller, Giuseppe Primiero
2014	—	`conf`	Programming the MIRTO Robot with Neurons. BICA Christian R. Huyck, Giuseppe Primiero, Franco Raimondi
2013	—	`conf`	J-Calc: A Typed Lambda Calculus for Intuitionistic Justification Logic. IMLA@UNILOG Konstantinos Pouliasis, Giuseppe Primiero
2012	J	`jnl`	A modal type theory for formalizing trusted communications. J. Appl. Log. Giuseppe Primiero, Mariarosaria Taddeo
2012	—	`book`	The Realism-Antirealism Debate in the Age of Alternative Logics Shahid Rahman, Giuseppe Primiero, Mathieu Marion
2012	—	`ch.`	Type-Theoretical Dynamics. The Realism-Antirealism Debate in the Age of Alternative Logics Giuseppe Primiero
2011	—	`conf`	Alleged Assassins: Realist and Constructivist Semantics for Modal Modification. TbiLLC Bjørn Jespersen, Giuseppe Primiero
2011	J	`jnl`	Giovanni Sommaruga (ed): Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information - Lecture Notes in Computer Science, volume 5363, Springer, New York, 2009, vii+269, $ 64.95, ISBN 978-3-642-00658-6. Minds Mach. Giuseppe Primiero
2010	—	`conf`	A Multi-Modal Dependent Type Theory for Representing Data Accessibility in a Network. PSPL@LICS Giuseppe Primiero
2010	J	`jnl`	Charles Parsons: Mathematical Thought and its Objects - Cambridge University Press, Cambridge MA, 2008, xx+378, $50.00, ISBN 9780521452793 (hardback). Minds Mach. Giuseppe Primiero
2009	J	`jnl`	An epistemic logic for becoming informed. Synth. Giuseppe Primiero
2009	—	`conf`	Two Kinds of Procedural Semantics for Privative Modification. JSAI-isAI Workshops Giuseppe Primiero, Bjørn Jespersen
2008	C	`conf`	Adaptive arbitration by variant counting on commutative bases with weights. FUSION Giuseppe Primiero, Joke Meheus
2008	—	`book`	Information and Knowledge, A Constructive Type-theoretical Approach Giuseppe Primiero
2008	J	`jnl`	Majority merging by adaptive counting. Synth. Giuseppe Primiero, Joke Meheus