10 citations · 26 across the 12 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.AI2019
Hybrid Probabilistic Inference with Logical Constraints: Tractability and Message Passing
Zhe Zeng, Fanqi Yan, Paolo Morettin +2
Weighted model integration (WMI) is a very appealing framework for probabilistic inference: it allows to express the complex dependencies of real-world hybrid scenarios where varia…
cs.AI2019★ 10 cited
Efficient Search-Based Weighted Model Integration
Zhe Zeng, Guy Van den Broeck
Weighted model integration (WMI) extends Weighted model counting (WMC) to the integration of functions over mixed discrete-continuous domains. It has shown tremendous promise for s…