Keyphrases
- logic programming
- formal semantics
- databases
- information systems
- higher quality
- quantum computation
- database
- higher throughput
- channel capacity
- communication protocols
- operational semantics
- default reasoning
- semantic information
- object oriented
- communication protocol
- deductive databases
- logic circuits
- distributed databases
- communicative acts