Logics to Reason Formally About Trust Computation and Manipulation.

Alessandro Aldini Mirko Tagliaferri

Published in: ETAA@ESORICS (2019)

Keyphrases

expressive power
efficient computation
virtual teams
neural network
artificial intelligence
data sets
information systems
modal logic
trust model
social capital
trust management
manipulation tasks