Dang, Meihua; Vergari, Antonio; Van den Broeck, Guy Strudel: A fast and accurate learner of structured-decomposable probabilistic circuits. (English) Zbl 07460572 Int. J. Approx. Reasoning 140, 92-115 (2022). MSC: 68T37 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Holtzen, Steven; Junges, Sebastian; Vazquez-Chanlatte, Marcell; Millstein, Todd; Seshia, Sanjit A.; Van den Broeck, Guy Model checking finite-horizon Markov chains with probabilistic inference. (English) Zbl 1493.68210 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 577-601 (2021). MSC: 68Q60 60J22 68Q87 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Van Haaren, Jan; Van den Broeck, Guy; Meert, Wannes; Davis, Jesse Lifted generative learning of Markov logic networks. (English) Zbl 1357.68187 Mach. Learn. 103, No. 1, 27-55 (2016). MSC: 68T05 × Cite Format Result Cite Review PDF Full Text: DOI
Vlasselaer, Jonas; Meert, Wannes; Van den Broeck, Guy; De Raedt, Luc Exploiting local and repeated structure in dynamic Bayesian networks. (English) Zbl 1351.68288 Artif. Intell. 232, 43-53 (2016). MSC: 68T37 × Cite Format Result Cite Review PDF Full Text: DOI