Alessandro Aldini |  Pierluigi Graziani... -  《Software Engineering and Formal Methods: SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers》 -  International Conference on Software Engineering and Formal Methods - 2024, - 54～71 - 共18页

摘要：In this paper, we present a logic FPL (Frequentist Probability Logic) to reason about probabilities with a relative frequency interpretation. We show that it is possible to interpret the language of F...

关键词： Probability logic |  Relative frequency |  Reasoning about uncertainty

Alessandro Aldini |  Suzana M. B. Maranh?...... -  《2023 20th Annual International Conference on Privacy, Security and Trust: 20th Annual International Conference on Privacy, Security and Trust (PST), 21-23 August 2023, Copenhagen, Denmark》 -  International Conference on Privacy, Security and Trust - 2023, - 1～10 - 共10页

摘要：Despite many efforts to increase access to financial services, 1,4 billion people still are unbanked. One significant barrier to decreasing this number is the lack of official personal documents (e.g....

关键词： Privacy |  Protocols |  Computational modeling |  Natural languages |  Finance |  Decentralized applications |  Regulation

MIRKO TAGLIAFERRI |  ALESSANDRO ALDINI -  《Journal of logic and computation》 - 2022,32(6) - 1017～1047 - 共31页 - 被引量：1

摘要：In this work, we provide a logical characterization of trust, which is based on a modal logic expressing a computational notion of trust quantitatively dependent on the beliefs possessed by the agent....

关键词： computational trust |  modal logic |  epistemic logic

Alessandro Aldini |  Pierluigi Graziani... -  《Software Engineering and Formal Methods: SEFM 2020 Collocated Workshops, 18th international conference on software engineering and formal methods (SEFM), 2nd International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2020), 2nd International Workshop on Cognition: Interdisciplinary, Foundations, Models and Applications, 4th International Workshop on Formal Co-Simulation of Cyber-Physical Systems, 14–15 September 2020, Amsterdam, The Netherlands》 -  International Conference on Software Engineering and Formal Methods - 2021, - 214～230 - 共17页

摘要：When building artificial agents that have to make decisions, understanding what follows from what they know or believe is mandatory, but it is also important to understand what happens when those agen...

关键词： Ignorance |  Beliefs |  Modal logics

NSTL主题词： Reasoning |  Beliefs

Alessandro Aldini |  Gianluca Curzi... -  《Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21-24, 2021, Proceedings》 -  European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 2021, - 575～589 - 共15页

摘要：We investigate the application of a modal language a la Hennessy-Milner to the specific domain of evidence-based trust estimations. In particular, we refer to a context-aware notion of computational t...

关键词： Probabilistic modal logic |  Trust |  Completeness

NSTL主题词： Formal logic |  Nonprofit Organizations |  trust logics |  trust |  Trust

Mirko Tagliaferri |  Alessandro Aldini -  《Software engineering and formal methods: 17th international conference on software engineering and formal methods (SEFM), 3rd international workshop on formal co-simulation of cyber-physical systems (CoSim-CPS), international workshop on automated and verifiable software system development (ASYDE), international workshop on cognition: interdisciplinary foundations, models and applications (CIFMA), 17th international workshop on coordination and self-adaptiveness of software applications (FOCLASA), September 16–20, 2019, Oslo, Norway》 -  International conference on software engineering and formal methods - 2020, - 119～136 - 共18页

摘要：In his paper Varieties of Trust, Eric Uslaner presents a conceptual analysis of trust with the aim of capturing the multiple dimensions that can characterize various notions of trust. While Uslaner's ...

关键词： Computational trust |  Trust logic |  Conceptual analysis of trust

NSTL主题词： Nonprofit Organizations |  breeding |  trust logics

Alessandro Aldini |  Mirko Tagliaferri -  《Emerging Technologies for Authorization and Authentication: Second International Workshop on Emerging Technologies for Authorization and Authentication (ETAA 2019), 27 September 2019, Luxembourg City, Luxembourg》 -  International Workshop on Emerging Technologies for Authorization and Authentication - 2019, - 1～15 - 共15页

摘要：Trust represents a fundamental, complementary ingredient for the success of security mechanisms in computer science, as it goes beyond the intrinsic, technical aspects of cybersecurity, by involving t...

关键词： Computational trust |  Modal logic |  Conceptual analysis of trust

NSTL主题词： Formal logic |  Nonprofit Organizations

Mirko Tagliaferri |  Alessandro Aldini -  《2018 21st International Conference on Information Fusion: 21st International Conference on Information Fusion (FUSION), 10-13 July 2018, Cambridge, UK》 -  International Conference on Information Fusion - 2018, - 2006～2012 - 共7页

摘要：Computational trust is the digital counterpart of the human notion of trust as applied in social systems. Its main purpose is to improve the reliability of interactions in online communities and of kn...

关键词： Computational modeling |  Uncertainty |  Security |  Feeds |  Formal languages |  Semantics |  Syntactics

NSTL主题词： trust logics

Mirko Tagliaferri |  Alessandro Aldini -  《2018 21st International Conference on Information Fusion: FUSION 2018, Cambridge, United Kingdom, 10-13 July 2018, pages 1955-2613, [v.4]》 -  International Conference on Information Fusion - 2018, - 2006～2012 - 共7页

摘要：Computational trust is the digital counterpart of the human notion of trust as applied in social systems. Its main purpose is to improve the reliability of interactions in online communities and of kn...

关键词： Computational trust |  Trust logic |  Subjective logic

NSTL主题词： trust logics

Mirko Tagliaferri |  Alessandro Aldini -  《Trust management XII》 -  Internation Conference on Trust Management - 2018, - 107～123 - 共17页

摘要：Computational trust is the digital counterpart of the human notion of trust as applied in social systems. Its main purpose is to improve the reliability of interactions in online communities and of kn...

关键词： Computational trust |  Trust logic |  Subjective Logic

NSTL主题词： logical |  Nonprofit Organizations |  trust |  Trust |  knowledge |  Frameworks |  Epistemology