Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations (Extended Version)

Matteo Acclavio, Roberto Maieli

Bayesian networks are a canonical formalism for representing probabilistic dependencies, yet their integration within logic programming frameworks remains a nontrivial challenge, m…