Mirko Tagliaferri

14 papers B 3C 2Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
A logical perspective on intending to keep a true secret.
J. Log. Comput.
Alessandro Aldini, Davide Fazio, Pierluigi Graziani, Raffaele Mascella, Mirko Tagliaferri
2025 B conf
Support + Belief = Decision Trust.
SIROCCO
Alessandro Aldini, Agata Ciabattoni, Dominik Pichler, Mirko Tagliaferri
2024 J jnl
A probabilistic modal logic for context-aware trust based on evidence.
Int. J. Approx. Reason.
Alessandro Aldini, Gianluca Curzi, Pierluigi Graziani, Mirko Tagliaferri
2024 B conf
On Group Secrets and the Metacommunicative Aspects of Revealing a True Secret.
SEFM
Alessandro Aldini, Davide Fazio, Pierluigi Graziani, Raffaele Mascella, Mirko Tagliaferri
2024 J jnl
Support + Belief = Decision Trust.
CoRR
Alessandro Aldini, Agata Ciabattoni, Dominik Pichler, Mirko Tagliaferri
2023 — conf
Frequentist Probability Logic.
SEFM Workshops
Alessandro Aldini, Pierluigi Graziani, Mirko Tagliaferri
2022 J jnl
From belief to trust: A quantitative framework based on modal logic.
J. Log. Comput.
Mirko Tagliaferri, Alessandro Aldini
2022 — conf
Using Justified True Beliefs to Explore Formal Ignorance.
SEFM Workshops
Mirko Tagliaferri
2021 C conf
Trust Evidence Logic.
ECSQARU
Alessandro Aldini, Gianluca Curzi, Pierluigi Graziani, Mirko Tagliaferri
2020 B conf
Reasoning About Ignorance and Beliefs.
SEFM
Alessandro Aldini, Pierluigi Graziani, Mirko Tagliaferri
2019 — conf
A Trust Logic for the Varieties of Trust.
SEFM Workshops
Mirko Tagliaferri, Alessandro Aldini
2019 — conf
Logics to Reason Formally About Trust Computation and Manipulation.
ETAA@ESORICS
Alessandro Aldini, Mirko Tagliaferri
2018 C conf
A Trust Logic for Pre-Trust Computations.
FUSION
Mirko Tagliaferri, Alessandro Aldini
2018 — conf
From Knowledge to Trust: A Logical Framework for Pre-trust Computations.
IFIPTM
Mirko Tagliaferri, Alessandro Aldini