@article{Dos Martires_Dries_De Raedt_2019, title={Exact and Approximate Weighted Model Integration with Probability Density Functions Using Knowledge Compilation}, volume={33}, url={https://ojs.aaai.org/index.php/AAAI/article/view/4780}, DOI={10.1609/aaai.v33i01.33017825}, abstractNote={<p>Weighted model counting has recently been extended to weighted model integration, which can be used to solve hybrid probabilistic reasoning problems. Such problems involve both discrete and continuous probability distributions. We show how standard knowledge compilation techniques (to SDDs and d-DNNFs) apply to weighted model integration, and use it in two novel solvers, one exact and one approximate solver. Furthermore, we extend the class of employable weight functions to actual probability density functions instead of mere polynomial weight functions.</p>}, number={01}, journal={Proceedings of the AAAI Conference on Artificial Intelligence}, author={Dos Martires, Pedro Zuidberg and Dries, Anton and De Raedt, Luc}, year={2019}, month={Jul.}, pages={7825-7833} }