Symbolic Semantics for Multiparty Interactions in the Link-Calculus.
Linda BrodoCarlos OlartePublished in: SOFSEM (2017)
Keyphrases
- multi party
- turn taking
- privacy preserving
- algebraic structure
- formal semantics
- process algebra
- trust relationships
- secret sharing
- human communication
- formal language
- database query languages
- mental states
- logic programming
- symbolic representation
- relational calculus
- description language
- semantic information
- intelligent systems
- online learning
- case study
- social networks