Declarative probabilistic logic programming in discrete-continuous domains - Zuidberg Dos Martires, Pedro; De Raedt, Luc; Kimmig, Angelika (Artificial intelligence, 2024)
Keywords: Algebraic model counting; Declarative semantics; Discrete-continuous distributions; Knowledge compilation; Likelihood weighting; Logic programming; Probabilistic programming; Logic programming; Probabilistic programming; Discrete-continuous distributions; Algebraic model counting; Declarative semantics; Likelihood weighting; Knowledge compilation