Giuseppe Primiero

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 49

Top Topics

Agent Based Simulations

Lambda Calculus

Top Venues

J. Log. Comput.

Publications

Ekaterina Kubyshkina, Giuseppe Primiero
A possible worlds semantics for trustworthy non-deterministic computations. Int. J. Approx. Reason. 172 (2024)
Alessandro Giuseppe Buda, Giuseppe Primiero
A Pragmatic Theory of Computational Artefacts. Minds Mach. 34 (1) (2024)
Greta Coraglia, Francesco A. Genco, Pellegrino Piantadosi, Enrico Bagli, Pietro Giuffrida, Davide Posillipo, Giuseppe Primiero
Evaluating AI fairness in credit scoring with the BRIO tool. CoRR (2024)
Mattia Petrolo, Ekaterina Kubyshkina, Giuseppe Primiero
A Logical Approach to Algorithmic Opacity. BEWARE@AI*IA (2023)
Greta Coraglia, Fabio Aurelio D'Asaro, Francesco Antonio Genco, Davide Giannuzzi, Davide Posillipo, Giuseppe Primiero, Christian Quaggio
BRIOxAlkemy: a Bias Detecting Tool. BEWARE@AI*IA (2023)
Camilla Quaresmini, Giuseppe Primiero
Data quality dimensions for fair AI. CoRR (2023)
Chiara Manganini, Giuseppe Primiero
Reasoning With Bias. AEQUITAS@ECAI (2023)
Nicola Angius, Giuseppe Primiero
Copying safety and liveness properties of computational artefacts. J. Log. Comput. 33 (5) (2023)
Alberto Termine, Alessandro Antonucci, Giuseppe Primiero, Alessandro Facchini
Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems. SN Comput. Sci. 4 (5) (2023)
Francesco A. Genco, Giuseppe Primiero
A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs. CoRR (2023)
Miguel A. Larotonda, Giuseppe Primiero
A Depth-Bounded Semantics for Becoming Informed. SEFM Workshops (2022)
Giuseppe Primiero, Fabio Aurelio D'Asaro
Proof-checking Bias in Labeling Methods. BEWARE@AI*IA (2022)
Giuseppe Primiero, Marija Slavkovik, Sonja Smets
Netreason: Reasoning about social networks. J. Log. Comput. 32 (6) (2022)
Fabio Aurelio D'Asaro, Giuseppe Primiero
Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System. CoRR (2022)
Davide Ceolin, Giuseppe Primiero, Michael Soprano, Jan Wielemaker
Transparent assessment of information quality of online reviews using formal argumentation theory. Inf. Syst. 110 (2022)
Lorenzo Prandi, Giuseppe Primiero
A logic for biassed information diffusion by paranoid agents in social networks. J. Log. Comput. 32 (6) (2022)
Giuseppe Primiero, Franco Raimondi, Taolue Chen
A theory of change for prioritised resilient and evolvable software systems. Synth. 198 (23) (2021)
Davide Ceolin, Francesca Doneda, Giuseppe Primiero
Computable Trustworthiness Ranking of Medical Experts in Italy during the SARS-CoV-19 Pandemic. GoodIT (2021)
Fabio Aurelio D'Asaro, Giuseppe Primiero
Probabilistic Typed Natural Deduction for Trustworthy Computations. TRUST@AAMAS (2021)
Alberto Termine, Giuseppe Primiero, Fabio Aurelio D'Asaro
Modelling Accuracy and Trustworthiness of Explaining Agents. LORI (2021)
Alberto Termine, Alessandro Antonucci, Alessandro Facchini, Giuseppe Primiero
Robust Model Checking with Imprecise Markov Reward Models. CoRR (2021)
Fabio Aurelio D'Asaro, Paolo Baldi, Giuseppe Primiero
Introducing k-lingo: a k-depth Bounded Version of ASP System Clingo. KR (2021)
Davide Ceolin, Giuseppe Primiero, Jan Wielemaker, Michael Soprano
Assessing the Quality of Online Reviews Using Formal Argumentation Theory. ICWE (2021)
Alberto Termine, Alessandro Antonucci, Alessandro Facchini, Giuseppe Primiero
Robust Model Checking with Imprecise Markov Reward Models. ISIPTA (2021)
Michal Fait, Giuseppe Primiero
HTLC: Hyperintensional Typed Lambda Calculus. FLAP 8 (2) (2021)
Alberto Termine, Alessandro Antonucci, Giuseppe Primiero, Alessandro Facchini
Logic and Model Checking by Imprecise Probabilistic Interpreted Systems. EUMAS (2021)
Giuseppe Primiero
A logic of negative trust. J. Appl. Non Class. Logics 30 (3) (2020)
Lorenzo Prandi, Giuseppe Primiero
Effects of misinformation diffusion during a pandemic. Appl. Netw. Sci. 5 (1) (2020)
Giorgio Cignarale, Giuseppe Primiero
A Multi-Agent Depth Bounded Boolean Logic. SEFM (2020)
Giuseppe Primiero
A logic of efficient and optimal designs. J. Log. Comput. 29 (6) (2019)
Giuseppe Primiero
A Minimalist Epistemology for Agent-Based Simulations in the Artificial Sciences. Minds Mach. 29 (1) (2019)
Davide Ceolin, Giuseppe Primiero
A Granular Approach to Source Trustworthiness for Negative Trust Assessment. IFIPTM (2019)
Nicola Angius, Giuseppe Primiero
The logic of identity and copy for computational artefacts. J. Log. Comput. 28 (6) (2018)
Giuseppe Primiero, Agostino Martorana, Jacopo Tagliabue
Simulation of a Trust and Reputation Based Mitigation Protocol for a Black Hole Style Attack on VANETs. EuroS&P Workshops (2018)
Giuseppe Primiero, Jaap Boender
Negative trust for conflict resolution in software management. Web Intell. 16 (4) (2018)
Michele Bottone, Franco Raimondi, Giuseppe Primiero
Multi-agent Based Simulations of Block-Free Distributed Ledgers. AINA Workshops (2018)
Kelly Androutsopoulos, L. Aristodemou, Jaap Boender, Michele Bottone, Edward Currie, I. El-Aroussi, Bob Fields, L. Gheri, Nikos Gorogiannis, M. Heeney, Michael Micheletti, Martin J. Loomes, Michael Margolis, M. Petridis, A. Piermarteri, Giuseppe Primiero, Franco Raimondi, Nick Weldin
MIRTO: an Open-Source Robotic Platform for Education. ECSEE (2018)
Giuseppe Primiero, Elio Tuci, Jacopo Tagliabue, Eliseo Ferrante
Swarm Attack: A Self-organized Model to Recover from Malicious Communication Manipulation in a Swarm of Simple Simulated Agents. ANTS Conference (2018)
Giuseppe Primiero
Algorithmic Iteration for Computational Intelligence. Minds Mach. 27 (3) (2017)
Giuseppe Primiero, Franco Raimondi, Taolue Chen, Rajagopal Nagarajan
A Proof-Theoretic Trust and Reputation Model for VANET. EuroS&P Workshops (2017)
Giuseppe Primiero, Franco Raimondi, Michele Bottone, Jacopo Tagliabue
Trust and distrust in contradictory information transmission. Appl. Netw. Sci. 2 (2017)
Giuseppe Primiero, Jaap Boender
Managing Software Uninstall with Negative Trust. IFIPTM (2017)
Giuseppe Primiero
A Calculus for Distrust and Mistrust. IFIPTM (2016)
Giuseppe Primiero, Michele Bottone, Franco Raimondi, Jacopo Tagliabue
Contradictory information flow in networks with trust and distrust. COMPLEX NETWORKS (2016)
Michele Bottone, Giuseppe Primiero, Franco Raimondi, Vincenzo De Florio
A Model for Trustworthy Orchestration in the Internet of Things. Intelligent Environments (2016)
Michele Bottone, Filippo Palumbo, Giuseppe Primiero, Franco Raimondi, Richard Stocker
Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason (Short Paper). CloudNet (2016)
Jaap Boender, Edward Currie, Martin J. Loomes, Giuseppe Primiero, Franco Raimondi
Teaching Functional Patterns through Robotic Applications. TFPIE (2016)
Michele Bottone, Giuseppe Primiero, Franco Raimondi, Neha Rungta
From Raw Data to Agent Perceptions for Simulation, Verification, and Monitoring. Intelligent Environments (Workshops) (2016)
Taolue Chen, Giuseppe Primiero, Franco Raimondi, Neha Rungta
A Computationally Grounded, Weighted Doxastic Logic. Stud Logica 104 (4) (2016)
Vincenzo De Florio, Giuseppe Primiero
A method for trustworthiness assessment based on fidelity in cyber and physical domains. CoRR (2015)
Giuseppe Primiero, Franco Raimondi
Software Theory Change for Resilient Near-Complete Specifications. ANT/SEIT (2015)
Luciano Floridi, Nir Fresco, Giuseppe Primiero
On malfunctioning software. Synth. 192 (4) (2015)
Balbir S. Barn, Giuseppe Primiero, Ravinder Barn
An approach to early evaluation of informational privacy requirements. SAC (2015)
Mirco Bordoni, Michele Bottone, Bob Fields, Nikos Gorogiannis, Michael Margolis, Giuseppe Primiero, Franco Raimondi
Towards Cyber-physical Systems as Services: The ASIP Protocol. SEsCPS@ICSE (2015)
Jaap Boender, Giuseppe Primiero, Franco Raimondi
Minimizing transitive trust threats in software management systems. PST (2015)
Vincenzo De Florio, Giuseppe Primiero
A Framework for Trustworthiness Assessment based on Fidelity in Cyber and Physical Domains. ANT/SEIT (2015)
Christian R. Huyck, Giuseppe Primiero, Franco Raimondi
Programming the MIRTO Robot with Neurons. BICA (2014)
Franco Raimondi, Giuseppe Primiero, Kelly Androutsopoulos, Nikos Gorogiannis, Martin J. Loomes, Michael Margolis, Puja Varsani, Nick Weldin, Alex Zivanovic
A Racket-Based Robot to Teach First-Year Computer Science. ELS (2014)
Giuseppe Primiero, Franco Raimondi
A typed natural deduction calculus to reason about secure trust. PST (2014)
Giuseppe Primiero
A Taxonomy of Errors for Information Systems. Minds Mach. 24 (3) (2014)
Jaap Boender, Marieta Georgieva Ivanova, Florian Kammüller, Giuseppe Primiero
Modeling Human Behaviour with Higher Order Logic: Insider Threats. STAST (2014)
Giuseppe Primiero, Franco Raimondi, Neha Rungta
Model checking degrees of belief in a system of agents. AAMAS (2014)
Konstantinos Pouliasis, Giuseppe Primiero
J-Calc: A Typed Lambda Calculus for Intuitionistic Justification Logic. Electron. Notes Theor. Comput. Sci. 300 (2014)
Giuseppe Primiero, Mariarosaria Taddeo
A modal type theory for formalizing trusted communications. J. Appl. Log. 10 (1) (2012)
Giuseppe Primiero
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. 21 (1) (2011)
Bjørn Jespersen, Giuseppe Primiero
Alleged Assassins: Realist and Constructivist Semantics for Modal Modification. TbiLLC (2011)
Giuseppe Primiero
Charles Parsons: Mathematical Thought and its Objects - Cambridge University Press, Cambridge MA, 2008, xx+378, $50.00, ISBN 9780521452793 (hardback). Minds Mach. 20 (2) (2010)
Giuseppe Primiero
A Multi-Modal Dependent Type Theory for Representing Data Accessibility in a Network. PSPL@LICS (2010)
Giuseppe Primiero
An epistemic logic for becoming informed. Synth. 167 (2) (2009)
Giuseppe Primiero, Bjørn Jespersen
Two Kinds of Procedural Semantics for Privative Modification. JSAI-isAI Workshops (2009)
Giuseppe Primiero, Joke Meheus
Majority merging by adaptive counting. Synth. 165 (2) (2008)
Giuseppe Primiero, Joke Meheus
Adaptive arbitration by variant counting on commutative bases with weights. FUSION (2008)