Publications

2025

• Aldini A., Fazio D., Graziani P., Mascella R. and Tagliaferri M. "On Group Secrets and the Metacommunicative Aspects of Revealing a True Secret", in: Proença, J., Fervari, R., Martins, M.A., Kahle, R., Pluck, G. (eds), Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops. SEFM 2024. Lecture Notes in Computer Science, vol 15551. Springer, Cham.
• Aldini A., Fazio D., Graziani P., Mascella R. and Tagliaferri M. "A logical perspective on intending to keep a true secret", Journal of Logic and Computation, Volume 35, Issue 5, exaf028.
• Aldini, A., Ciabattoni, A., Pichler, D., Tagliaferri, M. "Support + Belief = Decision Trust", in: Schmid, U., Kuznets, R. (eds), Structural Information and Communication Complexity. SIROCCO 2025. Lecture Notes in Computer Science, vol 15671. Springer, Cham.

2024

• Aldini, A., Curzi, G., Graziani, P. and Tagliaferri, M. A probabilistic modal logic for context-aware trust based on evidence, International Journal of Approximate Reasoning, Volume 169, 109167.
• Aldini, A., Graziani, P. and Tagliaferri, M. "Frequentist Probability Logic", in: Aldini, A. (ed), Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops. SEFM 2023. Lecture Notes in Computer Science, vol 14568. Springer, Cham.

2023

• Tagliaferri, M. "Reviewing the Case of Online Interpersonal Trust", Foundations of Science, Volume 28, pp. 225-254.
• Tagliaferri, M. "Using Justified True Beliefs to Explore Formal Ignorance", in: Masci, P., Bernardeschi, C., Graziani, P., Koddenbrock, M., Palmieri, M. (eds), Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops. SEFM 2022. Lecture Notes in Computer Science, vol 13765. Springer, Cham.
• Aldini, A., Graziani, P. and Tagliaferri, M. "A Hierarchical Characterization of Ignorance in Epistemic Logic", Argumenta, Volume 16, pp. 373-386.

2022

• Fano, V., Graziani, P., Marcacci, F. and Tagliaferri, M. "Melissus as an Analytic Metaphysicist", Axiomathes, Volume 32, Issue 3, pp. 1105-1127.
• Tagliaferri, M. and Aldini, A. "From belief to trust: A quantitative framework based on modal logic", Journal of Logic and Computation, Volume 32, Issue 6, pp. 1017-1047.

2021

• Aldini, A., Graziani, P., Tagliaferri, M. "Reasoning About Ignorance and Beliefs", in: Cleophas, L., Massink, M. (eds), Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops. SEFM 2020. Lecture Notes in Computer Science, vol 12524. Springer, Cham.
• Aldini, A., Curzi, G., Graziani, P., Tagliaferri, M. "Trust Evidence Logic", in Vejnarová, J., Wilson, N. (eds), Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2021. Lecture Notes in Computer Science, vol 12897. Springer, Cham.

2020

• Tagliaferri, M. and Aldini, A. "A Trust Logic for the Varieties of Trust", in Camara, J., Steffen, M. (eds), Software Engineering and Formal Methods. SEFM 2019. Lecture Notes in Computer Science, vol 12226. Springer, Cham.
• Aldini, A. and Tagliaferri, M. "Logics to Reason Formally About Trust Computation and Manipulation", in Saracino, A., Mori, P. (eds), Emerging Technologies for Authorization and Authentication. ETAA 2019. Lecture Notes in Computer Science, vol 11967. Springer, Cham.

2019

• Graziani, P. and Tagliaferri, M. "A language for the human body: a tentative proposal", Philosophical Inquiries, Volume 7, Issue 1, pp. 89-114.
• Fano, V., Graziani, P., Tagliaferri, M., Tarozzi, G. "Realizing Computations", in Falkenburg, B., Schiemann, G. (eds), Mechanistic Explanations in Physics and Beyond. European Studies in Philosophy of Science, Volume 11. Springer, Cham.

2018

• Tagliaferri, M. and Aldini, A. "A Trust Logic for Pre-Trust Computations", 2018 21st International Conference on Information Fusion (FUSION) pp. 2006-2012.
• Tagliaferri, M. and Aldini, A. "A taxonomy of computational models for trust computing in decision-making procedures", in Josang, A. (eds), European Conference on Information Warfare and Security, ECCWS.
• Tagliaferri, M. and Aldini, A. "From Knowledge to Trust: A Logical Framework for Pre-trust Computations", in Gal-Oz, N., Lewis, P. (eds), Trust Management XII. IFIPTM 2018. IFIP Advances in Information and Communication Technology, Volume 528. Springer, Cham.