Graphical models of separation logic.
Ian WehrmanC. A. R. HoarePeter W. O'HearnPublished in: Inf. Process. Lett. (2009)
Keyphrases
- graphical models
- belief propagation
- random variables
- probabilistic inference
- approximate inference
- probabilistic graphical models
- probabilistic model
- bayesian networks
- markov networks
- modal logic
- structure learning
- conditional random fields
- belief networks
- logic programming
- map inference
- conditional independence
- graph structure
- statistical inference
- exact inference
- message passing
- knowledge representation
- graphical structure
- structural learning
- distributed systems
- higher order
- markov logic networks
- loopy belief propagation
- possibilistic networks