2 papers
cs.AI2020
Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing
Zhe Zeng, Paolo Morettin, Fanqi Yan +2
Weighted model integration (WMI) is a very appealing framework for probabilistic inference: it allows to express the complex dependencies of real-world problems where variables are…
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…