3 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…
cs.LO2012
Bipolar Proof Nets for MALL
Roberto Maieli
In this work we present a computation paradigm based on a concurrent and incremental construction of proof nets (de-sequentialized or graphical proofs) of the pure multiplicative a…