Communication with Directed Logic Variables.
Alon KleinmanYael MoscowitzAmir PnueliEhud ShapiroPublished in: POPL (1991)
Keyphrases
- communication overhead
- logic programming
- communication networks
- random variables
- predicate logic
- classical logic
- variable selection
- propositional variables
- communication technologies
- multi valued
- communication systems
- computational properties
- communication protocol
- relevant variables
- set theory
- proof theory
- causal models
- communication channels
- causal relationships
- database
- input variables
- communication cost
- modal logic
- computer networks
- information sharing
- social networks
- artificial intelligence
- neural network