Mirko Tagliaferri

According to our database, Mirko Tagliaferri authored at least 8 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

From belief to trust: A quantitative framework based on modal logic.

Mirko Tagliaferri, Alessandro Aldini

J. Log. Comput., 2022

Using Justified True Beliefs to Explore Formal Ignorance.

Mirko Tagliaferri

Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022

2021

Trust Evidence Logic.

Alessandro Aldini, Gianluca Curzi, Pierluigi Graziani, Mirko Tagliaferri

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2021

2020

Reasoning About Ignorance and Beliefs.

Alessandro Aldini, Pierluigi Graziani, Mirko Tagliaferri

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

2019

A Trust Logic for the Varieties of Trust.

Mirko Tagliaferri, Alessandro Aldini

Proceedings of the Software Engineering and Formal Methods, 2019

Logics to Reason Formally About Trust Computation and Manipulation.

Alessandro Aldini, Mirko Tagliaferri

Proceedings of the Emerging Technologies for Authorization and Authentication, 2019

2018

From Knowledge to Trust: A Logical Framework for Pre-trust Computations.

Mirko Tagliaferri, Alessandro Aldini

Proceedings of the Trust Management XII - 12th IFIP WG 11.11 International Conference, 2018

A Trust Logic for Pre-Trust Computations.

Mirko Tagliaferri, Alessandro Aldini

Proceedings of the 21st International Conference on Information Fusion, 2018