Hybrid Probabilistic Inference with Logical Constraints: Tractability and Message Passing.
Zhe ZengFanqi YanPaolo MorettinAntonio VergariGuy Van den BroeckPublished in: CoRR (2019)
Keyphrases
- message passing
- probabilistic inference
- belief propagation
- distributed systems
- constraint satisfaction
- graphical models
- approximate inference
- probabilistic reasoning
- factor graphs
- influence diagrams
- markov random field
- exact inference
- junction tree
- sum product algorithm
- constraint programming
- belief networks
- np complete
- stereo matching