Commutative semantics for probabilistic programming

Commutative semantics for probabilistic programming

We show that a measure-based denotational semantics for probabilistic programming is commutative. The idea underlying probabilistic programming languages (Anglican, Church, Hakaru, ...) is that programs express statistical models as a combination of prior distributions and likelihood of observations...

Полное описание

Библиографические подробности
Главный автор:	Staton, S
Формат:	Conference item
Опубликовано:	Springer, Berlin, Heidelberg 2017

Схожие документы

Compositional semantics for probabilistic programs with exact conditioning
по: Stein, D, и др.
Опубликовано: (2021)

Probabilistic programming semantics for name generation
по: Sabok, M, и др.
Опубликовано: (2021)

Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
по: Yang, H, и др.
Опубликовано: (2016)

Probabilistic programming with exact conditions
по: Stein, D, и др.
Опубликовано: (2024)

Coalgebraic Semantics for Probabilistic Logic Programming
по: Tao Gu, и др.
Опубликовано: (2021-04-01)

A domain theory for statistical probabilistic programming
по: Vákár, M, и др.
Опубликовано: (2019)

Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
по: Lukasiewicz, T
Опубликовано: (1999)

Exploiting semantic commutativity in hardware speculation
по: Zhang, Guowei, и др.
Опубликовано: (2017)

Expressiveness of Commutative Quantum Circuits: A Probabilistic Approach
по: Jorge M. Ramirez, и др.
Опубликовано: (2024-01-01)

ADEV: Sound Automatic Differentiation of Expected Values of probabilistic programs
по: Lew, AK, и др.
Опубликовано: (2023)

Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web
по: Calì, A, и др.
Опубликовано: (2007)

Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
по: Calì, A, и др.
Опубликовано: (2009)

Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web.
по: Calì, A, и др.
Опубликовано: (2009)

ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs
по: Lew, Alexander K., и др.
Опубликовано: (2023)

Probabilistic Description Logic Programs under Inheritance with Overriding for the Semantic Web
по: Lukasiewicz, T
Опубликовано: (2008)

Fixpoint Characterizations for Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
по: Lukasiewicz, T
Опубликовано: (2001)

Monads for measurable queries in probabilistic databases
по: Dash, S, и др.
Опубликовано: (2021)

Algorithmic probabilistic game semantics
по: Kiefer, S, и др.
Опубликовано: (2013)

Semantic Probabilistic Inference of Predictions
по: E. E. Vityaev
Опубликовано: (2017-08-01)

From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
по: Robert W. J. Furber, и др.
Опубликовано: (2015-06-01)

Individual Commute Time Recognition Based on the Hierarchical Semantic Model
по: Wei Liu, и др.
Опубликовано: (2020-01-01)

Termination and semantics of probabilistic lambda calculus
по: Kenyon-Roberts, A
Опубликовано: (2024)

Quantitative Automata under Probabilistic Semantics
по: Krishnendu Chatterjee, и др.
Опубликовано: (2019-08-01)

Similarity Semantics and Building Probabilistic Semantic Maps from Parallel Texts
по: Bernhard Wälchli
Опубликовано: (2010-01-01)

Verification of semantic commutativity conditions and inverse operations on linked data structures
по: Kim, Deokhwan, и др.
Опубликовано: (2012)

Verification of Semantic Commutativity Conditions and Inverse Operations on Linked Data Structures
по: Kim, Deokhwan, и др.
Опубликовано: (2010)

Verification of semantic commutativity conditions and inverse operations on linked data structures
по: Kim, Deokhwan, Ph. D. Massachusetts Institute of Technology.
Опубликовано: (2012)

On the Probabilistic Latent Semantic Analysis Generalization as the Singular Value Decomposition Probabilistic Image
по: Pau Figuera Vinué, и др.
Опубликовано: (2020-06-01)

Multimodal Semantic SLAM with Probabilistic Data Association
по: Doherty, Kevin, и др.
Опубликовано: (2022)

Multimodal Semantic SLAM with Probabilistic Data Association
по: Doherty, Kevin, и др.
Опубликовано: (2021)

An Approach to Probabilistic Data Integration for the Semantic Web
по: Calì, A, и др.
Опубликовано: (2006)

Convex language semantics for nondeterministic probabilistic automata
по: Van Heerdt, G, и др.
Опубликовано: (2018)

An Approach to Probabilistic Data Integration for the Semantic Web
по: Cali, A, и др.
Опубликовано: (2008)

An Approach to Probabilistic Data Integration for the Semantic Web
по: Calì, A, и др.
Опубликовано: (2008)

Probabilistic Distributional Semantics with Latent Variable Models
по: Diarmuid Ó Séaghdha, и др.
Опубликовано: (2021-03-01)

Probabilistic and semantic descriptions of image manifolds and their applications
по: Peter Tu, и др.
Опубликовано: (2023-11-01)

Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
по: Ackerman, NL, и др.
Опубликовано: (2024)

Probabilistic data analysis with probabilistic programming
по: Saad, Feras Ahmad Khaled
Опубликовано: (2018)

Probabilistic programming /
по: 314398 Vadja, Stefan
Опубликовано: (1972)

Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets
по: Ackerman, Nate, и др.
Опубликовано: (2024)