Search Results for author:
Found 3 papers, 0 papers with code
Updating belief functions over Belnap--Dunn logic
Belief and plausibility are weaker measures of uncertainty than that of probability.
Distributed Transition Systems with Tags for Privacy Analysis
To every node on a DLTTS is attached a tag that represents the 'current' knowledge of the adversary, acquired from the responses of the answering mechanism of the DBMS to his/her queries, at the nodes traversed earlier, along any given run; this knowledge is completed at the same node, with further relational deductions, possibly in combination with 'public' information from other databases given in advance.
Toward a Dempster-Shafer theory of concepts
In this paper, we generalize the basic notions and results of Dempster-Shafer theory from predicates to formal concepts.
