A Multiparty Multi-session Logic.

Laura Bocchi Romain Demangeon Nobuko Yoshida

Published in: TGC (2012)

Keyphrases

multi party
privacy preserving
secret sharing
human communication
description language
logic programming
multi valued
modal logic
mental states
classical logic
case study
expert systems
distributed systems
human computer interaction