Mirko Tagliaferri

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 10

Top Topics

Trust Management

Logical Framework

Top Venues

Int. J. Approx. Reason.

J. Log. Comput.

Publications

Alessandro Aldini, Gianluca Curzi, Pierluigi Graziani, Mirko Tagliaferri
A probabilistic modal logic for context-aware trust based on evidence. Int. J. Approx. Reason. 169 (2024)
Alessandro Aldini, Pierluigi Graziani, Mirko Tagliaferri
Frequentist Probability Logic. SEFM Workshops (2023)
Mirko Tagliaferri, Alessandro Aldini
From belief to trust: A quantitative framework based on modal logic. J. Log. Comput. 32 (6) (2022)
Mirko Tagliaferri
Using Justified True Beliefs to Explore Formal Ignorance. SEFM Workshops (2022)
Alessandro Aldini, Gianluca Curzi, Pierluigi Graziani, Mirko Tagliaferri
Trust Evidence Logic. ECSQARU (2021)
Alessandro Aldini, Pierluigi Graziani, Mirko Tagliaferri
Reasoning About Ignorance and Beliefs. SEFM (2020)
Mirko Tagliaferri, Alessandro Aldini
A Trust Logic for the Varieties of Trust. SEFM Workshops (2019)
Alessandro Aldini, Mirko Tagliaferri
Logics to Reason Formally About Trust Computation and Manipulation. ETAA@ESORICS (2019)
Mirko Tagliaferri, Alessandro Aldini
A Trust Logic for Pre-Trust Computations. FUSION (2018)
Mirko Tagliaferri, Alessandro Aldini
From Knowledge to Trust: A Logical Framework for Pre-trust Computations. IFIPTM (2018)