TAGLIAFERRI, MIRKO
TAGLIAFERRI, MIRKO
Dipartimento di Scienze Pure e Applicate (DiSPeA)
A hierarchical characterization of ignorance in epistemic Logic
2023 Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko
A language for the human body: a tentative proposal
2019 Graziani, Pierluigi; Tagliaferri, Mirko
A Logical Language for Computational Trust
2019 Tagliaferri, Mirko
A probabilistic modal logic for context-aware trust based on evidence
2024 Aldini, Alessandro; Curzi, Gianluca; Graziani, Pierluigi; Tagliaferri, Mirko
A Taxonomy of Computational Models for Trust Computing in Decision-Making Procedures
2018 Aldini, A; Tagliaferri, M
A Trust Logic for Pre-Trust Computations
2018 Tagliaferri, Mirko; Aldini, Alessandro
A Trust Logic for the Varieties of Trust
2020 Tagliaferri, Mirko; Aldini, Alessandro
Frequentist Probability Logic
2024 Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko
From belief to trust: A quantitative framework based on modal logic
2022 Tagliaferri, Mirko; Aldini, Alessandro
From Knowledge to Trust: A Logical Framework for Pre-trust Computations
2018 Tagliaferri, Mirko; Aldini, Alessandro
Logics to Reason Formally About Trust Computation and Manipulation
2020 Aldini, Alessandro; Tagliaferri, Mirko
Melissus as an Analytic Metaphysicist
2020 Fano, Vincenzo; Graziani, Pierluigi; Marcacci, Flavia; Tagliaferri, Mirko
REALIZING COMPUTATION
2019 Fano, Vincenzo; Tarozzi, Gino; Graziani, Pierluigi; Tagliaferri, Mirko
Reasoning About Ignorance and Beliefs
2021 Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko
Reviewing the Case of Online Interpersonal Trust
2023 Tagliaferri, Mirko
Trust Evidence Logic
2021 Aldini, Alessandro; Curzi, Gianluca; Graziani, Pierluigi; Tagliaferri, Mirko
Using Justified True Beliefs to Explore Formal Ignorance
2023 Tagliaferri, Mirko
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A hierarchical characterization of ignorance in epistemic Logic | 1-gen-2023 | Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko | |
A language for the human body: a tentative proposal | 1-gen-2019 | Graziani, Pierluigi; Tagliaferri, Mirko | |
A Logical Language for Computational Trust | 1-gen-2019 | Tagliaferri, Mirko | |
A probabilistic modal logic for context-aware trust based on evidence | 1-gen-2024 | Aldini, Alessandro; Curzi, Gianluca; Graziani, Pierluigi; Tagliaferri, Mirko | |
A Taxonomy of Computational Models for Trust Computing in Decision-Making Procedures | 1-gen-2018 | Aldini, A; Tagliaferri, M | |
A Trust Logic for Pre-Trust Computations | 1-gen-2018 | Tagliaferri, Mirko; Aldini, Alessandro | |
A Trust Logic for the Varieties of Trust | 1-gen-2020 | Tagliaferri, Mirko; Aldini, Alessandro | |
Frequentist Probability Logic | 1-gen-2024 | Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko | |
From belief to trust: A quantitative framework based on modal logic | 1-gen-2022 | Tagliaferri, Mirko; Aldini, Alessandro | |
From Knowledge to Trust: A Logical Framework for Pre-trust Computations | 1-gen-2018 | Tagliaferri, Mirko; Aldini, Alessandro | |
Logics to Reason Formally About Trust Computation and Manipulation | 1-gen-2020 | Aldini, Alessandro; Tagliaferri, Mirko | |
Melissus as an Analytic Metaphysicist | 1-gen-2020 | Fano, Vincenzo; Graziani, Pierluigi; Marcacci, Flavia; Tagliaferri, Mirko | |
REALIZING COMPUTATION | 1-gen-2019 | Fano, Vincenzo; Tarozzi, Gino; Graziani, Pierluigi; Tagliaferri, Mirko | |
Reasoning About Ignorance and Beliefs | 1-gen-2021 | Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko | |
Reviewing the Case of Online Interpersonal Trust | 1-gen-2023 | Tagliaferri, Mirko | |
Trust Evidence Logic | 1-gen-2021 | Aldini, Alessandro; Curzi, Gianluca; Graziani, Pierluigi; Tagliaferri, Mirko | |
Using Justified True Beliefs to Explore Formal Ignorance | 1-gen-2023 | Tagliaferri, Mirko |