TAGLIAFERRI, MIRKO

TAGLIAFERRI, MIRKO  

Dipartimento di Scienze Pure e Applicate (DiSPeA)  

Mostra records
Risultati 1 - 12 di 12 (tempo di esecuzione: 0.017 secondi).
Titolo Data di pubblicazione Autore(i) File
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
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
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
A Taxonomy of Computational Models for Trust Computing in Decision-Making Procedures 1-gen-2018 Aldini, A; Tagliaferri, M
Trust Evidence Logic 1-gen-2021 Aldini, Alessandro; Curzi, Gianluca; Graziani, Pierluigi; Tagliaferri, Mirko
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