Probabilistic programming inference via intensional semantics

DOI10.1007/978-3-030-17184-1_12zbMATH Open1524.68054MaRDI QIDQ6070788

Simon Castellan, Hugo Paquet

Publication date: 24 November 2023

Published in: Programming Languages and Systems (Search for Journal in Brave)

zbMATH Keywords

denotational semanticsBayesian inferenceprobabilistic programmingevent structures

Mathematics Subject Classification ID

Bayesian inference (62F15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (4)

Modelling contextuality by probabilistic programs with hypergraph semantics ⋮ Linking theories in probabilistic programming ⋮ Reasoning about Recursive Probabilistic Programs ⋮ Zeta functions and the (linear) logic of Markov processes

Recommendations

• Probabilistic logic programming 👍 👎
• Fine-grained semantics for probabilistic programs 👍 👎
• The magic of logical inference in probabilistic programming 👍 👎
• Probabilistic Semantics and Program Analysis 👍 👎
• Semantics for probabilistic programming 👍 👎
• Reasoning about Recursive Probabilistic Programs 👍 👎
• Semantics of Probabilistic Programming: A Gentle Introduction 👍 👎
• Mathematics of Program Construction 👍 👎
• Probabilistic Inductive Logic Programming 👍 👎
• Algorithmic Learning Theory 👍 👎

This page was built for publication: Probabilistic programming inference via intensional semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6070788)