Propositional Gossip Protocols.

Joseph Livesey Dominik Wojtczak

Published in: FCT (2021)

Keyphrases

propositional logic
first order logic
overlay network
real time
neural network
statistical relational learning
machine learning
belief revision
multi party
horn clauses
application level
cryptographic protocols
communication protocols
message delivery