2 papers
cs.LO2026
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…
cs.LO2024
Logic Programming with Multiplicative Structures
Matteo Acclavio, Roberto Maieli
In the logic programming paradigm, a program is defined by a set of methods, each of which can be executed when specific conditions are met during the current state of an execution…