The paper proposes a data-centred approach to reasoning about the interplay between trust and beliefs. At its core, is the modality "under the assumption that one dataset is trustworthy, another dataset informs a belief in a statement''. The main technical result is a sound and complete logical system capturing the properties of this modality
International audienceEven though in Artificial Intelligence, a set of classical logical formulae is...
International audienceThe starting point of this work is the gap between two distinct traditions in ...
Computational trust is the digital counterpart of the human notion of trust as applied in social sys...
In this work, we provide a logical characterization of trust, which is based on a modal logic expres...
In this paper we discuss Liau’s logic of Belief, Inform and Trust (BIT), which captures the use of t...
International audienceIn this paper we discuss Liau's logic of Belief, Inform and Trust (BIT), which...
We investigate the application of a modal language à la Hennessy-Milner to the specific domain of ev...
Trust is an approach to managing the uncertainty about au-tonomous entities and the information they...
International audienceWe present a logic for reasoning about the interplay between belief, evidence ...
AbstractIn this paper, we consider the influence of trust on the assimilation of acquired informatio...
We propose a modal logic that supports reasoning about trust-based belief change. The term trust-bas...
International audienceWe present a logical analysis of trust that integrates in the definition of tr...
International audienceWe present a concept of trust that integrates the truster’s goal, the trustee’...
International audienceThe aim of this paper is to propose a modal framework for reasoning about sign...
Abstract. Trust is a mechanism for managing the uncertainty about autonomous entities and the inform...
International audienceEven though in Artificial Intelligence, a set of classical logical formulae is...
International audienceThe starting point of this work is the gap between two distinct traditions in ...
Computational trust is the digital counterpart of the human notion of trust as applied in social sys...
In this work, we provide a logical characterization of trust, which is based on a modal logic expres...
In this paper we discuss Liau’s logic of Belief, Inform and Trust (BIT), which captures the use of t...
International audienceIn this paper we discuss Liau's logic of Belief, Inform and Trust (BIT), which...
We investigate the application of a modal language à la Hennessy-Milner to the specific domain of ev...
Trust is an approach to managing the uncertainty about au-tonomous entities and the information they...
International audienceWe present a logic for reasoning about the interplay between belief, evidence ...
AbstractIn this paper, we consider the influence of trust on the assimilation of acquired informatio...
We propose a modal logic that supports reasoning about trust-based belief change. The term trust-bas...
International audienceWe present a logical analysis of trust that integrates in the definition of tr...
International audienceWe present a concept of trust that integrates the truster’s goal, the trustee’...
International audienceThe aim of this paper is to propose a modal framework for reasoning about sign...
Abstract. Trust is a mechanism for managing the uncertainty about autonomous entities and the inform...
International audienceEven though in Artificial Intelligence, a set of classical logical formulae is...
International audienceThe starting point of this work is the gap between two distinct traditions in ...
Computational trust is the digital counterpart of the human notion of trust as applied in social sys...