Keyphrases
- first order logic
- transport layer
- expressive power
- application layer
- network layer
- end to end
- theorem prover
- theorem proving
- transitive closure
- knowledge representation
- probabilistic reasoning
- markov logic networks
- computational complexity
- cross layer
- markov logic
- physical layer
- communication networks
- network monitoring
- network congestion
- expert systems