New Research Project funded by MUR

The Ministry of University and Research has funded the 3-year research project “BRIO – BIAS, RISK, OPACITY in AI: design, verification and development of Trustworthy AI.” under the PRIN Scheme (Project no. 2020SSKZ7R).

I will lead the research consortium which includes researchers from the Politecnico di Milano,  Università degli Studi di Genova, Istituto di Scienze e Tecnologia della Cognizione CNR Trento, and Università degli Studi Napoli.

Info and updates will be made available on the website





Following several requests, the deadline for submission to the Journal of Logic and Computation Special Issue on Reasoning about Social Networks has been
extended one last time to *February 15th, 2021*. Papers submitted earlier will be handled as they come.


CFP: Special Issue on Reasoning about Social Networks, Journal of Logic and Computation

Following a successful workshop at ECAI2020 ( we invite submissions for a Special Issue on Reasoning about Social Networks in the Journal of Logic and Computation.


The special issue focuses on the issues of information spread in a social networks of natural and artificial agents, as studied by the emerging interdisciplinary field of multi-agent systems, logic and social network analysis. The topics of the workshop include but are not limited to:

•Logic based models of social networks phenomena
•Epistemic models on graphs
•Strategic behaviour in opinion diffusion
•Computational issues in opinion diffusion
•Computational Trust
•Collective information distortions and how to prevent them
•Model checking and verification of social network phenomena

All papers will be peer reviewed according to the standards of the Journal. Authors of submissions might also be asked to review a paper.

Submission details: Submissions are to be sent to all the guest editors, written in English and formatted in LaTeX, article documentclass, up to 20 pages, bibliographical references excluded. Please communicate with the editors your interest to submit.

Important dates

1st October 2020: Call for Papers
15th February 2021 (EXTENDED): Submission Deadline
15th May 2021: Reviews
1st July 2021: Revised versions
1st September 2021: Second Revision
1st October 2021 : Intended Publication (Online First)

Giuseppe Primiero <>
Marija Slavkovik <>
Sonja Smets <>

A Logic of Negative Trust

We present a logic to model the behaviour of an agent trusting or not trusting messages sent by another agent. The logic formalizes trust as a consistency checking function with respect to currently available information. Negative trust is modeled in two forms: distrust as the rejection of incoming inconsistent information; mistrust, as revision of previously held information becoming undesirable in view of new incoming inconsistent information, which the agent wishes to accept. We provide a natural deduction calculus, a relational semantics and prove soundness and completeness results. We overview a number of applications which have been investigated for the proof-theoretical formulation of the logic.

G.Primiero, A Logic of Negative Trust, Journal of Applied Non-Classical Logic,

Eprint available here

NIAS Theme Group on Explainable AI

The Netherlands Institute for Advanced Study in the Humanities and Social Sciences (NIAS-KNAW) hosts a 2020-21 Theme Group fellowship for the project “Accountability in medical autonomous expert systems: ethical and epistemological challenges for explainable AI”.

I will work on the formal representation of design for safe and explainable computational systems. Here my NIAS Fellow Profile.

#fellowship #accountability #explainableai

Poland Lectures Series

I am excited to be heading to Warsaw University of Technologand Catholic University of Lublin next week for a series of Lectures on Philosophy of Computing. Here the current schedule:

WUT – 19/11/19, 8.30 – 10.00
Miscomputations and Malware

WUT – 19/11/19, 17.15 – 18.45
On Computational Hypotheses and Computational Experiments

WUT – 20/11/19, 16.15 – 17.45
Information in the Philosophy of Computer Science

WUT – 21/11/19, 12.15 – 13.45
On the Foundations of Computing

Lublin – 22/11/19, 10.15-11.15
Information, Validity and Correctness in Computing

Also a great occasion to promote the book which will have just appeared

New Paper on Trust

A new paper with Davide Ceolin (CWI Amsterdam) titled “A Granular Approach to Source Trustworthiness for Negative Trust Assessment” has been published in the Proceedings of the XIII Trust Management Conference. Available here.