Cover Image

Bayesian Networks and Proof-Nets: the proof-theory of Bayesian Inference

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Di Guardia, Rémi, Ehrhard, Thomas, Evrard, Jérôme, Faggian, Claudia
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Bayesian Networks and Proof-Nets: a proof-theoretical account of Bayesian Inference
by: Ehrhard, Thomas, et al.
Published: (2024)

Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
by: Di Guardia, Rémi, et al.
Published: (2026)

Variable Elimination as Rewriting in a Linear Lambda Calculus
by: Ehrhard, Thomas, et al.
Published: (2025)

A coherent differential PCF
by: Ehrhard, Thomas
Published: (2022)

From Differential Linear Logic to Coherent Differentiation
by: Ehrhard, Thomas
Published: (2024)

Type Isomorphisms for Multiplicative-Additive Linear Logic
by: Di Guardia, Rémi, et al.
Published: (2024)

Coherent Taylor expansion as a bimonad
by: Ehrhard, Thomas, et al.
Published: (2023)

Integration in Cones
by: Ehrhard, Thomas, et al.
Published: (2022)

A Rewriting Theory for Quantum Lambda-Calculus
by: Faggian, Claudia, et al.
Published: (2024)

Compositional Inference for Bayesian Networks and Causality
by: Jacobs, Bart, et al.
Published: (2025)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
by: Das, Anupam, et al.
Published: (2024)

Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic
by: Di Guardia, Rémi, et al.
Published: (2026)

The proof theory and semantics of second-order (intuitionistic) tense logic
by: Becker, Justus, et al.
Published: (2026)

Wider systems for linear logic with fixed points: proof theory and complexity
by: Das, Anupam, et al.
Published: (2026)

Bayesian Inference in Quantum Programs
by: Gehnen, Christina, et al.
Published: (2025)

Proof Nets for PiL (Full Version)
by: Acclavio, Matteo, et al.
Published: (2026)

Cyclic proof theory of positive inductive definitions
by: Curzi, Gianluca, et al.
Published: (2025)

A proof theory of right-linear (omega-)grammars via cyclic proofs
by: Das, Anupam, et al.
Published: (2024)

Proofs that Modify Proofs, 1/2
by: Towsner, Henry
Published: (2025)

On the role of connectivity in Linear Logic proofs
by: Di Donna, Raffaele, et al.
Published: (2025)

On the Home-Space Problem for Petri Nets and its Ackermannian Complexity
by: Jančar, Petr, et al.
Published: (2022)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
by: Powell, Thomas
Published: (2023)

Sharing proofs with predicative theories through universe-polymorphic elaboration
by: Felicissimo, Thiago, et al.
Published: (2023)

Structural Liveness of Conservative Petri Nets
by: Jančar, Petr, et al.
Published: (2025)

A proof-theoretic approach to abstract interpretation
by: D'Silva, Vijay, et al.
Published: (2026)

StepProof: Step-by-step verification of natural language mathematical proofs
by: Hu, Xiaolin, et al.
Published: (2025)

A Semantic Proof of Generalised Cut Elimination for Deep Inference
by: Atkey, Robert, et al.
Published: (2024)

Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations (Extended Version)
by: Acclavio, Matteo, et al.
Published: (2026)

Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
by: Benedikt, Michael, et al.
Published: (2022)

Bijective proofs for Eulerian numbers of types B and D
by: Santocanale, Luigi
Published: (2021)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
by: Klinkenberg, Lutz, et al.
Published: (2023)

A logic of judgmental existence and its relation to proof irrelevance
by: Pezlar, Ivo
Published: (2024)

The Proof Analysis Problem
by: Arteche, Noel, et al.
Published: (2025)

Extracting efficient exact real number computation from proofs in constructive type theory
by: Konečný, Michal, et al.
Published: (2022)

A linear proof language for second-order intuitionistic linear logic
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)

Proof-theoretic Semantics for the Logic of Bunched Implications
by: Gu, Tao, et al.
Published: (2023)

Proof-theoretic Semantics for First-order Logic
by: Gheorghiu, Alexander V.
Published: (2024)

Cyclic Proofs for iGL via Corecursion
by: Miranda, Borja Sierra
Published: (2023)

Proof Complexity of Linear Logics
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2026)